https://www.mdu.se/

A need for powerful mechanisms capable to handle software systems complexity is becoming more evident in nowadays system development. One of the approaches used to deal with this increasing complexity is Model-Driven Engineering (MDE). Automated generation of code is an important goal of MDE that impacts different aspects in the whole development process. The process of generating code from models is feasible as result of the embedding of complex executable actions in models. Still the difference between programming and modeling language hampers the native code from being familiar to the concepts defined in the models.

Model-aware action languages are considered as the favorable way of dealing with the issue of specifying complex actions. The Action Language for Foundational UML (ALF) is an action language that represents a surface notation for defining executable actions within a UML model. Additionally it borrows portions of the Object Constraint Language (OCL) in order to provide better use and manipulation of collections of values.

The main goal of this thesis is providing a translation from the OCL concepts used in ALF to C++. The approach we are presenting covers the mapping of a subset of the OCL types and functions that are used in ALF to C++ types and functions, and its implementation as a C++ library. In order to evaluate the library, we implemented a model transformation prototype that translates OCL expressions (in ALF) to C++ and that makes use of the functions defined in the library.