Formal information modelling for standardisation in the spatial domain

International Journal of Geographical Information Science

Volumn 17, Issue 8, 2003, Pages 721-741

  Winter, Stephan ^a   Nittel, Silvia ^b  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b University of Maine   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PROCESSING; GIS; OPTIMIZATION; SOFTWARE; SPATIAL DATA;

EID: 0242569178     PISSN: 13658816     EISSN: None     Source Type: Journal    
DOI: 10.1080/13658810310001596067     Document Type: Article

References (39)

1. BACKUS, J., 1978, Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM, 21, 613-641.
2. BERRE, A. J., SKOGAN, D., GRONMO, R., SOLHEIM, J., HOFF, H., and SKJELLAUG, B., 2000, Practising the ISO/TC 211 approach to GI interoperability. In Space Applications Institute. 6th EC-GI&GIS Workshop Lyon (Brussels: European Commission. Joint Research Centre).
3. BIRD, R., 1998, Introduction to Functional Programming Using Haskell. Series in Computer Science (Hemel Hempstead, UK: Prentice Hall Europe).
4. BOOCH, G., RUMBAUGH, J., and JACOBSON, I., 1999, The Unified Modeling Language Reference Manual (Reading: Addison-Wesley).
5. BRUEL, J.-M., EVANS, A., FRANCE, R., LANO, K., KENT, S., MOREIRA, A., and RUMPE, B., 2000, The precise UML group home page. Technical report http://www.cs.york.ac.uk/puml/index.html.
6. BURROUGH, P. A., and FRANK, A. U. (editors), 1996, Geographic Objects with Indeterminate Boundaries (London: Taylor & Francis).
7. EGENHOFER, M. J., and FRANK, A. U., 1992, Object oriented modeling for GIS. Journal of the Urban and Regional Information Systems, 4, 3-19.
8. FRANK, A. U., 1999, One step up the abstraction ladder: Combining algebras - From functional pieces to a whole. In Spatial Information Theory. Vol. 1661 of Lecture Notes in Computer Science, edited by C. Fieksa and D. M. Mark (Berlin: Springer-Verlag), pp. 95-107.
9. FRANK, A. U., and KUHN, W., 1995, Specifying open GIS with functional languages. In Advances in Spatial Databases. Vol.951 Lecture Notes in Computer Science, edited by M. J. Egenhofer, J. R. Herring (Berlin: Springer), pp. 184-195.
10. FRANK, A. U., and KUHN, W., 1999, A specification language for interoperable GIS. In Interoperating Geographic Information Systems, edited by M. F. Goodchild, M. Egenhofer, R. Fegeas, C. Kottman (Norwell, MA: Kluwer), pp. 123-132.
11. GIBBS, W. W., 1994, Software's chronic crisis. Scientific American, 271, 72-81.
12. GRUBER, T. R., 1993, Toward principles for the design of ontologies used for knowledge sharing. Technical report ksl 93-04. Knowledge Systems Laboratory, Stanford University.
13. GUARINO, N., 1998, Formal ontology and information systems. In 1st International Conference on Formal Ontology in Information Systems, edited by N. Guarino, (Ed.), (Trento, Italy: IOS Press) pp. 3-15.
14. GUTTAG, J. V., and HORNING, J. J., 1978, The algebraic specification of abstract data types. Acta Informatica, 10, 27-52.
15. HENSON, M. C., 1987, Elements of Functional Languages. Computer Science Texts (Oxford: Blackwell Scientific Publications).
16. HOREBEEK, I. V., and LEWI, J., 1989, Algebraic Specifications in Software Engineering (Berlin: Springer-Verlag).
17. HUDAK, P., PETERSON, J., and FASEL, J. H., 1999, A gentle introduction to Haskell 98. Technical report, http://www.haskell.org/tutorial/.
18. ISO, 2000, ISO/TC 211 programme of work. Technical report http://www.statkart.no/isotc2l1/pow.htm.
19. JONES, M. P., 1995, Functional programming with overloading and higher-order polymorphism. In Advanced Functional Programming, edited by J. Jeuring, E. Meijer, Vol. 925, Lecture Notes in Computer Science (Berlin: Springer), pp. 97 136.
20. JONES, M. P., and REID, A. and YALE HASKELL GROUP, 2000, Hugs online. The Hugs 98 system home page, http://www.haskell.org/hugs/. Oregon Graduate Institute of Science and Technology.
21. KOBRYN, C., 1999, UML 2001: A standardization odyssey. Communications of the ACM, 42, 29 37.
22. KOTTMAN, C. A., 1999, The Open GIS Consortium and progress toward interoperability in GIS. In Interoperating Geographie Information Systems, edited by M. F. Goodchild, M. Egenhofer, R. Fegeas, C. Kottman (Norwell, MA: Kluwer), pp. 39 54.
23. KUHN, W., 1994, Defining semantics for spatial data transfers. In Waugh, T. C., Healey, R. G. (Eds.), Advances in GIS Research-Proceedings of 6th International Symposium on Spatial Data Handling (Edinburgh: International Geographical Union), pp. 973 987.
24. KUHN, W., 1997, Approaching the issue of information loss in geographic data transfers. Geographical Systems, 4, 261-276.
25. LIN, F.-T., 1998, Many sorted algebraic data models for GIS. International Journal of Geographical Information Science, 12, 765-788.
26. LISKOV, B., and GUTTAG, J., 1986, Abstraction and Specification in Program Development. The MIT Electrical Engineering and Computer Science Series (Cambridge, MA: MIT Press).
27. LISKOV, B., and ZILLES, S., 1978, An introduction to formal specifications of data abstractions. In Current Trends in Programming Methodology. Vol. 1. edited by R. T. Yeh (Englewood Cliffs, N.J.: Prentice-Hall), pp. 1 33.
28. LOECKX, J., 1987, Algorithmic specifications: a constructive specification method for abstract data types. ACM Transactions on Programming Languages and Systems, 9, 646-685.
29. LOECKX, J., EHRICH, H.-D., and WOLF, M., 1996, Specification of Abstract Data Types (Chichester: Wiley-Teubner).
30. OGC., 2000a, OpenGIS grid coverages implementation specification. Implementation Specification Draft Version 1.0. Open GIS Consortium.
31. OGC, 2000b, The OpenGIS specification model, topic 6: The coverage type and its subtypes. Tech. Rep. 00-106, Open GIS Consortium. Inc.
32. OMG, 2000, UML resource page. Tech. rep., http://www.omg.org/uml/.
33. Østensen, O., 2000, Joint steering group on spatial standardization and related interoperability. Technical report http://www.spatialstandards.org/.
34. PEYTON JONES, S., HUGHES, J., AUGUSTSSON, L., BARTON, D., BOUTEL, B., BURTON, W., FASEL, J., HAMMOND, K., HINZE, R., HUDAK, P., JOHNSSON, T., JONES, M., LAUNCHBURY, J., MEIJER, E., PETERSON, J., REID, A., RUNCIMAN, C., and WADLER, P., 1999, Haskell 98: A non-strict, purely functional language. Technical report http://www.haskell.org/onlinereport/.
35. PEYTON JONES, S. L., 1987, The Implementation of Functional Programming Languages. Prentice Hall International Series in Computer Science. (New York: Prentice Hall).
36. SEARLE, J. R., 1995, The Construction of Social Reality (New York: The Free Press).
37. SMITH, B., and VARZI, A. C., 1997, Fiat and bona fide boundaries: Towards an ontology of spatially extended objects. In Spatial Information Theory (COSIT '97), Vol. 1329 of Lecture Notes in Computer Science, edited by S. C. Hirtle, A. U. Frank (Laurel Highlands, PA: Springer) pp. 103 119.
38. STOY, J. E., 1977, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Cambridge, Massachusetts: MIT Press).
39. WORBOYS, M. F., 1995, GIS: A Computing Perspective (London: Taylor & Francis).