Add to ORKGWe compare several formal and informal approaches to define the semantics of the Object Constraint Language (OCL). This comparison reveals a number of minor and major design problems to be settled in upcoming versions of the OCL standard. We review these problems in the context of our work of providing a formal semantics of OCL through an conservative embedding in HOL using the Isabelle theorem prover
The Object Constraint Language (OCL) is a specification language which could be used for describing ...
AbstractThe Object Constraint Language (OCL) is the established language for the specification of pr...
The Object Constraint Language (or variations of it) is increasingly being used as a text based navi...
HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL). It is implemen...
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a p...
Abstract. The Object Constraint Language (OCL), which forms part of the UML set of modelling notatio...
The Object Constraint Language (OCL) is a precise language which could be used for describing constr...
The Object Constraint Language (OCL) was introduced as part of the Unified Modeling Language (UML). ...
In this paper we define the first-order fragment of the Object Constraint Language (OCL), the declar...
As part of the UML standard OCL has been adopted by both professionals in industry and by academic r...
The Unified Modeling Language (UML) is one of the few modeling languages that is widely used in indu...
The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is...
The Object Constraint Language (OCL) was originally designed as an ‘add-on’ to the Unified Modelling...
International audienceObject Constraint Language (OCL) is a formal language used to describe express...
Abstract: We report on the results of a long-term project to formalize the seman-tics of OCL 2.0 in ...
The Object Constraint Language (OCL) is a specification language which could be used for describing ...
AbstractThe Object Constraint Language (OCL) is the established language for the specification of pr...
The Object Constraint Language (or variations of it) is increasingly being used as a text based navi...
HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL). It is implemen...
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a p...
Abstract. The Object Constraint Language (OCL), which forms part of the UML set of modelling notatio...
The Object Constraint Language (OCL) is a precise language which could be used for describing constr...
The Object Constraint Language (OCL) was introduced as part of the Unified Modeling Language (UML). ...
In this paper we define the first-order fragment of the Object Constraint Language (OCL), the declar...
As part of the UML standard OCL has been adopted by both professionals in industry and by academic r...
The Unified Modeling Language (UML) is one of the few modeling languages that is widely used in indu...
The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is...
The Object Constraint Language (OCL) was originally designed as an ‘add-on’ to the Unified Modelling...
International audienceObject Constraint Language (OCL) is a formal language used to describe express...
Abstract: We report on the results of a long-term project to formalize the seman-tics of OCL 2.0 in ...
The Object Constraint Language (OCL) is a specification language which could be used for describing ...
AbstractThe Object Constraint Language (OCL) is the established language for the specification of pr...
The Object Constraint Language (or variations of it) is increasingly being used as a text based navi...