Corpus ID: 60028314

EXECUTABLE AXIOMATIC SPECIFICATION USING FUNCTIONAL LANGUAGE - CASE STUDY: BASE ONTOLOGY FOR A SPATIO-TEMPORAL DATABASE

@inproceedings{Frank1997EXECUTABLEAS,
  title={EXECUTABLE AXIOMATIC SPECIFICATION USING FUNCTIONAL LANGUAGE - CASE STUDY: BASE ONTOLOGY FOR A SPATIO-TEMPORAL DATABASE},
  author={Andr{\'e} Frank and Damir Medak},
  year={1997}
}
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… Expand
Comparing Approaches for Semantic Service Description and Matchmaking
TLDR
This work compares two approaches with respect to their potentials for matchmaking between semantic descriptions of geoinformation services using the Web Ontology Language and the Rule Markup Language. Expand
Ace-gis Adaptable and Composable E-commerce and Geographic Information Services D6.3.0 -report and Refereed Conference and Journal Publications on Algebraic Model and Pilot Prototype. Project Deliverable Ace-gis Executive Summary Ace-gis
In phase III, investigations on four formalization approaches for ontologies were conducted. One study was comparing approaches for semantic service description and matchmaking. A second studyExpand
TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development
TLDR
This paper argues that many of theoretical problems in GIScience can be expressed as algebraic theories, and developing a GIS in a functional language is not feasible, since many parts needed for aGIS are already avaliable in imperative languages such as C++ and Java. Expand
Semantic reference systems
  • W. Kuhn
  • Computer Science
  • Int. J. Geogr. Inf. Sci.
  • 2003
TLDR
A theory of semantic reference systems will enable producers and users of geographical information to explain the meaning of thematic data, to translate this meaning from one information community to another, and to integrate data across differing semantics. Expand
A Taxonomy of Verification and Validation of Software Requirement and Specifications
Assuring the quality of software requirement specifications is critical. Poor requirement specifications may make costly errors during the development process. Therefore methods and techniques forExpand
Towards a unified spatial-temporal data model and query language for geographical information systems.
TLDR
This paper outlines the principle features of a Ph.D. programme of work on the nature of digital maps and their importance in the broader context of geographic information and the role of category theory in the research. Expand

References

SHOWING 1-10 OF 48 REFERENCES
Specifying Open GIS with Functional Languages
TLDR
It is shown how functional programming languages fulfill the key requirements for formal specification languages and allow for rapid prototyping in addition and concludes that functional languages have the potential to achieve a breakthrough in the problem of specifying interfaces of interoperable components for Open GIS. Expand
A Theory of Type Polymorphism in Programming
  • R. Milner
  • Computer Science
  • J. Comput. Syst. Sci.
  • 1978
TLDR
This work presents a formal type discipline for polymorphic procedures in the context of a simple programming language, and a compile time type-checking algorithm w which enforces the discipline. Expand
Denotational Semantics
  • P. Mosses
  • Computer Science
  • Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
  • 1990
TLDR
The chapter illustrates the major standard techniques that are used in denotational descriptions of programming languages, such as environments, stores, and continuations, and explains the relation between these techniques and some fundamental concepts of Programming languages. Expand
On understanding types, data abstraction, and polymorphism
TLDR
A λ-calculus-based model for type systems that allows us to explore the interaction among the concepts of type, data abstraction, and polymorphism in a simple setting, unencumbered by complexities of production programming languages is developed. Expand
Categories, types and structures - an introduction to category theory for the working computer scientist
TLDR
This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design and pursues the more complex mathematical semantics of data types and programs as objects and morphisms of categories. Expand
Information modeling: the EXPRESS way
This book discusses information modelling combined with a description of the express information model specification language. EXPRESS is a new language that when used with information modellingExpand
Toward a Theoretical Framework for Geographic Entity Types
TLDR
The central role played by categories in human cognition, and the relationships between categories and words of natural language are reviewed, as well as the nature of geographical entity types as cognitive categories. Expand
Functional Programming with Overloading and Higher-Order Polymorphism
TLDR
Focusing on practical applications rather than implementation or theoretical details, these notes examine a range of extensions that provide more flexible type systems while retaining many of the properties that have made the original Hindley/Milner system so popular. Expand
Abstraction and specification in program development
TLDR
Abstraction and specification in program development will lead you to love reading starting from now and will improve your quality of the life however is the role. Expand
The Implementation of Functional Programming Languages
My 1987 book is now out of print, but it is available here in its entirety in PDF form, in one of two formats: single-page portrait double-page landscape Both are fully searchable, thanks to OCR andExpand
...
1
2
3
4
5
...