The need to share and integrate spatial data has spurred an interest in metadata. This paper documents the acquisition and modeling of metadata from eleven digital geodata sources in Austria. It shows how the information was modeled according to the proposed CEN standard on metadata, how it was encoded in a database, and what problems were encountered during these processes. The paper concludes with a discussion of recent developments around metadata and of the option to make meta-databases available on the world-wide web.

Formal specifications are difficult to read.Executable specifications allow to see the behavior of the specified objects and help the domain specialist to detect errors quickly. We present here a method which allows to write axiomatic specifications which can be executed and discuss the limitations in expressive power imposed by the restriction to constructive axioms and how it can be circumvented. The method results from practical efforts to formalize the meaning of object types for Geographic Information Systems. If such data are shared betweenorganisations, differences in the semantics become apparent and formal methods for their definition become necessary. Most formal methods are based on first order languages. Software engineering often uses algebraic methods, but tools practically used for data exchange standard definitions are restricted to signatures and do not capture the behavior of the operations. We present here an algebraic approach using a functional programming language...

In this paper we present EXPRESS#P, an extension of EXPRESS for process modeling and monitoring. Our extension inherits concepts of the formal languages SDL #CCITT Standard#, Estelle #ISO Standard#, and GRAPES#86. EXPRESS#P comes with a graphical representation whichcovers the process modeling. The language is presented in syntactical detail. A #nal example sketches the modeling of a client#server communication.

: Document Status/Dates (mm/dd/yy) Part Documents Keywords : Other SC4 Documents Working Draft Working Project Draft Released Released Draft Confirmed Technically Complete Approved Editorially Complete ISO Committee Draft OWNER/EDITOR : ADDRESS : TELEPHONE : FAX : E-MAIL : ALTERNATE : ADDRESS : TELEPHONE : FAX : E-MAIL : COMMENTS TO READER The Process Modeling Language EXPRESS--P 230 8 March 1995 --- Working Draft X 03/08/95 1 This document describes the process modeling language EXPRESS--P. EXPRESS--P was developed for the need of an integrated data specification and process specification language based on EXPRESS/IS. Our extension integrates concepts of the standard languages SDL (CCITT Z.100) and Estelle (ISO 9074). EXPRESS--P comes with a graphical representation which is mainly inherited from GRAPES--86. A final example sketches the application of EXPRESS--P. Express, Information Model, Express Version 2, Process Modeling, SDL, Estelle Wolfgang Mueller, Frank Buijs Cadlab Ba...