Work

Using OCL for verified re-engineering

Year: 2024

Type: conference-paper

Abstract: Since 2021 we have been using UML and OCL to represent the semantics of software systems undergoing re-engineering, to facilitate translation of legacy systems to functionally-equivalent versions in a new platform or software language. In this paper we assess the lessons learnt from this approach, particularly as regards the appropriateness of OCL to represent software semantics. We identify areas where natural extensions of OCL would be useful to represent program semantics, and indicate how these extensions can be incorporated into the OCL standard.

Source: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)

DOI: 10.1145/3652620.3687824

Authors: Kevin Lano, Hanan Siala

Institution: King's College London

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W4403935740

FWCI: 0.874

Cites: 7

Cited by: 3

Related to: 10