External report (Reports)
Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems: Long Version
HERMANN, Frank
2009
 

Files


Full Text
tr-2009-10.pdf
Publisher postprint (700.21 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] 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 for subobject transformation systems which have been introduced recently.
Disciplines :
Computer science
Author, co-author :
HERMANN, Frank ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Language :
English
Title :
Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems: Long Version
Publication date :
2009
Publisher :
TU Berlin, Fak. IV
ISBN/EAN :
ISSN 1436-9915
Report number :
2009/10
Available on ORBilu :
since 05 September 2013

Statistics


Number of views
79 (2 by Unilu)
Number of downloads
169 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu