We proceed with the study of termination properties in the double pushout approach to algebraic rewriting, and show a concrete termination criterion for rewriting systems with inhibitors. Inhibitors prevent elements in an algebra to participate in rule matches, so that termination depends only on whether new possibilities for matches are created. The notion of inhibitor can be extended to considering different levels of inhibition, by which the ability of an element to participate in a match is progressively reduced. We illustrate the approach by considering some application contexts in model transformation.
Termination of Algebraic Rewriting with Inhibitors / Bottoni, Paolo Gaspare; K., Hoffmann; PARISI PRESICCE, Francesco. - In: ELECTRONIC COMMUNICATIONS OF THE EASST. - ISSN 1863-2122. - ELETTRONICO. - 4:(2006). (Intervento presentato al convegno Workshop on Graph and Model Transformations 2006 tenutosi a Brighton nel September 2006).
Termination of Algebraic Rewriting with Inhibitors
BOTTONI, Paolo Gaspare;PARISI PRESICCE, Francesco
2006
Abstract
We proceed with the study of termination properties in the double pushout approach to algebraic rewriting, and show a concrete termination criterion for rewriting systems with inhibitors. Inhibitors prevent elements in an algebra to participate in rule matches, so that termination depends only on whether new possibilities for matches are created. The notion of inhibitor can be extended to considering different levels of inhibition, by which the ability of an element to participate in a match is progressively reduced. We illustrate the approach by considering some application contexts in model transformation.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.