Compositionality of Rewriting Rules with Conditions-Reference-Cited by-同舟云学术

Compositionality of Rewriting Rules with Conditions

Published:2021-04-22 Issue: Volume:3 Page:2
ISSN:2631-4444
Container-title:Compositionality
language:en
Short-container-title:Compositionality

Author:

Behr Nicolas¹^ORCID,Krivine Jean¹^ORCID

Affiliation:

1. Université de Paris, CNRS, IRIF, F-75205, Paris, France

Abstract

We extend the notion of compositional associative rewriting as recently studied in the rule algebra framework literature to the setting of rewriting rules with conditions. Our methodology is category-theoretical in nature, where the definition of rule composition operations encodes the non-deterministic sequential concurrent application of rules in Double-Pushout (DPO) and Sesqui-Pushout (SqPO) rewriting with application conditions based upon M-adhesive categories. We uncover an intricate interplay between the category-theoretical concepts of conditions on rules and morphisms, the compositionality and compatibility of certain shift and transport constructions for conditions, and thirdly the property of associativity of the composition of rules.

Publisher

Compositionality

Subject

General Medicine

Link

https://compositionality-journal.org/papers/compositionality-3-2/pdf/

Reference64 articles.

1. Wassim Abou-Jaoudé, Denis Thieffry, and Jérôme Feret. Formal derivation of qualitative dynamical models from biochemical networks. Biosystems, 149: 70-112, 2016. https://doi.org/10.1016/j.biosystems.2016.09.001.

2. Jiří Adámek, Horst Herrlich, and George Strecker. Abstract and concrete categories, 1990.

3. Jakob L. Andersen, Christoph Flamm, Daniel Merkle, and Peter F. Stadler. A Software Package for Chemically Inspired Graph Transformation. In R. Echahed and M. Minas, editors, Graph Transformation (ICGT 2016), volume 9761 of Lecture Notes in Computer Science,, pages 73-88, Cham, 2016. Springer International Publishing. https://doi.org/10.1007/978-3-319-40530-8_5.

4. Jakob L. Andersen, Christoph Flamm, Daniel Merkle, and Peter F. Stadler. Chemical Transformation Motifs - Modelling Pathways as Integer Hyperflows. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 16 (2): 510-523, 2019. https://doi.org/10.1109/tcbb.2017.2781724.

5. Jakob Lykke Andersen, Rolf Fagerberg, Christoph Flamm, Rojin Kianian, Daniel Merkle, and Peter F Stadler. Towards mechanistic prediction of mass spectra using graph transformation. MATCH Commun. Math. Comput. Chem., 80: 705-731, 2018a.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types;International Journal of Theoretical Physics;2024-03-28

2. Fundamentals of compositional rewriting theory;Journal of Logical and Algebraic Methods in Programming;2023-10

3. Advanced Consistency Restoration with Higher-Order Short-Cut Rules;Graph Transformation;2023

4. Tracelet Hopf Algebras and Decomposition Spaces (Extended Abstract);Electronic Proceedings in Theoretical Computer Science;2022-11-03

5. Homotopies in Multiway (Nondeterministic) Rewriting Systems as n-Fold Categories;Complex Systems;2022-10-15