Hypergraph rewriting: critical pairs and undecidability of confluence
Term graph rewriting
Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Proceedings of the 24th International Conference on Software Engineering
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
Graph-based specification of access control policies
Journal of Computer and System Sciences
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Efficient Detection of Conflicts in Graph-based Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Confluence of graph transformation revisited
Processes, Terms and Cycles
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Embedding and Confluence of Graph Transformations with Negative Application Conditions
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Collection Operator for Graph Transformation
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Verification of model transformations: a case study with BPEL
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
From sequence diagrams to state machines by graph transformation
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Local confluence for rules with nested application conditions
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Conflicts as first-class entities: a UML profile for model versioning
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
An introduction to model versioning
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Model-based testing of service infrastructure components
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
A collection operator for graph transformation
Software and Systems Modeling (SoSyM)
Confluence of aspects for sequence diagrams
Software and Systems Modeling (SoSyM)
Domain-specific discrete event modelling and simulation using graph transformation
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
This paper introduces a new theory needed for the purpose of conflict detection for graph transformation with negative application conditions (NACs). Main results are the formulation of a conflict notion for graph transformation with NACs and a conflict characterization derived from it. A critical pair definition is introduced and completeness of the set of all critical pairs is shown. This means that for each conflict, occuring in a graph transformation system with NACs, there exists a critical pair expressing the same conflict in a minimal context. Moreover a necessary and sufficient condition is presented for parallel independence of graph transformation systems with NACs. In order to facilitate the implementation of the critical pair construction for a graph transformation system with NACs a correct construction is formulated. Finally, it is discussed how to continue with the development of conflict detection and analysis techniques in the near future.