OCL 2.0 - Implementing the Standard for Multiple Metamodels

Akehurst, David H.; Patrascoiu, Octavian

doi:10.1016/j.entcs.2003.09.002

Cited by 24 publications

(11 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It also incorporates several ideas from other existing environments [Akehurst03], [Hamie98] [Loecher03], which implement the OCL, and enable constraints to be checked over models.…”

Section: Backgrounds and Related Workmentioning

confidence: 99%

Constraint Validation in Model Compilers.

Lengyel¹,

Levendovszky²,

Charaf³

2006

JOT

View full text Add to dashboard Cite

Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central technique in the design of visual languages, and it reuses existing domains by extending the metamodel level. Metamodel-based software development requires the transformation of the models between various stages. These transformation steps must be formally and precisely specified, which can be accomplished along with constraints enlisted in transformation steps. Our metamodel-based approach uses graph rewriting techniques for model transformation. This paper summarizes our results related to the metamodel-based constraint validation during the model transformation. This work presents the Rule Constraint Validator (RCV) algorithm, the Invariant Analysis (IA) algorithm, the Persistent Analysis (PA) algorithm and the combination of the RCV and PA algorithms which results the Optimized Rule Constraint Validator (ORCV) algorithm. An illustrative case study for constraint validation in rewriting rules is also provided.

show abstract

“…It also incorporates several ideas from other existing environments [Akehurst03], [Hamie98] [Loecher03], which implement the OCL, and enable constraints to be checked over models.…”

Section: Backgrounds and Related Workmentioning

confidence: 99%

Constraint Validation in Model Compilers.

Lengyel¹,

Levendovszky²,

Charaf³

2006

JOT

View full text Add to dashboard Cite

show abstract

“…. It is a well known fact, that the OCL grammar as defined in the language specification is ambiguous [15]. The specification uses contextual information, which is not available during a purely syntax based analysis (such as parsing).…”

Section: Ocl Grammar Disambiguationmentioning

confidence: 99%

OCL as the Query Language for UML Model Execution

Habela

Kaczmarski

Stencel

et al. 2008

Computational Science – ICCS 2008

View full text Add to dashboard Cite

Abstract. Despite the specification of OCL mentions "query language" as one of its possible applications, there are rather few efforts in that direction. However, the problem becomes central where applying MDA to data intensive application modelling is considered. Recently added UML elements of Actions and Structured Activities make it possible to represent a level of detail similar to the one of common programming languages, but data processing requires adequate querying capability as well. As the OMG specification of the UML family, the Object Constraint Language becomes the most obvious candidate to serve this purpose. In this paper we research this role of OCL. Especially, we address the issues of seamless integration with UML metamodel and the useful features of query languages that are missing from OCL.

show abstract

“…The information model constraints are defined in a separate OCL file. The OCL constraints are translated from managed entities action pre-conditions into policy conditions that can be understood by the policy repository and policy analyser via Kent OCL library [10]. This library provides java class implementation of OCL constraints that can be evaluated in real-time.…”

Section: Prototype Implementationmentioning

confidence: 99%

Conflict Prevention Via Model-Driven Policy Refinement

Davy

Jennings

Strassner

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algorithm for the retrieval of application-specific data from an information model relating to the subject and targets of a given policy. This algorithm facilitates the linkage of policies loosely defined at a high level of abstraction to detailed behavioural constraints specified in the information model. Based on these constraints policies are then modified so that conflicts with other deployed policies can be readily identified using standard policy conflict detection techniques. This approach enables policy enforcement to be cognisant of application specific constraints, thereby resulting in a more trustworthy and dependable policy based management system.

show abstract

OCL 2.0 - Implementing the Standard for Multiple Metamodels

Cited by 24 publications

References 4 publications

Constraint Validation in Model Compilers.

Constraint Validation in Model Compilers.

OCL as the Query Language for UML Model Execution

Conflict Prevention Via Model-Driven Policy Refinement

Contact Info

Product

Resources

About