203 search results - page 5 / 41 » Using OCL in Executable UML |
109
Voted
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
100
Voted
GI
2001
Springer
15 years 5 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
133
Voted
UML
2000
Springer
15 years 4 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
112
Voted
ECOOP
2007
Springer
15 years 5 months ago
2007
Springer
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...
104
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...