Skip to Main content Skip to Navigation
Reports

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
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03109257
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 : Tuesday, October 19, 2021 - 2:24:23 PM

Identifiers

  • HAL Id : hal-03109257, version 1

Citation

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

Share

Metrics

Record views

15