• Publications
  • Influence
Unified Modeling Language
  • M. Gogolla
  • Computer Science
  • Encyclopedia of Database Systems
  • 2009
Alle Rechte vorbehalten. Speicherung und Wiedergabe sind für den persönlichen, nicht kommerziellen Gebrauch gestattet, wobei bei auszugsweiser Verwendung Quelle und Copyright zu nennen sind. DieExpand
  • 431
  • 40
USE: A UML-based specification environment for validating UML and OCL
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 earlyExpand
  • 418
  • 37
Object Constraint Language (OCL): A Definitive Guide
The Object Constraint Language (OCL) started as a complement of the UML notation with the goal to overcome the limitations of UML (and in general, any graphical notation) in terms of preciselyExpand
  • 179
  • 33
Object Constraint Language
  • M. Gogolla
  • Computer Science
  • Encyclopedia of Database Systems
  • 2009
  • 118
  • 15
On Formalizing the UML Object Constraint Language OCL
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 analysisExpand
  • 199
  • 12
Extensive Validation of OCL Models by Integrating SAT Solving into USE
The Object Constraint Language (OCL) substantially enriches modeling languages like UML, MOF or EMF with respect to formulating meaningful model properties. In model-centric approaches, an accuratelyExpand
  • 79
  • 12
Validating UML and OCL models in USE by automatic snapshot generation
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 of desiredExpand
  • 189
  • 11
Validating UML Models and OCL Constraints
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 validatingExpand
  • 200
  • 9
Verifying UML/OCL models using Boolean satisfiability
Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesign. Due to shorteningExpand
  • 136
  • 9
From UML and OCL to relational logic and back
Languages like UML and OCL are used to precisely model systems. Complex UML and OCL models therefore represent a crucial part of model-driven development, as they formally specify the main systemExpand
  • 91
  • 9