OCL libraries for software specification and representation

Kevin Charles Lano, Shekoufeh Rahimi, Kunxiang Jin

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


The OCL 2.4 standard library has a relatively small set of operations for primitive types, and no facilities for common software aspects such as processes and files. In this paper we identify requirements for extended library facilities, based on examination of related spec- ification languages, and on consideration of the need to represent program semantics for software migration. We outline possible libraries and provide example implementations.
Original languageEnglish
Title of host publicationroceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
Number of pages5
Publication statusPublished - 23 Oct 2022

Publication series


Cite this