Towards Automatic Translation of UML Models into Semantic Domains (2002)
| Venue: | Proc. of APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002 |
| Citations: | 25 - 9 self |
BibTeX
@INPROCEEDINGS{Heckel02towardsautomatic,
author = {Reiko Heckel and Jochen Küster and Gabriele Taentzer},
title = {Towards Automatic Translation of UML Models into Semantic Domains},
booktitle = {Proc. of APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002},
year = {2002},
pages = {11--22}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The use of UML for software speci cation leads usually to lots of diagrams showing dierent aspects and components of the software system in several views. In order to support a view-oriented approach to system modeling, consistency in views and in between views has to be manageable. It is a reasonable approach to consistency management when rst choosing a suitable semantic domain, provide a partial mapping into this domain, and specify as well as verify consistency constraints formulated in that domain. Annotated meta model rules can be used to translate elements of UML models into the semantic domain chosen. In this contribution, we consider triple graph grammars and attributed graph transformation approaches for the precise de nition of meta model rules and outline the tool support for automatic translation.
