Abstract. We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata,...
A. W Agner, For Mathmatics, Scienc E, Warbur Ger Str, Paderb Orn, M. Gogolla
for Mathmatics and Computer Scienc e,
Chapter 2 Checking BART Test Scenarios with UML’s Object Constraint Language (2008)
step towards development of high-quality object-oriented systems. OCL allows to sharpen UML diagrams through invariants and pre- and postconditions. This paper explains the functionality of the UML...
--- The Language and Its Development Environment (2007)
M. Gogolla, S. Conrad, G. Denker, R. Herzig, N. Vlachantonis
Abstract. In our sub-project we are concerned with techniques for the development of reliable information systems on the basis of their formal specification. Our work focuses on the specification...
Mondex Case Study First Workshop (2006)
Verified Software Repository, Bicarregui, JC, Woodcock, JCP, Butler, M, Crocker, D, King, S, ...
The Mondex Case Study is being be used as an initial experiment for the Verified Software Repository. A number of research groups will work on the same problem in parallel. We have chosen as our...
Model Transformations? Transformation Models! (2006)
Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.
Much of the current work on model transformations seems essentially operational and executable in nature. Executable descriptions are necessary from the point of view of implementation. But from a...
Contact Address for BISS Monographs (2005)
R. Drechsler, M. Gogolla, B. Krieg-brückner, J. Peleska (series, R. Drechsler, ...
Bibliografische Information der Deutschen Nationalbibliothek
Graph transformations on the UML metamodel (2000)
The Unified Modeling Language UML is a rich language so that it seems not feasible to give a single semantics for the complete language in one step. In order to define the semantics, we propose to...
On Constraints and Queries in UML (1998)
: The UML has recently been extended by an Object Constraint Language (OCL). This formal language can be used for specifying constraints on a model in order to restrict possible system states. We...
Claßen, I., Löwe, M., Gogolla, M.
A formal framework based on algebraic graph theory is presented that integrates specification and construction of dynamics in information systems. Specifications are based on temporal logic whose...
Lassy - A System for Analyzing Grammatical Dependencies in Latin (1996)
We introduce the Latin analysis system Lassy, a slim system for analyzing Latin sentences. Tools for interacting with a database for morphological features are integrated as well as an interface for...
TROLL light - The Language and Its Development Environment (1995)
M. Gogolla, S. Conrad, G. Denker, R. Herzig, N. Vlachantonis
. In our sub-project we are concerned with techniques for the development of reliable information systems on the basis of their formal specification. Our work focuses on the specification language...
Translating TROLL light Concepts to Maude (1994)
. The specification language TROLL light is designed for the conceptual modeling of information systems. Maude is a logic programming language, which unifies the two paradigms of functional and...
Integrating the ER Approach in an OO Environment (1994)
M. Gogolla, R. Herzig, S. Conrad, G. Denker, N. Vlachantonis
We translate Entity-Relationship (ER) schemas into the object-oriented specification language TROLL light . This language describes the Universe of Discourse (UoD) as a system of concurrently...
Sketching Concepts and Computational Model of TROLL (1993)
Light Gogolla, M. Gogolla, S. Conrad, R. Herzig
The specification language TROLL light is intended to be used for conceptual modeling of information systems. It is designed to describe the Universe of Discourse (UoD) as a system of concurrently...
Sketching Concepts and Computational Model of TROLL light (1993)
M. Gogolla, S. Conrad, R. Herzig
The specification language TROLL light is intended to be used for conceptual modeling of information systems. It is designed to describe the Universe of Discourse (UoD) as a system of concurrently...
Towards Reliable Information Systems: The KorSo Approach (1993)
Vlachantonis Herzig, N. Vlachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad, ...
. Within the compound project KorSo our team is concerned with the research on techniques and methods for the development of reliable information systems on the basis of formal specifications. Our...
Towards Reliable Information Systems: The KorSo Approach (1993)
N. Vlachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad
. Within the compound project KorSo our team is concerned with the research on techniques and methods for the development of reliable information systems on the basis of formal specifications. Our...