Defining and validating transformations of UML models

With the success of the UML, the ability of transforming models into programs or formal specifications becomes a key to automated code generation or verification in the software development process. In this paper, we describe a concept for specifying model transformations by means of graph transform...

Full description

Saved in:
Bibliographic Details
Main Authors: Kuster, J.M., Heckel, R., Engels, G.
Format: Conference Proceeding
Language:English
Subjects:
Computer science
Context modeling
Formal languages
Formal specifications
Logic
Mathematical model
Mathematics
Programming
Software engineering
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:With the success of the UML, the ability of transforming models into programs or formal specifications becomes a key to automated code generation or verification in the software development process. In this paper, we describe a concept for specifying model transformations by means of graph transformation rules on the UML meta model. In order to validate the termination and uniqueness of such transformations, we derive a number of sufficient criteria from basic results of the theory of graph transformation. This ensures that the rules can be executed automatically while, at the same time, providing a high-level visual model of the transformation.
DOI:10.1109/HCC.2003.1260218