486 search results - page 5 / 98 » OCL and Model Driven Engineering |
APSEC
1999
IEEE
14 years 1 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...
EDOC
2003
IEEE
14 years 2 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...
METRICS
2005
IEEE
14 years 2 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...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
JSS
2010
13 years 3 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 ...