Iterative Development of Consistency-Preserving Rule-Based Refactorings
| Autor: | Holger Giese, Johannes Dyck, Leen Lambers, Basil Becker, Stefanie Birth |
|---|---|
| Rok vydání: | 2011 |
| Předmět: |
Iterative and incremental development
Graph rewriting Model driven development Java Programming language Computer science Modeling language Rule-based system computer.software_genre Consistency (database systems) Software_SOFTWAREENGINEERING Model refactoring TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS computer computer.programming_language |
| Zdroj: | Theory and Practice of Model Transformations ISBN: 9783642217319 ICMT@TOOLS |
| DOI: | 10.1007/978-3-642-21732-6_9 |
| Popis: | A model refactoring does not only need to ensure behavior preservation. First of all, it needs to ensure that specific well-formedness constraints of the modeling language under consideration are preserved (consistency preservation). The consistency of model refactorings can be ensured by runtime checks. However, this means that not the developer of the refactorings but the user is confronted with the problem. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|