Sciweavers

203 search results - page 2 / 41
» Using OCL in Executable UML
Sort
View
UML
2004
Springer
14 years 24 days ago
OCL and Model Driven Engineering
Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable...
Jean Bézivin, Thomas Baar, Tracy Gardner, M...
ACSC
2004
IEEE
13 years 11 months ago
Towards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
Stephan Flake
UML
2004
Springer
14 years 24 days ago
Determining the Structural Events That May Violate an Integrity Constraint
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
Jordi Cabot, Ernest Teniente
MODELS
2009
Springer
14 years 2 months ago
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set
Abstract. Modeling languages like UML or EMF support textual constraints written in OCL. OCL allows the developer to use various collec
Fabian Büttner, Martin Gogolla, Lars Hamann, ...
FASE
2001
Springer
13 years 12 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. 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 ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker