Eingang zum Volltext in OPUS

Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-31239
URL: http://opus.kobv.de/tuberlin/volltexte/2011/3123/

Hermann, Frank

Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems

pdf-Format:
Dokument 1.pdf (529 KB)
Print-on-Demand:

Kurzfassung auf Englisch

Switch equivalence for transformation systems has been successfully used in many domains for the analysis of concurrent behaviour. When using graph transformation as modelling framework for these systems, the concept of negative application conditions (NACs) is widely used – in particular for the specification of operational semantics. In this paper we show that switch equivalence can be improved essentially for the analysis of systems with NACs by our new concept of permutation equivalence.
Two derivations respecting all NACs are called permutation-equivalent, if they are switch-equivalent disregarding the NACs. In fact, there are permutation-equivalent derivations which are not switch-equivalent with NACs. As main result of the paper, we solve the following problem: Given a derivation with NACs, we can efficiently derive all permutation-equivalent derivations to the given one by static analysis. The results are based on extended techniques

Freie Schlagwörter (Englisch): Graph Transformation , Adhesive Categories , Subobject Transformation Systems , Negative Application Conditions , Process Analysis
Collection: TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 16 (2009): International Conference on Graph Transformation 2008 - Doctoral Symposium
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Bandnummer: 16/05
ISBN/ISSN: 1863-2122
Quelle: http://journal.ub.tu-berlin.de/eceasst/article/view/251
Sprache: Englisch
Erstellungsjahr: 2009
Publikationsdatum: 10.08.2011
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja