Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014): Difference between revisions

Revision as of 04:44, 5 July 2024

scientific article

Language	Label	Description	Also known as
English	Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs	scientific article

Statements

instance of

scholarly article

0 references

title

Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (English)

0 references

0 references

0 references

0 references

0 references

Theoretical Computer Science

0 references

publication date

14 May 2012

0 references

zbMATH Keywords

typed attributed graph transformation

0 references

critical pair analysis

0 references

inheritance

0 references

\(M\)-adhesive category with NACs

0 references

describes a project that uses

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.tcs.2012.01.032

0 references

cites work

Handbook of Graph Grammars and Computing by Graph Transformation

0 references

Handbook of Graph Grammars and Computing by Graph Transformation

0 references

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams

0 references

Q4438797

0 references

Fundamentals of algebraic graph transformation

0 references

Attributed graph transformation with node type inheritance

0 references

Defining Object-Oriented Execution Semantics Using Graph Transformations

0 references

Graph Transformations

0 references

Formal Verification of Object-Oriented Graph Grammars Specifications

0 references

Q3907081

0 references

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars

0 references

Fundamental Approaches to Software Engineering

0 references

Partial confluence of processes and systems of objects

0 references

Q5581665

0 references

Processes, Terms and Cycles: Steps on the Road to Infinity

0 references

Conflict Detection for Graph Transformation with Negative Application Conditions

0 references

Embedding and Confluence of Graph Transformations with Negative Application Conditions

0 references

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions

0 references

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

0 references

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs

0 references

Formal Methods in Software and Systems Modeling

0 references

Local Confluence for Rules with Nested Application Conditions

0 references

Identifiers

zbMATH Open document ID

1284.68324

0 references

DOI

10.1016/j.tcs.2012.01.032

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:418014

@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams
+Normal rank
@@ Property / cites work @@
+Q4438797
@@ Property / cites work: Q4438797 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Attributed graph transformation with node type inheritance
+Normal rank
@@ Property / cites work @@
+Defining Object-Oriented Execution Semantics Using Graph Transformations
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification of Object-Oriented Graph Grammars Specifications
+Normal rank
@@ Property / cites work @@
+Q3907081
@@ Property / cites work: Q3907081 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Partial confluence of processes and systems of objects
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Conflict Detection for Graph Transformation with Negative Application Conditions
+Normal rank
@@ Property / cites work @@
+Embedding and Confluence of Graph Transformations with Negative Application Conditions
+Normal rank
@@ Property / cites work @@
+Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
+Normal rank
@@ Property / cites work @@
+Formal Methods in Software and Systems Modeling
@@ Property / cites work: Formal Methods in Software and Systems Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Local Confluence for Rules with Nested Application Conditions
+Normal rank