![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Sesqui-Pushout Rewriting
Sesqui-pushout (SqPO) rewriting—“sesqui” means “one and a half” in Latin—is a new algebraic approach to abstract rewriting in any category. SqPO rewriting is a deterministic and conservat...
-
Chapter and Conference Paper
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?
This keynote paper presents results coming out of an ongoing research project between Credit Suisse Luxembourg and the University of Luxembourg. It presents an approach that shows good potential to address sec...
-
Chapter and Conference Paper
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already crucial properties of model transformations ...
-
Chapter and Conference Paper
Parallelism and Concurrency of Stochastic Graph Transformations
Graph transformation systems (GTS) have been proposed for high-level stochastic modelling of dynamic systems and networks. The resulting systems can be described as semi-Markov processes with graphs as states ...