Results 191 to 200 of about 14,072 (220)
Some of the next articles are maybe not open access.

Temporal Extensions of OCL Revisited

2009
Temporal extensions of OCL have been proposed in the literature in order to express dynamic system properties of UML models. This paper reviews previous work on Temporal OCL based on dynamic, state-oriented behaviour specifications and gives a more general definition for Linear Temporal OCL (LT-OCL) for languages that are defined using MOF metamodels ...
Michael Soden, Hajo Eichler
openaire   +1 more source

K Semantics for OCL - a Proposal for a Formal Definition for OCL

2011
Object Constraint Language (OCL) is a formal language used to describe expressions like constraints or queries over objects in a UML model. The constraints are used to give an exact description of the information contained in the models and the queries are used to analyze these models and to validate them. The evaluation of the OCL expressions does not
Rusu, Vlad, Lucanu, Dorel
openaire   +1 more source

A Metamodel for OCL

1999
Mark Richters, Martin Gogolla
openaire   +1 more source

$$\hbox {OCL}_\textsf {FO}$$ OCL FO : first-order expressive OCL constraints for efficient integrity checking

Software and Systems Modeling, 2018
Enrico Franconi   +2 more
exaly  

OCL

2011
openaire   +1 more source

Home - About - Disclaimer - Privacy