Diagnosis of the significance of inconsistencies in object-oriented designs: A framework and its experimental evaluation

Journal of Systems and Software

Volumn 64, Issue 1, 2002, Pages 3-22

  Spanoudakis, George ^a   Kim, Hyoseob ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

Dempster Shafer beliefs; Diagnosis of inconsistencies; OCL; UML

Indexed keywords

COMPUTER SIMULATION; CORRELATION METHODS; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES;

OBJECT-ORIENTED DESIGN;

SOFTWARE ENGINEERING;

EID: 0037110434     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(02)00018-3     Document Type: Article

References (26)

1. Chidamber S., Kemerer C. A metrics suite for object oriented design. IEEE Transactions on Software Engineering. 20(6):1994;476-493.
2. Emmerich W.et al. Managing standards compliance. IEEE Transactions on Software Engineering. 25(6):1999;836-851.
3. Finkelstein A., Gabbay D., Hunter A., Kramer J., Nuseibeh B. Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering. 20(8):1994;569-578.
4. Finkelstein A., Spanoudakis G., Till D. Managing interference. Joint Proceedings of the Sigsoft'96 Workshops Viewpoints'96. 1996;172-174 ACM Press, New York.
5. Gamma E.et al. Design Patterns: Elements of Reusable Object-Oriented Software. 1995;Addison-Wesley, Reading, MA.
6. Hays W. Statistics. 3rd Edition. 1969;Holt International, New York. SBN 03 910025.
7. Heitmeyer C., Labaw B., Kiskis D. Consistency checking of SCR-style requirements specifications. Proceedings of the Second International Symposium on Requirements Engineering. 1995;56-63 IEEE CS Press, Silver Spring, MD.
8. Hunter A., Nuseibeh B. Managing inconsistent specifications: reasoning, analysis and action. ACM Transactions in Software Engineering and Methodology. 7(4):1998;335-367.
9. Jacobson I.et al. Object-Oriented Software Engineering: A Use Case Driven Approach. 1995;Addison-Wesley, Reading, MA.
10. Kotonya G., Sommerville I. Requirements Engineering with Viewpoints. Software Engineering Journal. 11(1):1996;5-18.
11. Lamsweerde, A., Darimont, A., Letier, E., 1998. Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering (Special Issue on Inconsistency Management), November 1998.
12. Lorenz M. Object-Oriented Software Development: A Practical Guide. 1993;Prentice Hall, Englewood Cliffs, NJ.
13. Nuseibeh B., Easterbrook S., Russo A. Leveraging inconsistency in software development. IEEE Computer. 33(4):2000;24-29.
14. OMG, 1999. OMG unified modelling language specification, V. 1.3a. Available from: ftp://ftp.omg.org/pub/docs/ad/99-06-08.pdf.
15. Rational, 1998. Rational Rose '98: Extensibility Reference Manual. See also: http://www.rational.com/products/rose/index.jtmpl.
16. Robinson W., Fickas S. Supporting multiple perspective requirements engineering. Proceedings of the First International Conference on Requirements Engineering. 1994;206-215 IEEE CS Press, Silver Spring, MD.
17. Robinson W., Pawlowski S. Managing requirements inconsistency with development goal monitors. IEEE Transactions on Software Engineering. 25(6):1999;816-835.
18. Schwanke W., Kaiser E. Living with inconsistency in large systems. Proceedings of the International Workshop on Software Version and Configuration Control. 1988;98-118.
19. Shafer G. A Mathematical Theory of Evidence. 1975;Princeton University Press, Princeton, NJ.
20. Spanoudakis G., Finkelstein A. Managing interference. Proceedings of the SIGSOFT'96 Workshops. 1996;172-174 ACM Publications, New York.
21. Spanoudakis, G., Finkelstein, A., 1997. Reconciling requirements: A method for managing Interference, Inconsistency and Conflict. Annals of Software Engineering 3, pp. 433-457.
22. Spanoudakis, G., 1999. Towards an evidential significance diagnosis framework for elements of uml software models, Technical Report, Technical Report Series, Department of Computing, City University.
23. Spanoudakis G., Kasis K. An evidential framework for diagnosing the significance of inconsistencies in UML models. Proceedings of the International Conference on Software: Theory and Practice, World Computer Congress 2000, Bejing, China, ISBN 7-5053-6110-4. 2000;152-162.
24. Spanoudakis, G., Zisman, A., 2001. Management of inconsistencies in software engineering: a survey of the state of the art. Handbook of Software Engineering and Knowledge Engineering, vol. 1. World Scientific Pub. Co, Singapore, pp. 329-380.
25. Spanoudakis, G., Kim, H., 2001. Reconciliation of object interaction models. Proceedings of the Seventh International Conference on Object Oriented Information Systems (OOIS'01), Calgary, Canada, pp. 47-58.
26. Tegarden P., Sheetz S., Monarchi D. A software complexity model of object-oriented systems, decision support systems. The International Journal. 13:1995;241-262.