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

作者： 邵小东 [1,3] ; 郭继发 [2] ; 蒋样明 [1] ; 王云飞 [1]

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

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

上一篇：基于数码相机和ArcGIS Server的实景GIS实现方法
下一篇：云计算及其在地理信息工程中的应用