Checking the Consistency of UML Class Diagrams Using Larch Prover.

Pascal André Annya Romanczuk Jean-Claude Royer

Published in: Rigorous Object-Oriented Methods (2000)

Keyphrases

uml class diagrams
consistency checking
class diagrams
theorem prover
class diagram
theorem proving
uml diagrams
description logics
knowledge base
database systems
multi agent systems
semantic web