Communicating sequential processes
Communicating sequential processes
An algebraic framework for the transformation of attributed graphs
Term graph rewriting
Hypergraph rewriting: critical pairs and undecidability of confluence
Term graph rewriting
Fundamenta Informaticae - Special issue on graph transformations
Handbook of graph grammars and computing by graph transformation
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
Proceedings of the 24th International Conference on Software Engineering
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
A framework for modeling and implementing visual notations with applications to software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Visual language implementation through standard compiler-compiler techniques
Journal of Visual Languages and Computing
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Attributed graph transformation with node type inheritance
Theoretical Computer Science
Towards Testing the Implementation of Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Visual Languages and Computing
Enforced generative patterns for the specification of the syntax and semantics of visual languages
Journal of Visual Languages and Computing
MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation
Models in Software Engineering
Analysing Graph Transformation Rules through OCL
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automated Merging of Feature Models Using Graph Transformations
Generative and Transformational Techniques in Software Engineering II
Using Graph Transformation to Support Collaborative Ontology Evolution
Applications of Graph Transformations with Industrial Relevance
Compositionality of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
Confluence in Domain-Independent Product Line Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Dependent and Conflicting Change Operations of Process Models
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A Collection Operator for Graph Transformation
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
CSP(M): Constraint Satisfaction Problem over Models
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Formal Approach to Service Specification and Matching based on Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Attributed Graphs in Groove
Electronic Notes in Theoretical Computer Science (ENTCS)
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Model Transformation in Generated Eclipse Editor Plug-Ins
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying a Model Transformation Taxonomy to Graph Transformation Technology
Electronic Notes in Theoretical Computer Science (ENTCS)
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
Translating model simulators to analysis models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Matrix Graph Grammars with Application Conditions
Fundamenta Informaticae
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance
Software and Systems Modeling (SoSyM)
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Science of Computer Programming
From sequence diagrams to state machines by graph transformation
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Extended triple graph grammars with efficient and compatible graph translators
Graph transformations and model-driven engineering
A framework for evolution of modelling languages
Science of Computer Programming
Using multiple feature models to design applications for mobile phones
Proceedings of the 15th International Software Product Line Conference, Volume 2
Using domain features to handle feature interactions
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Graph transformation with variables
Formal Methods in Software and Systems Modeling
Specifying and verifying UML activity diagrams via graph transformation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Matrix approach to graph transformation: matching and sequences
ICGT'06 Proceedings of the Third international conference on Graph Transformations
On the use of graph transformations for model refactoring
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Confluence of graph transformation revisited
Processes, Terms and Cycles
Algebraic specification of a model transformation engine
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Combining graph transformation and algebraic specification into model transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
A model-driven framework for guided design space exploration
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Search-based model transformation by example
Software and Systems Modeling (SoSyM)
Change-driven model transformations
Software and Systems Modeling (SoSyM)
Dynamic constraint satisfaction problems over models
Software and Systems Modeling (SoSyM)
A commutative model composition operator to support software adaptation
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
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
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Model composition in product lines and feature interaction detection using critical pair analysis
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
A general model description for discrete processes
Proceedings of the Winter Simulation Conference
Towards a model transformation intent catalog
Proceedings of the First Workshop on the Analysis of Model Transformations
A collection operator for graph transformation
Software and Systems Modeling (SoSyM)
Verification of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
On the concurrent execution of model transformations with Linda
Proceedings of the Workshop on Scalability in Model Driven Engineering
"Adore", a logical meta-model supporting business process evolution
Science of Computer Programming
A graph-based generic type system for object-oriented programs
Frontiers of Computer Science: Selected Publications from Chinese Universities
Confluence of aspects for sequence diagrams
Software and Systems Modeling (SoSyM)
A transformation-based approach to context-aware modelling
Software and Systems Modeling (SoSyM)
Web-GIS models: accomplishing modularity with aspects
Innovations in Systems and Software Engineering
Hi-index | 0.00 |
The issue of confluence is of major importance for the successful application of attributed graph transformation, such as automated translation of UML models into semantic domains. Whereas termination is undecidable in general and must be established by carefully designing the rules, local confluence can be shown for term rewriting and graph rewriting using the concept of critical pairs. In this paper, we discuss typed attributed graph transformation using a new simplified notion of attribution. For this kind of attributed graph transformation systems we establish a definition of critical pairs and prove a critical pair lemma, stating that local confluence follows from confluence of all critical pairs.