SecureMDD: Transformation of a UML application model to executable code

  • 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.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Nina MoebiusGND, Marian Borek, Kurt StenzelGND, Wolfgang ReifGND
URN:urn:nbn:de:bvb:384-opus4-21135
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/2113
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2012-11)
Type:Report
Language:English
Publishing Institution:Universität Augsburg
Release Date:2012/11/09
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):License LogoDeutsches Urheberrecht