The practical application of the Object Constraint Language, which is part of the UML speci cation since version 1.1, depends crucially on the existence of adequate tool support. This paper discusses general design issues for OCL tools. It is argued that the nature of OCL will lead to a large variety of tools, applied in combination with a variety of di erent UML tools. Therefore, a exible modu...

The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing Java realizations of UML design models and introduce a new Hoare-Calculus for Java classes which uses OCL as assertion language. The Hoare rules are as usual for while programs, blocks and (possibly recursive) method calls. Upda...

The Object Constraint Language (OCL) is based on firstorder logic and set theory. As the most well-known application, OCL is used to formulate well-formedness rules in the UML metamodel. Here, the transitive closure of a relationship is defined in terms of an OCL invariant, which seems to contradict classical results on the expressive power of first-order logic. In this paper, we give sufficien...

While the type system proposed in the OCL Standard Library of the latest OCL 2.0 proposal seems to be considerably stable by now, there are still some deficiencies in the definition of operations for type casts and type conformance checks. This results from the fact that the types defined on the user-level are currently not well represented in the OCL Standard Library. This article presents a n...

The Object Constraint Language (OCL), a part of the standard UML language, is both a constraint and a query language. As a constraint language it is used to precise the information contained in the models; as a query language it is used to analyze these models and to validate them over selected scenarios. Although designed to be a formal language, experience has shown that the language definiti...

The recently adopted OCL 2.0 specification comes with a formal semantics that is based on set theory with a notion of an object model and system states. System states keep the runtime information relevant for the evaluation of OCL expressions. However, not all new language concepts of OCL 2.0 are already addressed in that formal semantics. We show how to overcome this by introducing new compone...

Checking the correctness of UML/OCL models is a crucial task in the design of complex software and hardware systems. As a consequence, several approaches have been presented which address this problem. Methods based on satis ability (SAT) solvers have been shown to be very promising in this domain. Here, the actual veri cation task is encoded as an equivalent bit-vector instance to be solved by...

ADAM8 expression is increased in the interface tissue around a loosened hip prosthesis and in the pannus and synovium of patients with rheumatoid arthritis, but its potential role in these processes is unclear. ADAM8 stimulates osteoclast (OCL) formation, but the effects of overexpression or loss of expression of ADAM8 in vivo and the mechanisms responsible for the effects of ADAM8 on osteoclas...

An Integrated OCL Development Environment (IDE4OCL) can significantly improve the pragmatics and practice of OCL. Therefore we started a comprehensive requirement analysis with the long term vision of a multisite IDE4OCL project. In this paper we present a feature model for the IDE4OCL vision based on this analysis. In an earlier work we identified domain concepts, tool–level interactions with ...

The Object Constraint Language is widely used to express precise and unambiguous constraints on models and object oriented programs. However, the notion of temporal constraints, controlling the system behavior over time, has not been natively supported. Such temporal constraints are necessary to model reactive and real-time systems. Although there are works addressing temporal extensions of OCL...