A Dynamic Type System for OCL - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2017

A Dynamic Type System for OCL

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-03109257 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More