Graph Transactions as Processes

• Published in: Graph Transformations pp. 199 - 214
• Main Authors: Baldan, Paolo, Corradini, Andrea, Foss, Luciana, Gadducci, Fabio
• Format: Book Chapter Conference Proceeding
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2006; Springer
• Series: Lecture Notes in Computer Science
• Subjects: Applied sciences; Combinatorics; Combinatorics. Ordered structures; Computer science; control theory; systems; Exact sciences and technology; Graph processes; Graph theory; Information retrieval. Graph; Mathematics; refinement; Sciences and techniques of general use; Theoretical computing; transactions; zero-safe nets; Production system; Type theory; Equivalence classes; Typing; Transaction processing; Graph transformation
• ISBN: 9783540388708; 3540388702
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/11841883_15

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 provide 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 transactions of the original t-gts is the right adjoint to an inclusion functor.