Formal information modelling for standardisation in the spatial domain

References

• 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 .
   Web of Science ®Google Scholar
• Berre A. J Skogan D Gronmo R Solheim I Hoff H 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)
   Google Scholar
• Bird R 1998 Introduction to Functional Programming Using Haskell. Series in Computer Science (Hemel Hempstead, UK: Prentice Hall Europe)
   Google Scholar
• Booch G Rumbaugh J Jacobson I 1999 The Unified Modeling Language Reference Manual (Reading: Addison-Wesley)
   Google Scholar
• Bruel J.-M Evans A France R Lano K Kent S Moreira A Rumpe B 2000 The precise UML group home page Technical report http://www.cs.york.ac.uk/puml/index.html
   Google Scholar
• Burrough P. A Frank A. U editors 1996 Geographic Objects with Indeterminate Boundaries (London: Taylor & Francis)
   Google Scholar
• Egenhofer , M. J and Frank , A. U . 1992 . Object oriented modeling for GIS . Journal of the Urban and Regional Information Systems , 4 : 3 – 19 .
   Google Scholar
• 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
   Google Scholar
• Frank A. U 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
   Google Scholar
• Frank A. U 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
   Google Scholar
• Gibbs , W. W . 1994 . Software's chronic crisis . Scientific American , 271 : 72 – 81 .
   PubMed Web of Science ®Google Scholar
• 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
   Google Scholar
• 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
   Google Scholar
• Guttag , J. V and Horning , J. J . 1978 . The algebraic specification of abstract data types . Acta Informatica , 10 : 27 – 52 .
   Web of Science ®Google Scholar
• Henson M. C 1987 Elements of Functional Languages. Computer Science Texts (Oxford: Blackwell Scientific Publications)
   Google Scholar
• Horebeek I. V Lewi J 1989 Algebraic Specifications in Software Engineering (Berlin: Springer-Verlag)
   Google Scholar
• Hudak P Peterson J Fasel J. H 1999 A gentle introduction to Haskell 98 Technical report, http://www.haskell.org/tutorial/
   Google Scholar
• ISO 2000 ISO/TC 211 programme of work. Technical report http://www.statkart.no/isotc211/pow.htm
   Google Scholar
• 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
   Google Scholar
• Jones M. P Reid A Yale Haskell Group, 2000 Hugs online. The Hugs 98 system home page, http://www.haskell.org/hugs/, Oregon Graduate Institute of Science and Technology
   Google Scholar
• Kobryn , C . 1999 . UML 2001: A standardization odyssey . Communications of the ACM , 42 : 29 – 37 .
   Web of Science ®Google Scholar
• Kottman C. A 1999 The Open GIS Consortium and progress toward interoperability in GIS. In Interoperating Geographic Information Systems, edited by M. F. Goodchild, M. Egenhofer, R. Fegeas, C. Kottman (Norwell, MA: Kluwer), pp. 39–54
   Google Scholar
• 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
   Google Scholar
• Kuhn , W . 1997 . Approaching the issue of information loss in geographic data transfers . Geographical Systems , 4 : 261 – 276 .
   Google Scholar
• Lin , F.-T . 1998 . Many sorted algebraic data models for GIS . International Journal of Geographical Information Science , 12 : 765 – 788 .
   Web of Science ®Google Scholar
• Liskov B Guttag J 1986 Abstraction and Specification in Program Development. The MIT Electrical Engineering and Computer Science Series (Cambridge, MA: MIT Press)
   Google Scholar
• Liskov B 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
   Google Scholar
• Loeckx , J . 1987 . Algorithmic specifications: a constructive specification method for abstract data types . ACM Transactions on Programming Languages and Systems , 9 : 646 – 685 .
   Web of Science ®Google Scholar
• Loeckx J Ehrich H.-D Wolf M 1996 Specification of Abstract Data Types (Chichester: Wiley-Teubner)
   Google Scholar
• OGC, 2000a OpenGIS grid coverages implementation specification Implementation Specification Draft Version 1.0, Open GIS Consortium
   Google Scholar
• OGC, 2000b The OpenGIS specification model, topic 6: The coverage type and its subtypes Tech. Rep. 00-106, Open GIS Consortium, Inc
   Google Scholar
• OMG, 2000 UML resource page Tech. rep., http://www.omg.org/uml/
   Google Scholar
• Østensen O 2000 Joint steering group on spatial standardization and related interoperability Technical report http://www.spatialstandards.org/
   Google Scholar
• 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 Wadler P 1999 Haskell 98: A non-strict, purely functional language Technical report http://www.haskell.org/onlinereport/
   Google Scholar
• Peyton Jones S. L 1987 The Implementation of Functional Programming Languages. Prentice Hall International Series in Computer Science. (New York: Prentice Hall)
   Google Scholar
• Searle J. R 1995 The Construction of Social Reality (New York: The Free Press)
   Google Scholar
• Smith B 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
   Google Scholar
• Stoy J. E 1977 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Cambridge, Massachusetts: MIT Press)
   Google Scholar
• Worboys M. F 1995 GIS: A Computing Perspective (London: Taylor & Francis)
   Google Scholar