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.
|Title of host publication||roceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings|
|Number of pages||5|
|Publication status||Published - 23 Oct 2022|