Generating and evaluating choices for fixing inconsistencies in UML design models

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 99-108

  Egyed, Alexander ^a,b   Letier, Emmanuel ^b   Finkelstein, Anthony ^b  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; SOFTWARE ENGINEERING;

AUTOMATED SUPPORTS; COMPUTATIONAL SCALABILITIES; DESIGN TOOLS; EMPIRICAL EVALUATIONS; UML DESIGNS; UML MODELS;

UNIFIED MODELING LANGUAGE;

EID: 56249124311     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.20     Document Type: Conference Paper

References (24)

1. J. Rumbaugh, J. Ivar, and B. Grady, The Unified Modeling Language Reference Manual: Addison Wesley, 1999.
2. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh, "Inconsistency Handling in Multi-Perspective Specifications," Transactions on Softw. Eng, vol. 20, pp. 569-578, 1994.
3. L. C. Briand, Y. Labiche, and L. O'Sullivan, "Impact Analysis and Change Management of UML Models," Proceedings of the International Conference on Software Maintenance (ICSM), Amsterdam, The Netherlands, 2003.
4. R. Balzer, "Tolerating Inconsistency," Proceedings of 13th International Conference on Software Engineering (ICSE), 1991.
5. A. Egyed, "Instant Consistency Checking for the UML," Proceedings of the International Conference on Software Engineering, 2006.
6. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein, "xlinkit: a consistency checking and smart link generation service," ACM Transactions on Internet Technology,vol. 2, pp. 151-185, 2002.
7. A. Egyed and D. S. Wile, "Support for Managing Design-Time Decisions," IEEE Transactions on Software Engineering vol. 32, pp. 299-314, 2006.
8. C. Nentwich, W. Emmerich, and A. Finkelstein, "Consistency Management with Repair Actions," Proceedings of the 25th International Conference on Software Engineering (ICSE), Portland, Oregon, USA, 2003.
9. A. Egyed, "Fixing Inconsistencies in UML Design Models," Proceedings of the International Conference on Software Engineering 2007.
10. R. van Der Straeten, T. Mens, J. Simmonds, and V. Jonckers, "Using Description Logic to Maintain Consistency between UML Models," Proceedings of 6th International Conference on the Unified Modeling Language (UML), 2003.
11. A. Hunter and B. Nuseibeh, "Analysing Inconsistent Specifications," presented at Proceedings of 3rd International Symposium on Requirements Engineering (RE), 1997.
12. S. Easterbrook and M. Chechik, "A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints," Proceedings of the 23rd International Conference on Software Engineering, 2001.
13. M. Sabetzadeh, S. Nejati, S. Liaskos, S. Easterbrook, and M. Chechik, "Consistency Checking of Conceptual Models via Model Merging," Proceedings of the 15th IEEE International Requirements Engineering Conference, New Delhi, India, 2007.
14. A. K. Mackworth, "Consistency in Networks of Relations," Journal of Artificial Intelligence vol. 8, pp. 99-118, 1977.
15. D. Jackson, "Alloy: A lightweight object modelling notation," ACM Transactions on Software Engineering Methodology vol. 11, 2002.
16. J. Robbins and D. Redmiles, "Cognitive Support, UML Adherence, and XMI Interchange in Argo/UML," International Conference on Construction of Software Engineering Tools, Los Angeles, CA, 1999.
17. B. Elkarablieh, I. Garcia, Y. L. Suen, and S. Khurshid, "Assertion-based repair of complex data structures," Proceedings of the 22nd International Conference on Automated Software Engineering, Atlanta, GA, 2007.
18. A. G. Cass and L. J. Osterweil, "Requirements-Based Design Guidance: A Process-Centered Consistency Management Approach," in Department of Computer Science, University of Massachusetts, Amherst, MA 01003 (UM-CS-2002-024), 2002.
19. A. van der Hoek and E. Dashofy, "xADL 2.0," in http://www.isr.uci.edu/proiects/xarchuci/.
20. D. Wile, "Program Developments: Formal Explanations of Implementations," Communications of the ACM vol. 26, 1983.
21. M. L. Begeman and J. Conklin, "The right tool for the job," Byte vol. 13, pp. 255-266, 1988.
22. S. M. Kaplan and G. E. Kaiser, "Incremental attribute evaluation in distributed language-based environments," Proceedings of the 5th Annual Symposium on Principles of Distributed Computing, Calgary, Canada, 1986.
23. R. N. Taylor, R. W. Selby, M. Young, F. C. Belz, L. A. Claree, J. C. Wileden, L. Osterweil, and A. L. Wolf, "Foundations of the Arcadia Environment Architecture," Proceedings of the 4th Symposium on Software Development Environments, Irvine, CA, 1998.
24. W. L. Johnson and M. Feather, "Building an Evolution Transformation Library," Proceedings of the 12th International Conference on Software Engineering Nice, France, 1990.