面向问题的GIS需求非形式化与形式化描述研究

摘要：

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

关键词：面向问题、需求工程、非形式化、形式化描述、GIS、Alloy

所属期刊栏目：35

分类号：P208(一般性问题)

资助基金：云南红河数字烟草项目hx040035;四川省烟草公司现代烟草农业3S信息综合管理系统建设项目Y1H0240035

在线出版日期：2012-05-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：6-9