中国烟草科学Issue(4)：88-92,5.DOI:10.3969/j.issn.1007-5119.2013.04.019
现代烟草农业地理信息系统需求形式化描述研究
Formal Description of GIS Requirement for Tobacco Agriculture
摘要
Abstract
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.关键词
烟草地理信息/GIS/需求工程/形式化描述/AlloyKey words
tobacco geographic information/GIS/requirement engineering/formal description/Alloy分类
农业科技引用本文复制引用
邵小东,蒋样明,宋文峰,黄坤..现代烟草农业地理信息系统需求形式化描述研究[J].中国烟草科学,2013,(4):88-92,5.基金项目
云南红河数字烟草3S系统项目（HX040035）；四川省烟草公司项目“现代烟草农业3S信息综合管理系统建设” （）
