Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts

DOI10.1007/978-3-540-87405-8_17zbMath1175.68231OpenAlexW1502748188MaRDI QIDQ3540403

Barbara König, Hartmut Ehrig, Paolo Baldan, Guilherme Rangel, Leen Lambers

Publication date: 20 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_17

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

On the Specification and Verification of Model Transformations ⋮ Unnamed Item ⋮ Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts

Cites Work

• Fundamentals of algebraic graph transformation
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
• Handbook of Graph Grammars and Computing by Graph Transformation
• Foundations of Software Science and Computation Structures
• Towards Verifying Model Transformations
• Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
• Bisimulation verification using the up to techniques

This page was built for publication: Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts