摘要
在大型地理信息系统开发中,需求因实际情况的复杂多变而难以准确描述。针对图形、文本、表格等非形式化需求描述方式无法做到准确、一致、无二义性等问题,特提出面向问题的GIS需求形式化描述与验证方法。文章以南方某地区现代烟草农业基础设施规划子模块需求描述与验证为例,运用非形式化与形式化描述方法将现代烟草农业对地理信息系统的真实需求归纳到预定义GIS子问题框架,对大型GIS需求形式化定义与描述具有典型示范作用。
Large-scale geographic information system requirement is difficult to be accurately described due to the complex actual situation.For image,text,forms and other non-formal requirement specification method can not be accurate,consistent,unambiguous,etc.,the paper puts forward an formal description and verification method for GIS requirements.Taking the sub-module requirement description and validation of a modern agricultural infrastructure planning of southern China as a case study,the paper categorizes the real demand into pre-defined GIS sub-problem framework.It proved that the formal description is a typically effective demonstration method to meet large-scale GIS requirements.
出处
《测绘与空间地理信息》
2012年第1期6-9,共4页
Geomatics & Spatial Information Technology
基金
云南红河数字烟草项目(hx040035)
四川省烟草公司现代烟草农业3S信息综合管理系统建设项目(Y1H0240035)资助
