Towards a Step Semantics for Story-Driven Modelling

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 dialec...

Full description

Bibliographic Details
Main Authors: Géza Kulcsár, Anthony Anjorin
Format: Article
Language:English
Published: Open Publishing Association 2016-12-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1612.01640v1