Horizontal transformations for models reuse and tool chaining

Nowadays industrial software development faces an increasing system complexity together with thenecessity to significantly decrease costs and time of the development process and to release at thesame time high-quality products. As a consequence, they typically adopt a constellation of proprietarytools each of which dealing with particular stages of the overall development process, namely design,testing, and deployment to mention a few. Model-Driven Engineering techniques are gaining a growinginterest as an efficient approach to tackle the current software intricacy. However, the use of amultitude of proprietary tools requires the redundant specification of characteristics of the system andhampers their chaining.This thesis work is founded on the necessity to provide a horizontal transformation between conceptsdefined into Executable and Translatable UML (xtUML) models, and semantically-equivalent conceptsdefined into Rational Software Architect (RSA), through a pivot profile developed onto the Papyrusplatform. The proposed profile is defined according to Foundational Subset for Executable UML Models(fUML), an Object Management Group’s (OMG) standard that provides a virtual machine for modelexecution aims. Since the fUML restriction forces models to be defined slightly different to the UMLstandard, all necessary stratagems have been analyzed to provide a compliant pivot profile. Finally, a well-known case study is taken into consideration in order to evaluate the modeling choices adoptedduring the profile’s specification