The Heterogeneous Tool Set
- T. Mossakowski, Christian Maeder, K. Lüttich, S. Wölfl
- Computer Science
- 2007
The heterogeneous tool set (Hets) is a parsing, static analysis and proof management tool combining various such tools for individual specification languages, thus providing a tool for heterogeneous multi-logic specification.
The Heterogeneous Tool Set (Hets)
- T. Mossakowski, Christian Maeder, K. Lüttich
- BusinessVERIFY
- 24 March 2007
Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1). Moreover, a formal…
Heterogeneous Specification and the Heterogeneous Tool Set
- T. Mossakowski
- Computer Science
- 2004
It is shown that Grothendieck institutions based on institution comorphisms can serve as a framework for developing such a proof calculus and building tools, and how to extend the verification semantics given for struc-tured speci fications in [13] to the heterogeneous case.
Qualitative reasoning about relative direction of oriented points
- T. Mossakowski, R. Moratz
- Computer ScienceArtificial Intelligence
- 1 April 2012
Algebraic Properties of Qualitative Spatio-temporal Calculi
- F. Dylla, T. Mossakowski, Thomas Schneider, D. Wolter
- Computer ScienceConference On Spatial Information Theory
- 31 May 2013
The minimal requirements to binary spatio-temporal calculi are identified and the relevance of the according axioms for representation and reasoning are discussed and the classification of existing qualitative calculi is provided.
Comorphism-Based Grothendieck Logics
- T. Mossakowski
- MathematicsInternational Symposium on Mathematical…
- 26 August 2002
In order to obtain a semantic foundation for heterogeneous specification, Diaconescu's morphism-based Grothendieck institutions are extended to the case of comorphisms and a proof calculus for structured heterogeneous specifications is introduced.
High-Level Nets with Nets and Rules as Tokens
- Kathrin Hoffmann, H. Ehrig, T. Mossakowski
- Computer ScienceICATPN
- 20 June 2005
This paper presents a basic theory for rule-based transformations of P/T-systems and for high-level nets with nets and rules as tokens leading to the new concept of high- level net and rule systems.
Relating CASL with other specification languages: the institution level
- T. Mossakowski
- Computer ScienceTheoretical Computer Science
- 17 September 2002
OSMonto-An Ontology of OpenStreetMap Tags
- M. Codescu, Gregor Horsinka, O. Kutz, T. Mossakowski, Rafaela Rau
- Computer Science, Philosophy
- 2011
An ontology for OpenStreetMap tags, called OSMonto, is provided, which can be used in different ways: browsing of the hierarchy of tags is eased, tags can be related with other ontologies, and concepts can be unified, even if they are tagged in various ways.
The Distributed Ontology, Modeling and Specification Language
- T. Mossakowski, O. Kutz, M. Codescu, C. Lange
- Computer Science, PhilosophyInternational Workshop on Modular Ontologies
- 2013
The Distributed Ontology, Modelling and Specification Language (DOL) aims at providing a unified meta language for handling a diversity of ontology languages in use and provides constructs for “as-is” use of ontologies formulated in a specific ontology language.
...
...