OCL libraries for software specification and representation

Kevin Charles Lano; Shekoufeh Rahimi; Kunxiang  Jin

OCL libraries for software specification and representation

Kevin Charles Lano, Shekoufeh Rahimi, Kunxiang Jin

Centre for Research in Arts and Creative Exchange

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

Abstract

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

Publication series

Name	MODELS

Cite this

@inproceedings{ae3f36277bbc40b0bf9148bb76a23719,

title = "OCL libraries for software specification and representation",

abstract = "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.",

author = "Lano, {Kevin Charles} and Shekoufeh Rahimi and Kunxiang Jin",

year = "2022",

month = oct,

day = "23",

language = "English",

series = "MODELS",

pages = "894--898",

booktitle = "roceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings",

}

OCL libraries for software specification and representation. / Lano, Kevin Charles; Rahimi, Shekoufeh; Jin, Kunxiang .
roceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 2022. p. 894-898 (MODELS).

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

TY - GEN

T1 - OCL libraries for software specification and representation

AU - Lano, Kevin Charles

AU - Rahimi, Shekoufeh

AU - Jin, Kunxiang

PY - 2022/10/23

Y1 - 2022/10/23

N2 - 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.

AB - 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.

M3 - Conference contribution

T3 - MODELS

SP - 894

EP - 898

BT - roceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

ER -