Formalization of regional agricultural development

Abstract

This research work presents the formal model of agricultural information systems, which should realize regional agriculture development data and indexes. Information system is based on agricultural balance model, which should to make a decision about changes in regional development indexes and what are the perspectives of regional agricultural development. The system object model is described by using Unified Modelling Language (UML). The Created class diagrams corresponds to subsystems of formalized by Z specification language agricultural information Systems, reflects regional hierarchy production and agricultural activity typesVytauto Didžiojo universitetasŽemės ūkio akademij