Abstract | ||
---|---|---|
Transactional graph transformation systems (t-gtss) have been recently proposed as a mild extension of the standard dpo approach to graph transformation, equipping it with a suitable notion of atomic execution for computations. A typing mechanism induces a distinction between stable and unstable items, and a transaction is defined as a shift-equivalence class of computations such that the starting and ending states are stable and all the intermediate states are unstable. The paper introduces an equivalent, yet more manageable definition of transaction based on graph processes. This presentation is used to pro- vide a universal characterisation for the class of transactions of a given t-gts. More specifically, we show that the functor mapping a t-gts to a graph transformation system having as productions exactly the trans- actions of the original t-gts is the right adjoint to an inclusion functor. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11841883_15 | Graph Grammars Workshops |
Keywords | Field | DocType |
graph processes,transactions,refinement,atomic execution,intermediate state,inclusion functor,graph process,shift-equivalence class,original t-gts,graph transformation system,unstable item,zero-safe nets.,transactional graph transformation system,graph transaction,graph transformation | Graph algebra,Discrete mathematics,Graph property,Computer science,Directed graph,Null graph,Graph rewriting,Lattice graph,Graph (abstract data type),Voltage graph | Conference |
Volume | ISSN | ISBN |
4178 | 0302-9743 | 3-540-38870-2 |
Citations | PageRank | References |
2 | 0.39 | 10 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paolo Baldan | 1 | 696 | 51.95 |
Andrea Corradini | 2 | 1108 | 90.63 |
Luciana Foss | 3 | 94 | 14.44 |
Fabio Gadducci | 4 | 772 | 62.94 |