Login / Signup

On the complexities of consistency checking for restricted UML class diagrams.

Ken KaneiwaKen Satoh
Published in: Theor. Comput. Sci. (2010)
Keyphrases
  • consistency checking
  • uml class diagrams
  • class diagrams
  • query answering
  • temporal reasoning
  • temporal constraints
  • class diagram
  • description logics
  • path consistency
  • optimal solution
  • constraint satisfaction problems