Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts

DOI10.1007/978-3-540-87405-8_17zbMATH Open1175.68231OpenAlexW1502748188MaRDI QIDQ3540403FDOQ3540403

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

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

Recommendations

• scientific article; zbMATH DE number 2016082
• Towards automatic verification of behavior preservation for model transformation via invariant checking
• scientific article; zbMATH DE number 2006484
• Consistency-preserving refactoring of refinement structures in Event-B models
• Graph Transformations

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• Graph Transformations
• Title not available (Why is that?)
• On the Specification and Verification of Model Transformations
• Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540403)