Towards a Step Semantics for Story-Driven Modelling

Géza Kulcsár
(TU Darmstadt, Germany)
Anthony Anjorin
(University of Paderborn, Germany)

Graph Transformation (GraTra) provides a formal, declarative means of specifying model transformation. In practice, GraTra rule applications are often programmed via an additional language with which the order of rule applications can be suitably controlled.

Story-Driven Modelling (SDM) is a dialect of programmed GraTra, originally developed as part of the Fujaba CASE tool suite. Using an intuitive, UML-inspired visual syntax, SDM provides usual imperative control flow constructs such as sequences, conditionals and loops that are fairly simple, but whose interaction with individual GraTra rules is nonetheless non-trivial. In this paper, we present the first results of our ongoing work towards providing a formal step semantics for SDM, which focuses on the execution of an SDM specification.

In Alexander Heußner, Aleks Kissinger and Anton Wijs: Proceedings Second Graphs as Models Workshop (GaM 2016), Eindhoven, The Netherlands, April 2-3, 2016, Electronic Proceedings in Theoretical Computer Science 231, pp. 42–56.
Published: 4th December 2016.

ArXived at: https://dx.doi.org/10.4204/EPTCS.231.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org