Computing repair trees for resolving inconsistencies in design models

2012 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012 - Proceedings

Volumn , Issue , 2012, Pages 220-229

  Reder, Alexander ^a   Egyed, Alexander ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Inconsistency management; Repairing inconsistencies

Indexed keywords

COMPLEX TASK; CONSTRAINT LANGUAGE; DESIGN MODELS; DESIGN RULES; INCONSISTENCY MANAGEMENT; REPAIRING INCONSISTENCIES; RUNTIMES; SOFTWARE MODEL; SYNTACTIC STRUCTURE; UML MODEL; ARBITRARY MODELS; REPAIRING INCONSISTENCY; SOFTWARE MODELING;

AUTOMATION; FORESTRY; SOFTWARE ENGINEERING; UNIFIED MODELING LANGUAGE; SYNTACTICS;

REPAIR;

AUTOMATION; COMPUTER PROGRAMS; ENGINEERING; FORESTRY; MAINTENANCE; MANAGEMENT; PROGRAMING LANGUAGES;

EID: 84866911610     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2351676.2351707     Document Type: Conference Paper

References (24)

1. S-DAGs: Towards Efficient Document Repair Generation. CCCT 2004, 2004.
2. Object Management Group - UML. http://www.uml.org/, 2009.
3. M. Almeida da Silva, A. Mougenot, X. Blanc, and R. Bendraou. Towards Automated Inconsistency Handling in Design Models. In B. Pernici, editor, Advanced Information Systems Engineering, volume 6051 of Lecture Notes in Computer Science, pages 348-362. Springer Berlin/Heidelberg, 2010.
4. R. Balzer. Tolerating Inconsistency. In ICSE, pages 158-165, 1991.
5. X. Blanc, I. Mounier, A. Mougenot, and T. Mens. Detecting model inconsistency through operation-based model construction. In ICSE '08, pages 511-520, New York, NY, USA, 2008. ACM.
6. K. Czarnecki and K. Pietroszek. Verifying feature-based model templates against well-formedness OCL constraints. In S. Jarzabek, D. C. Schmidt, and T. L. Veldhuizen, editors, GPCE, pages 211-220. ACM, 2006.
7. H. K. Dam and M. Winikoff. An agent-oriented approach to change propagation in software maintenance. Autonomous Agents and Multi-Agent Systems, 23(3):384-452, 2011.
8. A. Egyed. Instant consistency checking for the UML. In L. J. Osterweil, H. D. Rombach, and M. L. Soffa, editors, ICSE, pages 381-390. ACM, 2006.
9. A. Egyed. Fixing Inconsistencies in UML Design Models. In ICSE, pages 292-301, 2007.
10. A. Egyed. Automatically Detecting and Tracking Inconsistencies in Software Design Models. IEEE Trans. Software Eng., 37(2):188-204, 2011.
11. A. Egyed, E. Letier, and A. Finkelstein. Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models. In ASE, pages 99-108. IEEE, 2008.
12. B. Elkarablieh and S. Khurshid. Juzi: a tool for repairing complex data structures. In W. Schäfer, M. B. Dwyer, and V. Gruhn, editors, ICSE, pages 855-858. ACM, 2008.
13. I. Groher, A. Reder, and A. Egyed. Incremental Consistency Checking of Dynamic Constraints. In D. S. Rosenblum and G. Taentzer, editors, FASE, volume 6013 of Lecture Notes in Computer Science, pages 203-217. Springer, 2010.
14. J. Grundy, J. Hosking, and W. B. Mugridge. Inconsistency Management for Multiple-View Software Development Environments. IEEE Transactions on Software Engineering, 24:960-981, 1998.
15. A. Hegedus, A. Horvath, I. Rath, M. Branco, and D. Varro. Quick fix generation for DSMLs. In Visual Languages and Human-Centric Computing (VL/HCC), 2011 IEEE Symposium on, pages 17-24, sept. 2011.
16. M. Z. Malik, J. H. Siddiqui, and S. Khurshid. Constraint-Based Program Debugging Using Data Structure Repair. In ICST, pages 190-199. IEEE Computer Society, 2011.
17. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: A Consistency Checking and Smart Link Generation Service. ACM Trans. Internet Techn., 2(2):151-185, 2002.
18. C. Nentwich, W. Emmerich, and A. Finkelstein. Consistency Management with Repair Actions. In ICSE, pages 455-464. IEEE Computer Society, 2003.
19. A. Nöhrer, A. Reder, and A. Egyed. Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution: NIER track. In R. N. Taylor, H. Gall, and N. Medvidovic, editors, ICSE, pages 864-867. ACM, 2011.
20. J. P. Puissant, T. Mens, and R. V. D. Straeten. Resolving Model Inconsistencies with Automated Planning. In Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development., pages 8-14. CEUR Workshop Proceedings, 2010.
21. T. Schattkowsky, J. H. Hausmann, and G. Engels. Using UML Activities for System-on-Chip Design and Synthesis. In O. Nierstrasz, J. Whittle, D. Harel, and G. Reggio, editors, MoDELS, volume 4199 of Lecture Notes in Computer Science, pages 737-752. Springer, 2006.
22. J. Scheffczyk, P. R̈odig, U. M. Borghoff, and L. Schmitz. Managing inconsistent repositories via prioritized repairs. In E. V. Munson and J.-Y. Vion-Dury, editors, ACM Symposium on Document Engineering, pages 137-146. ACM, 2004.
23. R. V. D. Straeten and M. D'Hondt. Model refactorings through rule-based inconsistency resolution. In H. Haddad, editor, SAC, pages 1210-1217. ACM, 2006.
24. Y. Xiong, Z. Hu, H. Zhao, H. Song, M. Takeichi, and H. Mei. Supporting automatic model inconsistency fixing. In H. van Vliet and V. Issarny, editors, ESEC/SIGSOFT FSE, pages 315-324. ACM, 2009.