Skip to main content
padlock icon - secure page this page is secure

Formal information modelling for standardisation in the spatial domain

Buy Article:

$60.00 + tax (Refund Policy)

This paper presents the results and experiences of applying a formal tool to writing specifications for software in the spatial domain. We take a specification from a standards organization to demonstrate the properties of this approach, and we compare our result with the semi-formal specification of the standards organization. The expected advantages--formal semantics of specified interfaces, total abstraction from implementation, executable prototype, and extendable algebraic structure--can be verified. However negative experiences are reported also: pure abstract code turns out to appear overloaded and difficult to read (by humans). With this work we contribute to the foundations of standardisation efforts in the spatial domain, preserving an object oriented modeling approach.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Article Media
No Metrics

Document Type: Research Article

Affiliations: 1: Department of Geomatics The University of Melbourne Victoria 3010 Australia, Email: [email protected] 2: Department of Spatial Information Science and Engineering University of Maine 5711 Boardman Hall Orono ME 04469-5711 USA, Email: [email protected]

Publication date: December 1, 2003

More about this publication?
  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more