44 search results - page 3 / 9 » Some Shortcomings of OCL, the Object Constraint Language of ... |
ACSC
2004
IEEE
13 years 9 months ago
2004
IEEE
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 ...
DAGSTUHL
2006
13 years 6 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
IWPC
2003
IEEE
13 years 10 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
UML
1999
Springer
13 years 9 months ago
1999
Springer
The Object Constraint Language (OCL) is a precise language for notating behavioural constraints on UML models. Constraint diagrams have been proposed as a means of notating similar...
ICSE
2009
IEEE-ACM
13 years 3 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...