In this paper we continue our work on the formalization and validation of UML models by means of graph transformation systems. We here concentrate on statechart and collaboration diagrams albeit our approach covers use case, class, object, and sequence diagrams as well. The statechart and collaboration diagrams describe the operations of the underlying class diagram and include OCL expressions as guards and parts of message expressions. We illustrate in detail the generation of graph transformation rules for the statechart and collaboration diagrams.
%0 Journal Article
%1 ziemann_05_coherently
%A Ziemann, Paul
%A Holscher, Karsten
%A Gogolla, Martin
%B Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004)
%D 2005
%J Electronic Notes in Theoretical Computer Science
%K semantics 2005 statecharts graph\_transformation ocl \_pdf uml
%P 263--280
%R http://dx.doi.org/10.1016/j.entcs.2005.03.014
%T Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
%U http://dx.doi.org/10.1016/j.entcs.2005.03.014
%V 130
%X In this paper we continue our work on the formalization and validation of UML models by means of graph transformation systems. We here concentrate on statechart and collaboration diagrams albeit our approach covers use case, class, object, and sequence diagrams as well. The statechart and collaboration diagrams describe the operations of the underlying class diagram and include OCL expressions as guards and parts of message expressions. We illustrate in detail the generation of graph transformation rules for the statechart and collaboration diagrams.
@article{ziemann_05_coherently,
abstract = {In this paper we continue our work on the formalization and validation of UML models by means of graph transformation systems. We here concentrate on statechart and collaboration diagrams albeit our approach covers use case, class, object, and sequence diagrams as well. The statechart and collaboration diagrams describe the operations of the underlying class diagram and include OCL expressions as guards and parts of message expressions. We illustrate in detail the generation of graph transformation rules for the statechart and collaboration diagrams.},
added-at = {2009-03-10T04:43:59.000+0100},
author = {Ziemann, Paul and Holscher, Karsten and Gogolla, Martin},
biburl = {https://www.bibsonomy.org/bibtex/20bf57aee0797f5ce91cb26d18d7335a4/leonardo},
booktitle = {Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004)},
citeulike-article-id = {1151106},
doi = {http://dx.doi.org/10.1016/j.entcs.2005.03.014},
interhash = {e9cd56122f25f0b50c75c6acda98aee6},
intrahash = {0bf57aee0797f5ce91cb26d18d7335a4},
journal = {Electronic Notes in Theoretical Computer Science},
keywords = {semantics 2005 statecharts graph\_transformation ocl \_pdf uml},
month = May,
pages = {263--280},
posted-at = {2007-03-09 12:22:41},
priority = {4},
timestamp = {2009-03-10T04:43:59.000+0100},
title = {Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations},
url = {http://dx.doi.org/10.1016/j.entcs.2005.03.014},
volume = 130,
year = 2005
}