Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: UML (Unified Modeling Language) is the de facto standard model representation language in software engineering.  believe that automated contradiction detection and repair of UML become very important as UML has been widely used. ,  propose a debugging system using logic programming paradigm for UML class diagram with class attributes, multiplicity, generalization relation and disjoint relation.  propose a translation method of a UML class diagram into a logic program, and using a meta-interpreter  can find (set-inclusion-based) minimal sets of rules which leads to contradiction. Then,  use a minimal hitting set algorithm developed by one of the authors to show minimal sets of deletion of rules in order to avoid contradiction.
['Ken Satoh', 'Ken Kaneiwa', 'Takeaki Uno']
I am writing a research paper on a idea Contradiction Finding and Minimal Recovery for UML Class Diagrams
[{"from": "human", "value": "I am writing a research paper on a idea Contradiction Finding and Minimal Recovery for UML Class Diagrams"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: UML (Unified Modeling Language) is the de facto standard model representation language in software engineering.  believe that automated contradiction detection and repair of UML become very important as UML has been widely used. ,  propose a debugging system using logic programming paradigm for UML class diagram with class attributes, multiplicity, generalization relation and disjoint relation.  propose a translation method of a UML class diagram into a logic program, and using a meta-interpreter  can find (set-inclusion-based) minimal sets of rules which leads to contradiction. Then,  use a minimal hitting set algorithm developed by one of the authors to show minimal sets of deletion of rules in order to avoid contradiction."}]