SecureMDD: Transformation of a UML application model to executable code

Nina Moebius, Marian Borek, Kurt Stenzel, Wolfgang Reif

The SecureMDD project provides a software engineering approach to develop secure smart card applications. The approach is model-driven and integrates formal verification to guarantee the security of the application under development. Furthermore, based on a platform-independent UML model of the application under development, the approach is able to generate executable source code for the smart cards and terminals of the application. The whole approach is fully supported by tools and all model-to-model as well as model-to-text transformations are fully implemented. This paper contains the implementation of the transformations that generate executable source code out of a platform-independent UML model of an application.
published 2012 Technical Report 2012-11

Publisher: Technical Report 2012-11, Institute of Computer Science, University of Augsburg