论文部分内容阅读
在大型地理信息系统开发中,需求因实际情况的复杂多变而难以准确描述。针对图形、文本、表格等非形式化需求描述方式无法做到准确、一致、无二义性等问题,特提出面向问题的GIS需求形式化描述与验证方法。文章以南方某地区现代烟草农业基础设施规划子模块需求描述与验证为例,运用非形式化与形式化描述方法将现代烟草农业对地理信息系统的真实需求归纳到预定义GIS子问题框架,对大型GIS需求形式化定义与描述具有典型示范作用。