Abstract
Sesqui-pushout (SqPO) rewriting—“sesqui” means “one and a half” in Latin—is a new algebraic approach to abstract rewriting in any category. SqPO rewriting is a deterministic and conservative extension of double-pushout (dpo) rewriting, which allows to model “deletion in unknown context”, a typical feature of single-pushout (spo) rewriting, as well as cloning.
After illustrating the expressiveness of the proposed approach through a case study modelling an access control system, we discuss sufficient conditions for the existence of final pullback complements and we analyze the relationship between SqPO and the classical dpo and spo approaches.
After illustrating the expressiveness of the proposed approach through a case study modelling an access control system, we discuss sufficient conditions for the existence of final pullback complements and we analyze the relationship between SqPO and the classical dpo and spo approaches.
| Original language | English |
|---|---|
| Title of host publication | Graph Transformations |
| Subtitle of host publication | Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings |
| Publisher | Springer |
| Pages | 30-45 |
| Number of pages | 16 |
| Volume | 4718 |
| ISBN (Electronic) | 978-3-540-38872-2 |
| ISBN (Print) | 978-3-540-38870-8 |
| DOIs | |
| Publication status | Published - 2006 |