486 search results - page 5 / 98 » OCL and Model Driven Engineering |
112
click to vote
APSEC
1999
IEEE
15 years 7 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
112
click to vote
EDOC
2003
IEEE
15 years 8 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
119
click to vote
METRICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Diagram-based UML notation is limited in its expressiveness thus producing a model that would be severely underspecified. The flaws in the limitation of the UML diagrams are solve...
123
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
118
Voted
JSS
2010
14 years 10 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...