Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques
Authors:
- 1 January 2010
- book chapter
- Published by Springer Nature
- p. 183-198
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Incremental Development of Model Transformation Chains Using Automated Testing2009
- Verification of Architectural Refactorings by Rule Extraction2008
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions2008
- From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations2008
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed ContextsLecture Notes in Computer Science, 2007
- Verification of Model Transformations: A Case Study with BPEL2007
- Refactoring Object-Oriented Specifications with Data and ProcessesLecture Notes in Computer Science, 2007
- A survey of software refactoringIEEE Transactions on Software Engineering, 2004
- Towards Automating Source-Consistent UML Refactorings2003
- Deriving Bisimulation Congruences for Reactive Systems2000