Abstract
Software requirements describe a problem in the real world that a software system is intended to solve. Describing requirements is challenging because usually too much attention is given to the final software product instead of concentrating on the problem itself and the real world. The area of geographic applications is no exception. Existing approaches to software development that are specific to the geographic area, for example, GIS tools, spatial databases, geographic query languages, and spatial data structures, are suitable for designing and implementing geographic applications and are, therefore, solution-oriented. We present a problem-oriented approach for requirements description of geographic applications. Most geographic applications are composed of well-known geographic subproblems. The proposed approach provides classes of common geographic subproblems that can be used to promote analysis and description of real-world problems. Each class of problems is presented as a problem frame showing domain properties, requirements and specifications. The problem frames discussed in this work are based on Jackson’s general purpose problem frames and are tailored here for the geographic area. The approach is validated through a case study.
Similar content being viewed by others
References
Alencar P.S.C., Cowan D.D., Grove T.R., Mayfield C.I., Nelson M.A.V.: An approach to hypermap-based applications. In: Environmental Software Systems/Proceedings of the Second International Symposium on Environmental Software Systems – ISESS’97, Vol. 2, pp. 244–251. Whistler, Canada (1997)
Antón A.: Goal-based requirements analysis. In: Proceedings of the Second IEEE International Conference on Requirements Engineering(ICRE’96), pp. 136–144 (1996)
Bédard Y. (1999) Visual modelling of spatial databases: Towards spatial PVL and UML. Geomatica 53(2): 169–186
Bédard Y., Caron C., Maamar Z., Moulin B. (1996.) Adapting data models for the design of spatio-temporal databases. Comput. Environ. Urban Syst. 20(1): 19–41
Berry D.M. (2003) More requirements engineering adventures with building contractors. Requirem. Eng. J. 8(2): 142–146
Booch G., Rumbaugh J., Jacobson I. (1998) Unified Modeling Language User Guide. Addison-Wesley, New York
Borges K.A.V., Davis C.A., Laender A.H.F. (2001) OMT-G: an object-oriented data model for geographic applications. GeoInformatica 5(3): 221–260
Borges K.A.V., Laender A.H.F., Davis C.A.: Spatial data integrity constraints in object oriented geographic data modeling. In: ACM-GIS’99, Proceedings of the 7th International Symposium on Advances in Geographic Information Systems, November 2–6, 1999, Kansas City, pp. 1–6. ACM, New York (1999)
Calkins H.: Entity relationship modeling of spatial data for geographic information systems. Technical Report, National Center for Geographic Information and Analysis (1996)
Coad P., Yourdon E. (1991) Object-Oriented Analysis, 2nd edn. Prentice Hall, London
Davis A.M. (1993) Software Requirements: objects, functions and states. Prentice-Hall International, Englewood Cliffs
Lisboa F.J., Iochpe C.: Specifying analysis patterns for geographic databases on the basis of a conceptual framework. In: ACM-GIS’99, Proceedings of the 7th International Symposium on Advances in Geographic Information Systems, November 2–6, 1999, Kansas City, pp. 7–13. ACM, New York (1999)
Friis-Christensen A., Tryfona N., Jensen C.S.: Requirements and research issues in geographic data modeling. In: Proceedings of the Ninth ACM International Symposium on Advances in Geographic Information Systems, pp. 2–8. ACM Press, New York (2001)
Gause D.C., Weinberg G.M. (1991) Exploring Requirements: Quality Before Design. Dorset House, New York
Gervasi V., Nuseibeh B. (2002) Lightweight validation of natural language requirements. Softw. Pract. Exp. 32(2): 113–133
Gunter C.A., Gunter E.L., Jackson M., Zave P. (2000) A reference model for requirements and specifications. IEEE Soft. 17(3): 37–43
Günther O., Riekert W.F. (1993) The design of GODOT: an object-oriented geographic information system. IEEE Data Eng. Bull. 16(3): 4–9
Güting R.H., Graph D.B.: Modeling and querying graphs in databases. In: Bocca J.B., Jarke M., Zaniolo C. (eds.) 20th International Conference on Very Large Data Bases, September 12–15. Santiago, Chile, pp. 297–308, Los Altos. Morgan Kaufmann Publishers, San Francisco (1994)
Hadzilacos T., Tryfona N. (1997) An extended entity-relationship model for geographic applications. SIGMOD Record 26(3): 24–29
Hall J., Rapanotti L., Jackson M. (2005) Problem frame semantics for software development. Softw. Syst. Model. 4(2): 189–198
Hamil D.: Your Mission, Should You Choose To Accept It: Project Management Excellence. Spatial News, Geo Community, 2001. http://spatialnews.geocomm.com/features/ mesa1/hamil1.pdf
Heitmeyer C.L., Jeffords R.D., Labaw B.G. (1996) Automated consistency checking of requirements specifications. ACM Trans. Softw. Eng. Methodol. 5(3): 231–261
Iles J.: Why some watershed plans can end up on the shelf. Buckeye Basins Newsletter, Ohio State University Extension, USA, Summer 2002. http://east.osu.edu/anr/Buckeye
Jackson M. (1995) Software Requirements & Specifications – a lexicon of practice, principles and prejudices. ACM Press and Addison Wesley, New York
Jackson M.: The world and the machine. In: Proceedings: 17th International Conference on Software Engineering, pp. 283–292. IEEE Computer Society Press/ACM Press, New York (1995)
Jackson. M. (1999) Problem analysis using small problem frames. S. Afr. Comput. J. (22): 47–60
Jackson M. (2000) Problem Frames – Analyzing and structuring software development problems. ACM Press and Addison Wesley, New York
Jackson M., Zave P.: Domain descriptions. In: Proceedings of the IEEE International Symposium on Requirements Engineering, Re’93, pp. 56–64. IEEE Computer Society Press, New York (1993)
Jackson M., Zave P.: Deriving specifications from requirements: an example. In: Proceedings: 17th International Conference on Software Engineering, pp. 15–24. IEEE Computer Society Press/ACM Press, New York (1995)
Kamsties E., Berry D.M., Paech B.: Detecting ambiguities in requirements documents using inspections. In: Proceedings of Workshop on Inspections in Software Engineering (WISE’01), pp. 68–80, Paris, France, 2001. Software Quality Research Lab, McMaster University, Hamilton, Canada (2001)
Kösters G., Pagel B., Six H.: GeoOOA: Object-Oriented Analysis for Geographic Information Systems. In: Proceedings of the Second International Conference on Requirements Engineering, Colorado, pp. 245–253. IEEE Computer Society Press, New York (1996)
Kosters G., Pagel B.-U., Six H.W. (1997) GIS-application development with GeoOOA. Int. J. Geograph. Inf. Sci. 11(4): 307–335
Kovitz B.(1998) Practical Software Requirements – a manual of content and style. Manning Publications Co., Greenwich
Maguire D.J. (1991). An Overview and Definition of GIS. In: Maguire D.J., Goodchild M.F., Rhind D.W. (eds) Geographical Information Systems: principles and applications. Longman Scientific & Technical, London, pp. 9–20
Maiden N.A.M. (1998) CREWS-SAVRE: Scenarios for acquiring and validating requirements. Automated Softw. Eng. Int. J. 5(4): 419–446
Muehrcke P.C., Muehrcke J.O. (1998) Map Use – Reading, Analysis and Interpretation, 4th edn. JP Publications, Brisbane
Nelson M.A.V.: Multi-frame approach to formal requirements specification of geographical applications. In: Proceedings of the Doctoral Symposium of Fourth IEEE International Symposium on Requirements Engineering, pp. 31–34 (1999)
Nelson M.A.V.: A Problem-Oriented Approach to Description and Analysis of Geographic Requirements. PhD Thesis, University of Waterloo, Waterloo, Ontario, Canada, 2003. http://www.inf.pucminas.br/professores/guta/thesis/thesis.pdf
Nelson M.A.V., Cowan D.D., Alencar P.S.C.: Geographic problem frames. In: Proceedings of the Fifth IEEE International Symposium on Requirements Engineering, pp. 306–307 (2001)
Nelson M.A.V., Alencar P.S.C., Cowan D.D. (2001) An approach to formal specification and verification of map-centered applications. Environ. Model. Softw. 16(5): 459–465
Nuseibeh B., Easterbrook S.: Requirements engineering: a roadmap. In: Proceedings of the Conference on The Future of Software Engineering, pp. 35–46. ACM Press, New York (2000)
Oliveira J.L., Pires F., Medeiros C.M.B. (1997) An environment for modeling and design of geographic applications. GeoInformatica 1(1): 29–58
Openshaw S., Cross A., Charlton M., Brunsdon C.: Lessons learnt from a post mortem of a failed GIS. In: Proceedings of the Association for Geographic Information Conference. AGI, Alexandria (1990)
Parent C., Spaccapietra S., Zimányi E.: Spatic-temporal conceptual models: Data structures + space + time. In: ACM-GIS ’99, Proceedings of the 7th International Symposium on Advances in Geographic Information Systems, November 2–6, 1999, Kansas City, pp. 26–33. ACM (1999)
Prieto-Diaz R., Arango C. (1989) Domain Analysis: Acquistion of Reusable Information for Software Construction. IEEE Computer Society Press, New York
Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorensen W. (1991) Object-oriented Modeling and Design. Prentice Hall, Englewood Cliffs
Santos I., Carvalho J.A.: An assessment of the applicability of object-oriented analysis to the development of information systems. In: Proceedings: 2nd International Conference on Requirements Engineering, pp. 238–244. IEEE Computer Society Press, New York (1996)
Shekhar S., Coyle M., Goyal B., Liu D., Sarkar S. (1997) Data models in geographic information systems. Commun. ACM 40(4): 103–111
Tryfona N., Jensen C.S. (1999) Conceptual data modeling for spatiotemporal applications. GeoInformatica 3(3): 245–268
Tryfona N., Pfoser D., Hadzilacos T.: Modeling behavior of geographic objects: An experience with the object modeling technique. In: Proceedings of the Ninth International Conference on Advanced Information Systems Engineering CAiSE’97, pp. 347–359, Barcelona, Spain (1997)
van Lamsweerde A., Letier E., Darimont R. (1998) Managing conflicts in goal-driven requirements engineering. IEEE Trans. Softw. Eng. 24(11): 908–926
Zave P., Jackson M. (1997) Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. (TOSEM) 6(1): 1–30
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Michael Jackson.
Rights and permissions
About this article
Cite this article
Nelson, M.A.V., Alencar, P.S.C. & Cowan, D.D. Informal description and analysis of geographic requirements: an approach based on problems. Softw Syst Model 6, 223–245 (2007). https://doi.org/10.1007/s10270-006-0031-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-006-0031-y