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 …

There is a widespread misunderstanding among both software practitioners and experts in
the area of formal methods that the purpose of such methods is to prove, conclusively …

In November 1998 the authors participated in a two-day workshop on the Object Constraint
Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the …

The purpose of this paper is to first showcase the concept of an operation schema—a
precise form of system-level operation specification—and secondly show how operation …

Object-oriented modeling has become the de-facto standard in the early phases of a
software development process during the last decade. The current state-of-the-art is …

Critics have emerged in recent times as a specific tool feature to support users in computer-
mediated tasks. These computer-supported critics provide proactive guidelines or …

Many software applications involve models of data that are manipulated by the application.
There is often a need to transform (or translate) the data from one model, into another in …

Use cases are an excellent tool for capturing behavioral requirements of software systems,
but they are not an ideal work product for driving design activities. We believe that there is …

Software evolution is a major challenge to software development. When adapting a system
model to new, altered or deleted requirements, existing requirements should not …