Research on Informal and Formal Description of Problem-oriented GIS Requirements
Yunfei Wang · Geomatics & Spatial Information Technology · 2012
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.