OCL-Lite: Finite reasoning on UML/OCL conceptual schemas.
Anna QueraltAlessandro ArtaleDiego CalvaneseErnest TenientePublished in: Data Knowl. Eng. (2012)
Keyphrases
- uml class diagrams
- uml diagrams
- conceptual schemas
- class diagram
- xml schema
- metamodel
- tool support
- constraint language
- description logics
- software design
- conceptual schema
- building blocks
- modeling language
- semi automatic
- knowledge base
- domain knowledge
- databases
- sequence diagrams
- software artifacts
- design patterns
- relational model
- conceptual model
- test cases
- data management
- knowledge representation
- xml documents
- information systems