Formal Description of GIS Requirement for Tobacco Agriculture

The modern tobacco agriculture constructions rely heavily on support of geographic information technology. However, information system requirement is difficult to be accurately described due to complex situation. Since image, text, forms and other informal requirement specification method can not be accurate, consistent and unambiguous enough, we proposed formal description and verification method for GIS requirement of tobacco agriculture. Taking the modern agricultural infrastructure planning sub-module requirement description and validation as a case study, we rendered the actual demand into pre-defined GIS sub-problems framework, involving the requirement decomposition and combination series of software engineering problem. It proved that the Alloy formal description is a typically effective demonstration method to meet the complex giant tobacco geographic information requirement.