Towards a Step Semantics for Story-Driven Modelling
Paper i proceeding, 2016

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.

diagrams

operational semantics

Författare

Geza Kulcsar

Technische Universität Darmstadt

Anthony Anjorin

Chalmers, Data- och informationsteknik, Software Engineering

Electronic Proceedings in Theoretical Computer Science, EPTCS

20752180 (ISSN)

Vol. 231 42-56

2nd Graphs as Models Workshop, GaM 2016
Eindhoven, Germany,

Ämneskategorier

Data- och informationsvetenskap

DOI

10.4204/EPTCS.231.4

Mer information

Senast uppdaterat

2023-09-07