SENSORIA All Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Subobject Transformation Systems @ARTICLE{CHS-STS, title = {{Subobject Transformation Systems}}, author = {{Andrea} {Corradini} and {Frank} {Hermann} and {Pawel} {Sobocinski}}, journal = {Applied Categorical Structures}, pages = {389--419}, abstract = {Subobject transformation systems (STS) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pushout (DPO) approach. They can be considered as a simplified variant of DPO rewriting, acting in the distributive lattice of subobjects of a given object of an adhesive category. This setting allows for a direct analysis of all possible notions of causality between any two productions without requiring an explicit match. In particular several equivalent characterizations of independence of productions are proposed, as well as a local Church-Rosser theorem in the setting of STS. Finally, we show how any derivation tree in an ordinary DPO grammar leads to an STS via a process-like construction and show that relational reasoning in the resulting STS is sound and complete with respect to the independence in the original derivation tree}, volume = {16}, number = {3}, year = {2008}, partner = {PISA}, status = {private}, task = {T3.3}, }
|