Skip to Main content Skip to Navigation
New interface
Reports (Research report)

A Dynamic Type System for OCL

Thierry Millan 1 Hervé Leblanc 1 Christian Percebois 1 
1 IRIT-ARGOS - Advancing Rigorous Software and System Engineering
IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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.
Document type :
Reports (Research report)
Complete list of metadata
Contributor : Françoise Grélaud Connect in order to contact the contributor
Submitted on : Wednesday, January 13, 2021 - 4:26:54 PM
Last modification on : Wednesday, October 26, 2022 - 8:15:56 AM


  • HAL Id : hal-03109257, version 1


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



Record views