Software Reuse in Modeling Language Engineering using Structural and Behavioural Model Subtyping with OCL Constraints


Low-code and no-code software development epitomize current approaches to reuse-based software engineering, where software systems are designed using domain-specific languages (DSLs) so that they can be readily deployed on the cloud as a service, with little or no traditional coding required. However, the engineering of low-code software development platforms themselves is a complex task and verifying that they are built correctly is a challenge.
In model-driven engineering, such DSLs are engineered using abstract graphs, possibly enriched with constraints, that denote model types, and model transformation to represent their behavioural semantics, either operational or translational. In this talk, I will present the use of model subtyping with OCL constraints for facilitating verifiable software reuse when engineering DSLs, and I will illustrate the technique with different use cases.

Friday, February 25, 2022 15:00 Europe/Paris
GReTA seminar
Zoom registration: click here! Please consider joining the meeting already within the 15min prior to the start of the seminar to ensure your setup is functioning properly. You may connect with either the Zoom web or Zoom desktop clients.

Please note that the meeting will be recorded and live-streamed to YouTube:

Artur Boronat
Artur Boronat

Artur is a lecturer at the School of Computing and Mathematical Sciences of the University of Leicester (UK). His research interests revolve around: agile software development for the cloud using JVM technology and applications in healthcare and industry 4.0; design and implementation of DSLs using model-driven software development and type theory; application of AI and formal methods in the intersection of the two areas above. For more information about him, go to: