Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models.
Mathias SoekenRobert WilleRolf DrechslerPublished in: TAP@TOOLS (2011)
Keyphrases
- data types
- metamodel
- data model
- modeling language
- uml class diagrams
- database management systems
- data structure
- database systems
- object oriented
- uml diagrams
- constraint language
- development process
- user defined
- software systems
- tool support
- query language
- database objects
- test cases
- sequence diagrams
- knowledge discovery
- relational databases
- class diagram
- data mining algorithms
- sat solvers
- life cycle
- data sets
- database design
- management system
- databases