by Matthias Tichy, Matthias Meyer, Holger Giese
Abstract:
Story Diagrams provided by Fujaba are a powerful visual formalism for the specification of structural transformations. Their visual appearance is based on UML activity and UML collaboration diagrams. The semantics draws on graph transformation systems and therefore has a solid foundation. However, as reported in this paper, there are several subtle problems with the semantics and the code generation of Story Diagrams. These problems have been discovered during our efforts to make Story Diagrams applicable for embedded real-time systems and to verify Story Diagrams. We will outline a selection of identified semantic problems in this position paper and will discuss several possible solutions we see which seem more appropriate than the present solution.
Reference:
On Semantic Issues in Story Diagrams (Matthias Tichy, Matthias Meyer, Holger Giese), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, 2006.
Bibtex Entry:
@InProceedings{Tichy+2006,
AUTHOR = {Tichy, Matthias and Meyer, Matthias and Giese, Holger},
TITLE = {{On Semantic Issues in Story Diagrams}},
YEAR = {2006},
BOOKTITLE = {Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany},
VOLUME = {tr-ri-06-275},
PAGES = {10--14},
EDITOR = {Giese, Holger and Westfechtel, Bernhard},
SERIES = {Technical Report},
PUBLISHER = {University of Paderborn},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2006/FDays2006_TMG.pdf},
PDF = {uploads/pdf/fdays2006_tmg.pdf},
OPTacc_pdf = {},
ABSTRACT = {Story Diagrams provided by Fujaba are a powerful visual formalism for the specification of structural transformations. Their visual appearance is based on UML activity and UML collaboration diagrams. The semantics draws on graph transformation systems and therefore has a solid foundation. However, as reported in this paper, there are several subtle problems with the semantics and the code generation of Story Diagrams. These problems have been discovered during our efforts to make Story Diagrams applicable for embedded real-time systems and to verify Story Diagrams. We will outline a selection of identified semantic problems in this position paper and will discuss several possible solutions we see which seem more appropriate than the present solution.}
}