Abstract The Object Constraint Language OCL allows to formally specify constraints on a
UML model. We present a formal syntax and semantics for OCL based on set theory …

Abstract The Unified Modeling Language (UML) is a widely accepted standard for modeling
software systems. The UML supports object-oriented approaches to software development …

Dynamic invariant analysis identifies likely properties over variables from observed program
traces. These properties can aid programmers in refactoring, documenting, and debugging …

Abstract Design Patterns are now widely accepted as a useful concept for guiding and
documenting the design of object-oriented software systems. Still the UML is ill-equipped for …

Recent years have seen a number of high-profile incidents of corporate accounting fraud,
security violations, terrorist acts, and disruptions of major financial markets. This has led to a …

Abstract Model Based System Engineering (MBSE) is a renowned approach in the context of
embedded systems development. It is frequently used to deal with the structural and …

UML class diagrams have become a standard for modeling the static structure of object-
oriented software systems. OCL can be used for formulating additional constraints that can …

Abstract The Object Constraint Language (OCL) was introduced to support the specification
of constraints for UML diagrams and is mainly used to formulate invariants and operation pre …

Abstract The Object Constraint Language is widely used to express precise and
unambiguous constraints on models and object oriented programs. However, the notion of …

Temporal extensions of OCL have been proposed in the literature in order to express
dynamic system properties of UML models. This paper reviews previous work on Temporal …