Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
A categorical framework for the transformation of object-oriented systems: Models and data
Journal of Symbolic Computation
Performance analysis of maintaining mobile-based social network models
WSEAS Transactions on Computers
QoS contract-aware reconfiguration of component architectures using e-graphs
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Hi-index | 0.00 |
This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems. The book develops typed attributed graph transformation and contains a practical case study.