CAJ | 학술논문

现代烟草农业建设离不开地理信息技术支持，而系统项目需求则因实际情况复杂多变难以准确描述。针对图形、文本、表格等非形式化需求描述方式无法做到准确、一致、无二义性等要求，提出了现代烟草农业地理信息系统需求形式化描述与验证方法。以现代烟草农业中基础设施规划子模块需求描述与验证为例，将现代烟草农业对地理信息系统真实需求归纳到预定义地理信息子问题框架，涉及需求分解、问题子框架组合等系列工程问题，对烟草地理信息需求形式化定义与描述具有典型示范效益。
현대연초농업건설리불개지리신식기술지지，이계통항목수구칙인실제정황복잡다변난이준학묘술。침대도형、문본、표격등비형식화수구묘술방식무법주도준학、일치、무이의성등요구，제출료현대연초농업지리신식계통수구형식화묘술여험증방법。이현대연초농업중기출설시규화자모괴수구묘술여험증위례，장현대연초농업대지리신식계통진실수구귀납도예정의지리신식자문제광가，섭급수구분해、문제자광가조합등계렬공정문제，대연초지리신식수구형식화정의여묘술구유전형시범효익。
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.