TY - CHAP
T1 - OCL libraries for software specification and representation
AU - Lano, K.
AU - Kolahdouz-Rahimi, S.
AU - Jin, K.
N1 - Publisher Copyright:
© 2022 ACM.
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 specification 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 specification languages, and on consideration of the need to represent program semantics for software migration. We outline possible libraries and provide example implementations.
UR - http://www.scopus.com/inward/record.url?scp=85142931691&partnerID=8YFLogxK
U2 - 10.1145/3550356.3561565
DO - 10.1145/3550356.3561565
M3 - Conference paper
AN - SCOPUS:85142931691
T3 - Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings
SP - 894
EP - 898
BT - Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
PB - Association for Computing Machinery, Inc
T2 - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
Y2 - 23 October 2022 through 28 October 2022
ER -