Formal information modelling for standardisation in the spatial domain

Abstract

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 standar..