Sorted collection and map types for OCL

Kevin Charles Lano; Shekoufeh Kolahdouz Rahimi; Zishan  Rahman

Sorted collection and map types for OCL

Kevin Charles Lano, Shekoufeh Kolahdouz Rahimi, Zishan Rahman

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

28 Downloads (Pure)

Abstract

The OCL collection types defined in the OMG v2.4 standard are a key part of the language, and corre- sponding types can now be found in most modern programming languages such as Java, C# and Python. Further aggregate types, particularly maps, have been added in revised OCL versions. In this paper we give a rationale for extending the OCL collection and map type system with intrinsically-sorted versions of these aggregate types. We show that these types have strong semantic properties and that their use can improve the efficiency of generated code.

Original language	English
Title of host publication	OCL 2025, Part of the Software Technologies: Applications and Foundations (STAF) federated conferences
Publisher	CEUR Workshop Proceedings
Publication status	Published - 2025

Access to Document

OCL_STAF_2025_paper_57-2

Cite this

@inproceedings{2120fbc6034b45b4b19cd212b5a86cff,

title = "Sorted collection and map types for OCL",

abstract = "The OCL collection types defined in the OMG v2.4 standard are a key part of the language, and corre- sponding types can now be found in most modern programming languages such as Java, C\# and Python. Further aggregate types, particularly maps, have been added in revised OCL versions. In this paper we give a rationale for extending the OCL collection and map type system with intrinsically-sorted versions of these aggregate types. We show that these types have strong semantic properties and that their use can improve the efficiency of generated code.",

author = "Lano, \{Kevin Charles\} and \{Kolahdouz Rahimi\}, Shekoufeh and Zishan Rahman",

year = "2025",

language = "English",

booktitle = "OCL 2025, Part of the Software Technologies: Applications and Foundations (STAF) federated conferences",

publisher = "CEUR Workshop Proceedings",

}

TY - GEN

T1 - Sorted collection and map types for OCL

AU - Lano, Kevin Charles

AU - Kolahdouz Rahimi, Shekoufeh

AU - Rahman, Zishan

PY - 2025

Y1 - 2025

N2 - The OCL collection types defined in the OMG v2.4 standard are a key part of the language, and corre- sponding types can now be found in most modern programming languages such as Java, C# and Python. Further aggregate types, particularly maps, have been added in revised OCL versions. In this paper we give a rationale for extending the OCL collection and map type system with intrinsically-sorted versions of these aggregate types. We show that these types have strong semantic properties and that their use can improve the efficiency of generated code.

AB - The OCL collection types defined in the OMG v2.4 standard are a key part of the language, and corre- sponding types can now be found in most modern programming languages such as Java, C# and Python. Further aggregate types, particularly maps, have been added in revised OCL versions. In this paper we give a rationale for extending the OCL collection and map type system with intrinsically-sorted versions of these aggregate types. We show that these types have strong semantic properties and that their use can improve the efficiency of generated code.

M3 - Conference contribution

BT - OCL 2025, Part of the Software Technologies: Applications and Foundations (STAF) federated conferences

PB - CEUR Workshop Proceedings

ER -