Contradiction finding and minimal recovery for UML class diagrams

Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006

Volumn , Issue , 2006, Pages 277-280

  Satoh, Ken ^a   Kaneiwa, Ken ^b   Uno, Takeaki ^a  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^b NATIONAL INSTITUTE OF INFORMATION AND COMMUNICATIONS TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; MATHEMATICAL MODELS; PROGRAM DEBUGGING; SOFTWARE ENGINEERING; TRANSLATION (LANGUAGES); UNIFIED MODELING LANGUAGE;

AUTOMATED CONTRADICTION DETECTION; CLASS ATTRIBUTES; DELETION OF RULES; DISJOINT RELATIONS;

PHASE DIAGRAMS;

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

References (18)

1. Aravindan, C. and Baumgartner, P., A Rational and Efficient Algorithm for View Deletion in Databases., Proc. of ILPS-97pp. 165 - 179 (1997).
2. Berardi, D., Cali, A., Calvanese, D., De Giacomo, G., Reasoning on UML class diagrams. Journal of Artificial Intelligence, vol. 168(1-2), pp. 70-118 (2005).
3. Finkelstein, A. C. W., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B., Inconsistency Handling in Multiperspective Specifications, IEEE Transactions on Software Engineering, 20, pp. 569 - 578 (1994).
4. Fowler, M., UML Distilled: A Brief Guide to the Standard Modeling Object Language. Object Technology Series. Addison-Wesley (2003).
5. Nuseibeh, B., To Be and Not to Be: On Managing Inconsistency in Software Development, Proc. of 8th IEEE International Workshop on Software Specification and Design (IWSSD-8) pp. 164 - 169 (1996).
6. Nuseibeh, B., Russo, A., Using Abduction to Evolve Inconsistent Requirements Specifications, Australian Information Systems Journal, Special Issue on Requirements Engineering, 7(1), ISSN: 1039-7841, pp. 118 -130 (1999).
7. Kaneiwa, K., Satoh, K., Consistency Checking Algorithms for Restricted UML Class Diagrams, Proc. of FoIKS2006, LNCS 3861, pp. 219 - 239 (2006). An extended version with a proof can be found at http://research.nii.ac.jp/ ~kaneiwa/uml-ex.pdf
8. Pereira, L.M., Damásio, C. V., Alferes, J. J., Diagnosis and Debugging as Contradiction Removal, LPNMR-93, pp. 334-348 (1993).
9. Reiter, R., A Theory of Diagnosis from First Principles, Artificial Intelligence 32 pp. 57 - 95 (1987).
10. Rumbaugh, J., Jacobson, I., Booch, G., The Unified Modeling Language Reference Manual, Addison-Wesley (1999).
11. Satoh, K., Minimal Revision of Logical Specification Using Extended Logic Programming: Preliminary Report, Proceedings of the AAAI-99 Workshop on Intelligent Software Engineering, pp. 61 - 65 (1999).
12. Satoh, K., Consistency Management in Software Engineering by Abduction, Proceedings of the ICSE-2000 Workshop on Intelligent Software Engineering, pp. 90 -99 (2000).
13. Satoh, K., Computing Minimal Revised Specifications by Default Logic, Proc. of Workshop on Intelligent Technologies in Software Engineering (WITSE2003) pp. 7-12 (2003).
14. Satoh, K., Uno, T., Enumerating Minimal Revised Specification using Dualization, New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings, LNAI4012, pp. 182 - 189 (2006).
15. Satoh, K., Kaneiwa, K., Uno, T., Contradiction Finding and Minimal Recovery for UML Class Diagrams using Logic Programming, Nil Technical Report, NII-2006-009E (2006).
16. Uno, T., A Practical Fast Algorithm for Enumerating Minimal Set Coverings, SIGAL83, Information Processing Society of Japan, pp. 9 - 16 (in Japanese) (2002).
17. Zisman, A., Kozlenkov, A., A Knowledge based Approach to Consistency Management of UML Specifications, Proc. of the 16th Conference on Automated Software Engineering, pp. 359 - 363 (2001).
18. Zowghi, D., Ghose, A., Peppas, P., A Framework for Reasoning about Requirements Evolution, Proc. of PRICAI'96, pp. 157 - 168 (1996).