Automatically detecting and tracking inconsistencies in software design models

IEEE Transactions on Software Engineering

Volumn 37, Issue 2, 2011, Pages 188-203

  Egyed, Alexander ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

design; Design tools and techniques

Indexed keywords

AUTOMATED APPROACH; DESIGN TOOLS AND TECHNIQUES; EMPIRICAL EVALUATIONS; MEMORY CONSUMPTION; MODEL CHANGE; MODEL ELEMENTS; MODEL SIZE; REAL TIME; SOFTWARE DESIGN MODEL; SOFTWARE MODEL;

ENGINEERS; SOFTWARE DESIGN;

MODEL CHECKING;

EID: 79953196410     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2010.38     Document Type: Article

References (28)

1. U.A. Acar, A. Ahmed, and M. Blume, "Imperative Self-Adjusting Computation," Proc. 35th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, pp. 309-322, 2008.
2. R. Balzer, "Tolerating Inconsistency," Proc. 13th Int'l Conf. Software Eng., pp. 158-165, 1991. (Pubitemid 21689983)
3. B. Belkhouche and C. Lemus, "Multiple View Analysis and Design," Proc. Int'l Workshop Multiple Perspectives in Software Development, 1996.
4. X. Blanc, I. Mounier, A. Mougenot, and T. Mens, "Detecting Model Inconsistency through Operation-Based Model Construction," Proc. 30th Int'l Conf. Software Eng., pp. 511-520, 2008.
5. B.W. Boehm, C. Abts, A.W. Brown, S. Chulani, B.K. Clark, E. Horowitz, R. Madacy, D. Reifer, and B. Steece, Software Cost Estimation with COCOMO II. Prentice Hall, 2000.
6. L.C. Briand, Y. Labiche, and L. O'Sullivan, "Impact Analysis and Change Management of UML Models," Proc. Int'l Conf. Software Maintenance, p. 256, 2003.
7. L.A. Campbell, B.H.C. Cheng, W.E. McUmber, and K. Stirewalt, "Automatically Detecting and Visualising Errors in UML Diagrams," Requirements Eng. J., vol. 7, pp. 264-287, 2002. (Pubitemid 36047880)
8. B.H.C. Cheng, E.Y. Wang, and R.H. Bourdeau, "A Graphical Environment for Formally Developing Object-Oriented Software," Proc. Sixth Int'l Conf. Tools with Artificial Intelligence, pp. 26-32, 1994.
9. D. Dhungana, R. Rabiser, P. Grü nbacher, K. Lehner, and C. Federspiel, "DOPLER: An Adaptable Tool Suite for Product Line Engineering," Proc. 11th Int'l Software Product Line Conf., pp. 151-152, 2007.
10. S. Easterbrook and B. Nuseibeh, "Using ViewPoints for Inconsistency Management," IEE Software Eng. J., vol. 11, pp. 31-43, 1995. (Pubitemid 126797085)
11. A. Egyed, "Automated Abstraction of Class Diagrams," ACM Trans. Software Eng. and Methodology, vol. 11, pp. 449-491, 2002.
12. A. Egyed, "Instant Consistency Checking for the UML," Proc. 28th Int'l Conf. Software Eng., pp. 381-390, 2006. (Pubitemid 46600935)
13. A. Egyed, "Fixing Inconsistencies in UML Design Models," Proc. 29th Int'l Conf. Software Eng., pp. 292-301, 2007. (Pubitemid 47430664)
14. A. Egyed and B. Balzer, "Integrating COTS Software into Systems through Instrumentation and Reasoning," Int'l J. Automated Software Eng., vol. 13, pp. 41-64, 2006. (Pubitemid 41831863)
15. A. Egyed, E. Letier, and A. Finkelstein, "Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models," Proc. 23rd Int'l Conf. Automated Software Eng., 2008.
16. W. Emmerich, "GTSL-an Object-Oriented Language for Specification of Syntax Directed Tools," Proc. Eighth Int'l Workshop Software Specification and Design, pp. 26-35, 1996.
17. S. Fickas, M. Feather, and J. Kramer, Proc. ICSE-97 Workshop Living with Inconsistency, 1997.
18. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh, "Inconsistency Handling in Multi-Perspective Specifications," IEEE Trans. Software Eng., vol. 20, pp. 569-578, 1994.
19. C. Forgy, "Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem," Artificial Intelligence, vol. 19, pp. 17-37, 1982. (Pubitemid 13465076)
20. I. Groher, A. Reder, and A. Egyed, "Instant Consistency Checking of Dynamic Constraints," Proc. 12th Int'l Conf. Fundamental Approaches to Software Eng., 2010.
21. J. Grundy, J. Hosking, and R. Mugridge, "Inconsistency Management for Multiple-View Software Development Environments," IEEE Trans. Software Eng., vol. 24, no. 11, pp. 960-981, Nov. 1998. (Pubitemid 128740285)
22. A.N. Habermann and D. Notkin, "Gandalf: Software Development Environments," IEEE Trans. Software Eng., vol. 12, no. 12, pp. 1117-1127, Dec. 1986.
23. S.M. Kaplan and G.E. Kaiser, "Incremental Attribute Evaluation in Distributed Language-Based Environments," Proc. Fifth Ann. Symp. Principles of Distributed Computing, pp. 121-130, 1986.
24. M. Lee, A.J. Offutt, and R.T. Alexander, "Algorithmic Analysis of the Impacts of Changes to Object-Oriented Software," Proc. 34th Int'l Conf. Technology of Object-Oriented Languages and Systems, pp. 61-70, 2000.
25. M. Lindvall and K. Sandahl, "Practical Implications of Traceability," J. Software-Practice and Experience, vol. 26, pp. 1161-1180, 1996. (Pubitemid 126599660)
26. A.K. Mackworth, "Consistency in Networks of Relations," J. Artificial Intelligence, vol. 8, pp. 99-118, 1977.
27. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein, "xlinkit: A Consistency Checking and Smart Link Generation Service," ACM Trans. Internet Technology, vol. 2, pp. 151-185, 2002.
28. C. Nentwich, W. Emmerich, and A. Finkelstein, "Consistency Management with Repair Actions," Proc. 25th Int'l Conf. Software Eng., pp. 455-464, 2003.