A Dynamic Type System for OCL - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2017

A Dynamic Type System for OCL


The OCL language is now well-accepted by the modeling community. To be compliant with the regularly updated standard, evaluators must ensure that OCL is a strongly typed language. Indeed, during the analysis of a rule, the evaluator must ensure a correct and a deterministic type of each sub-expression handled. We have chosen to provide a dynamic type system for our OCL evaluator. Moreover, formalizing the OCL type system has the advantage of helping to clarify the standard. This formalization uses the natural deduction logic to represent typing rules and was implemented throughout a type synthesizer in a platform named Neptune.
No file

Dates and versions

hal-03109257 , version 1 (13-01-2021)


  • HAL Id : hal-03109257 , version 1


Thierry Millan, Hervé Leblanc, Christian Percebois. A Dynamic Type System for OCL. [Research Report] IRIT. 2017. ⟨hal-03109257⟩
32 View
0 Download


Gmail Facebook Twitter LinkedIn More