Simplification of UML/OCL schemas for efficient reasoning.

Xavier Oriol Ernest Teniente

Published in: J. Syst. Softw. (2017)

Keyphrases

uml class diagrams
metamodel
databases
uml diagrams
modeling language
class diagrams
software systems
reasoning systems
sequence diagrams
case study
test cases
software design
automated reasoning
schema integration
class diagram
unified modeling language