Verification and Validation of UML Conceptual Schemas with OCL Constraints.
Anna QueraltErnest TenientePublished in: ACM Trans. Softw. Eng. Methodol. (2012)
Keyphrases
- constraint language
- uml diagrams
- conceptual schemas
- metamodel
- uml class diagrams
- modeling language
- formal methods
- integrity constraints
- object oriented
- xml schema
- constraint networks
- tool support
- sequence diagrams
- artificial intelligence
- databases
- model checking
- software systems
- entity relationship
- public administration
- process model
- building blocks
- knowledge representation
- co occurrence
- software engineering