Contradiction Finding and Minimal Recovery for UML Class Diagrams

  title={Contradiction Finding and Minimal Recovery for UML Class Diagrams},
  author={Ken Satoh and Ken Kaneiwa and Takeaki Uno},
  journal={21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)},
UML (unified modeling language) is the de facto standard model representation language in software engineering. We believe that automated contradiction detection and repair of UML become very important as UML has been widely used. In this paper, we propose a debugging system using logic programming paradigm for UML class diagram with class attributes, multiplicity, generalization relation and disjoint relation. We propose a translation method of a UML class diagram into a logic program, and… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 15 extracted citations


Publications referenced by this paper.
Showing 1-10 of 17 references

Enumerating Minimal Revised Specification using Dualization, New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post- Proceedings

  • K. Satoh, T. Uno
  • LNAI 4012,
  • 2006
1 Excerpt

Computing Minimal Revised Specifications by Default Logic

  • K. Satoh
  • Proc. of Workshop on Intelligent Technologies in…
  • 2003
1 Excerpt

A Practical Fast Algorithm for Enumerating Minimal Set Coverings, SIGAL83, Information Processing Society of Japan, pp

  • T. Uno
  • 2002
2 Excerpts

Consistency Management in Software Engineering by Abduction

  • K. Satoh
  • Proc. of the ICSE-2000 Workshop on Intelligent…
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…