In this paper we present a concept of a rigorous approach that provides a formal semantics for a fundamental subset of UML. This semantics is derived by translating a given UML model into a graph transformation system, allowing modelers to actually execute their UML model. The graph transformation system comprises graph transformation rules and a working graph which represents the current state of the modeled system. In order to support UML models which use OCL, we introduce a specific graph transformation approach that incorporates full OCL in the common UML fashion. The considered UML subset is defined by means of a metamodel similar to the UML 1.5 metamodel. The concept of a system state that represents the state of the system at a specific point in time during execution is likewise introduced by means of a metamodel. The simulated system run is performed by applying graph transformation rules on the working graph. The approach has been implemented in a research prototype which allows the modeler to execute the specified model and to validate the basic aspects of the model in an early software development phase.
%0 Journal Article
%1 holscher_06_translating
%A Holscher, Karsten
%A Ziemann, Paul
%A Gogolla, Martin
%D 2006
%J Journal of Visual Languages & Computing
%K 2006 translation graph_transformation uml
%N 1
%P 78--105
%R 10.1016/j.jvlc.2005.11.001
%T On translating UML models into graph transformation systems
%U http://dx.doi.org/10.1016/j.jvlc.2005.11.001
%V 17
%X In this paper we present a concept of a rigorous approach that provides a formal semantics for a fundamental subset of UML. This semantics is derived by translating a given UML model into a graph transformation system, allowing modelers to actually execute their UML model. The graph transformation system comprises graph transformation rules and a working graph which represents the current state of the modeled system. In order to support UML models which use OCL, we introduce a specific graph transformation approach that incorporates full OCL in the common UML fashion. The considered UML subset is defined by means of a metamodel similar to the UML 1.5 metamodel. The concept of a system state that represents the state of the system at a specific point in time during execution is likewise introduced by means of a metamodel. The simulated system run is performed by applying graph transformation rules on the working graph. The approach has been implemented in a research prototype which allows the modeler to execute the specified model and to validate the basic aspects of the model in an early software development phase.
@article{holscher_06_translating,
abstract = {In this paper we present a concept of a rigorous approach that provides a formal semantics for a fundamental subset of UML. This semantics is derived by translating a given UML model into a graph transformation system, allowing modelers to actually execute their UML model. The graph transformation system comprises graph transformation rules and a working graph which represents the current state of the modeled system. In order to support UML models which use OCL, we introduce a specific graph transformation approach that incorporates full OCL in the common UML fashion. The considered UML subset is defined by means of a metamodel similar to the UML 1.5 metamodel. The concept of a system state that represents the state of the system at a specific point in time during execution is likewise introduced by means of a metamodel. The simulated system run is performed by applying graph transformation rules on the working graph. The approach has been implemented in a research prototype which allows the modeler to execute the specified model and to validate the basic aspects of the model in an early software development phase.},
added-at = {2009-02-11T20:57:14.000+0100},
author = {Holscher, Karsten and Ziemann, Paul and Gogolla, Martin},
biburl = {https://www.bibsonomy.org/bibtex/21cb730759f6b09af1ab93c3d8e47d84f/leonardo},
citeulike-article-id = {1236044},
doi = {10.1016/j.jvlc.2005.11.001},
interhash = {4859a4849399906ff8b317cad6f62c1d},
intrahash = {1cb730759f6b09af1ab93c3d8e47d84f},
journal = {Journal of Visual Languages \& Computing},
keywords = {2006 translation graph_transformation uml},
month = {February},
number = 1,
pages = {78--105},
posted-at = {2007-04-19 04:16:12},
priority = {3},
timestamp = {2009-02-11T20:57:14.000+0100},
title = {On translating UML models into graph transformation systems},
url = {http://dx.doi.org/10.1016/j.jvlc.2005.11.001},
volume = 17,
year = 2006
}