Extending OCL with Map and Function Types - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Extending OCL with Map and Function Types

Shekoufeh Kolahdouz-Rahimi
  • Fonction : Auteur
  • PersonId : 1232876

Résumé

Map and function types are of high utility in software specification and design, for example, maps can be used to represent configurations or caches, whilst function values can be used to enable genericity and reuse in a specification, and to support mechanisms such as callbacks or closures in an implementation. Map and function types have been incorporated into the leading programming languages, including Java, C++, Swift and Python.The Object Constraint Language (OCL) specification notation lacks such types, and in this paper we make a proposal for a consistent extension of OCL with map and function types, and we identify modifications to OCL semantics to include these types. We also describe how map and function types are implemented using the Eclipse AgileUML toolset.
Fichier principal
Vignette du fichier
506725_1_En_8_Chapter.pdf (638.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04074525 , version 1 (19-04-2023)

Licence

Paternité

Identifiants

Citer

Kevin Lano, Shekoufeh Kolahdouz-Rahimi. Extending OCL with Map and Function Types. 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.108-123, ⟨10.1007/978-3-030-89247-0_8⟩. ⟨hal-04074525⟩
19 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More