Sesqui-Pushout Rewriting
Sesqui-Pushout Rewriting
复制标题
Sesqui-Pushout 重写
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
B. König
中科院分区：
文献类型：
--
作者：
A. Corradini;T. Heindel;F. Hermann;B. König
Sesqui-Push Out(SqPO)重写--Sesqui在拉丁语中的意思是1.5--是在任何范畴中抽象重写的一种新的代数方法。SqPO重写是双推(DPO)重写的确定性和保守性扩展，它允许在未知上下文中模拟删除，这是单推(SPO)重写和克隆的典型特征。通过一个访问控制系统的建模实例说明了该方法的表达能力，讨论了存在最终拉回补的充分条件，并分析了SqPO与经典的DPO和SPO方法之间的关系。
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.