Subobject transformation systems
Subobject Transformation Systems (STS) are presented as a new formal framework for the analysis of derivations of transformation systems based on the algebraic double-pushout (DPO). In the third section of their paper, the authors use them in order to identify some possible relations among rules. These are used to define other derived relations which are shown to coincide with those introduced in the literature for STS arising as processes of DPO rewriting systems. An interesting and useful auxiliary graphical ``Venn-diagram like notation for reasoning about dependency relations is presented, as well as the notion of region which is, roughly, a complement of a subobject. The basic theory of regions allows the authors to prove that reasoning with the aid of the Venn-diagrams is sound. Conditions are discussed under which two productions of an STS have to be considered as independent; several equivalent ways to characterize this relation are given. A colimit construction is also presented that builds an STS from a given derivation tree of a DPO system, generalizing the construction of the process of a linear derivation proposed in the literature. Finally, the authors prove that the analysis of the relationships among rule occurrences in the derivation tree can be reduced faithfully to the analysis of such relationships in the generated STS.
- Transformation systems with incremental negative application conditions
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
- scientific article; zbMATH DE number 139800
- Parallel and distributed derivations in the single-pushout approach
- Well-structured graph transformation systems
- Adhesive and quasiadhesive categories
- Foundations of Software Science and Computation Structures
- Fundamentals of algebraic graph transformation
- General reversibility
- Graph Transformations
- Handbook of Graph Grammars and Computing by Graph Transformation
- Higher categories, strings, cubes and simplex equations
- scientific article; zbMATH DE number 919845 (Why is no real title available?)
- scientific article; zbMATH DE number 919847 (Why is no real title available?)
- Petri nets are monoids
- Sesqui-Pushout Rewriting
- The geometry of tensor calculus. I
- The non-sequential behaviour of Petri nets
- A categorial approach to reaction systems: first steps
- Transformations of reaction systems over categories by means of epi-mono factorization and functors
- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions
- Graph surfing in reaction systems from a categorial perspective
- Processes and unfoldings: concurrent computations in adhesive categories
- Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions
This page was built for publication: Subobject transformation systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q934672)
