Abstract 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 …

Abstract Collections, i., e., sets, bags, ordered sets and sequences, play a central role in
UML and OCL models. Essential OCL operations like role navigation, object selection by …

Identification of COTS candidates is a complex activity itself. It implies not only dealing with
an impressive number of possible candidates but also with unstructured information that …

OCL is widely used by UML and other languages to constrain meta-models and perform
evaluations on models. The OCL specification is the result of diligent but time-constrained …

The development of the entity-relationship (ER) model is one of the cornerstones for
conceptual modeling of information systems. The Unified Modeling Language (UML) and …

The current OCL 2.4 specification organizes collections in one abstract class, Collection (T),
and four concrete subclasses, namely Set (T), Bag (T), Sequence (T), and OrderedSet (T) …

The Object Constraint Language (OCL) has proven to be a valuable ingredient for the
specification of UML models. It allows to formulate logical propositions for models that …

The panel session of the 16th OCL workshop featured a lightning talk session for discussing
recent developments and open questions in the area of OCL and textual modelling. During …

Formal methods such as B and Event-B support the achievement of correct systems design
using the refinement technique. These methods allow for the description of data and actions …

This chapter introduces an extended entity-relationship model. Structural extensions are
complex attributes, cluster or generalisation types, relationship types of higher order. These …