USE: A UML-Based Specification Environment for Validating UML and OCL (2008)
Martin Gogolla, Fabian Büttner, Mark Richters
The Unified Modeling Language (UML) is accepted today as an important standard for developing software. UML tools however provide little support for validating and checking models in early...
!!UML??2000 Workshop Dynamic Behaviour in UML Models, (2007)
Martin Gogolla, Oliver Radfelder, Ralf Kollmann, Mark Richters, B. Rumpe, B. Selic, ...
Abstract. This paper analyses atomic notions in UML which are fundamental for the understanding of dynamic aspects. The notions considered
Using the UML Specication Environment USE (2007)
The Object Constraint Language OCL is part of the Unied Modeling Language UML. OCL allows to describe system structure by invariants and system behavior by pre- and postconditions. This paper...
Metamodel Transformation of Data Models Position Paper (2007)
Martin Gogolla, Arne Lindow, Mark Richters, Paul Ziemann
This paper studies syntax and semantics of the Entity-Relationship (ER) and Relational data model and their transformation. The ER model may be regarded as a platform independent model and the...
Metamodel Transformation of Data Models Position Paper (2007)
Martin Gogolla, Arne Lindow, Mark Richters, Paul Ziemann
This paper studies syntax and semantics of the Entity-Relationship (ER) and Relational data model and their transformation. The ER model may be regarded as a platform independent model and the...
Validating UML and OCL models in USE by automatic snapshot generation (2005)
Martin Gogolla, Jörn Bohling, Mark Richters
Abstract. We study the testing and certification of UML and OCL models as supported by the validation tool USE. We extend the available USE features by introducing a language for defining properties...
Aspect-Oriented Monitoring of UML and OCL Constraints (2003)
We present an approach utilizing aspect-oriented programming (AOP) techniques for mapping between di#erent abstraction levels of software. The goal is to facilitate validation and testing of a...
Tool Support for Validating UML and OCL Models through Automatic Snapshot Generation (2003)
This paper studies tool support for the testing and certi cation of UML and OCL models as supported by the validation tool USE. We describe the features available in the UML/OCL tool USE and extend...
Validation of UML and OCL Models by Automatic Snapshot Generation (2003)
Martin Gogolla, Jörn Bohling, Mark Richters
We study the testing and certi cation of UML and OCL models as supported by the validation tool USE. We extend the available USE features by introducing a language for de ning properties of desired...
A precise approach to validating UML models and OCL constraints / (2002)
Bremen, University, Thesis (doctoral), 2001.
A precise approach to validating UML models and OCL constraints (2001)
The Unified Modeling Language (UML) is a widely accepted standard for modeling software systems. The UML supports object-oriented approaches to software development with a rich set of modeling...
A Semantics for OCL pre and post conditions (2000)
Abstract. A formal semantics for the Object Constraint Language OCL being part of the Unied Modeling Language UML is described. We briey summarize the semantics of plain OCL expressions which was...
Validating UML Models and OCL Constraints (2000)
. The UML has been widely accepted as a standard for modeling software systems and is supported by a great number of CASE tools. However, UML tools often provide only little support for validating...
Towards three-dimensional representation and animation of uml diagrams (1999)
Martin Gogolla, Oliver Radfelder, Mark Richters
The UML notation is intended to be drawn on two-dimensional surfaces. However, three-dimensional diagram layout and animation may improve comprehension of complex diagrams significantly. The paper...
A UML Semantics FAQ: The View from Bremen (1999)
Martin Gogolla, Oliver Radfelder, Mark Richters
This note spells out questions the authors found while studying the material defining the Unified Modeling Language UML. After formulating a preliminary question in Sec. 1, some detailed questions...
On Combining Semi-Formal and Formal Object Specification Techniques (1998)
. In the early phases of software development it seems profitable to freely mix semi-formal and formal design techniques. Formal techniques have their strength in their ability to rigorously define...
Equivalence Rules for UML Class Diagrams (1998)
UML is a complex language with many modeling features. Especially the modeling of static structures with class diagrams is supported by a rich set of description primitives. We show how to transfrom...
On Formalizing the UML Object Constraint Language OCL (1998)
We present a formal semantics for the Object Constraint Language (OCL) which is part of the Unified Modeling Language (UML) -- an emerging standard language and notation for object-oriented analysis...
Contents 1 Introduction 3 2 Running jtrl 3 2.1 Setting Permanent Options . . . . . . . . . . . . . . . . . . . 4 2.2 Invoking jtrl . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2.1...
A Web-based Animator for Validating Object Specifications (1997)
One of the central tasks in developing information systems is the specification of desired system properties. We use the object specification language TROLL light to formalize the conceptual model of...
A Web-based Animator for Object Specifications in a Persistent Environment (1997)
. We present an animation tool for the formal specification language TROLL light. The system allows the manipulation and querying of objects and navigation through object hierarchies. A Web-based...
An Object Specification Language Implementation with Web User Interface based on Tycoon (1996)
on. The implementation employs a normal Web browser (Netscape, Mosaic, etc.) for both the exploration of template, i.e. object type, descriptions (for an example see the window in Fig. 1 displaying...