Extending OCL with Map and Function Types - Fundamentals of Software Engineering Access content directly
Conference Papers Year : 2021

Extending OCL with Map and Function Types

Shekoufeh Kolahdouz-Rahimi
  • Function : Author
  • PersonId : 1232876

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩
18 View
1 Download

Altmetric

Share

Gmail Facebook X LinkedIn More