An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
| Citations: | 2 - 1 self |
BibTeX
@MISC{Corradini_analgebra,
author = {Andrea Corradini and Martin Große-Rhode and Reiko Heckel},
title = {An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Graph transformation systems have been introduced for the formal specication of software systems. States are thereby modeled as graphs, and computations as graph derivations according to the rules of the specication. Operations on graph derivations provide means to reason about the distribution and composition of computations. In this paper we discuss the development of an algebra of graph derivations as a descriptive model of graph transformation systems. For that purpose we use a categorical three level approach for the construction of models of computations based on structured transition systems. Categorically the algebra of graph derivations can then be characterized as a free double category with nite horizontal colimits.
