现代烟草农业地理信息系统需求形式化描述研究

        摘 要：现代烟草农业建设离不开地理信息技术支持，而系统项目需求则因实际情况复杂多变难以准确描述。针对图形、文本、表格等非形式化需求描述方式无法做到准确、一致、无二义性等要求，提出了现代烟草农业地理信息系统需求形式化描述与验证方法。以现代烟草农业中基础设施规划子模块需求描述与验证为例，将现代烟草农业对地理信息系统真实需求归纳到预定义地理信息子问题框架，涉及需求分解、问题子框架组合等系列工程问题，对烟草地理信息需求形式化定义与描述具有典型示范效益。