UML 2.0 Interactions with OCL/RT Constraints.
Daniel CalegariMaría Victoria CengarleNora SzaszPublished in: FDL (2008)
Keyphrases
- constraint language
- uml diagrams
- metamodel
- modeling language
- uml class diagrams
- object oriented
- sequence diagrams
- tool support
- unified modeling language
- software systems
- integrity constraints
- relational databases
- constraint satisfaction
- software engineering
- constraint programming
- global constraints
- constraint networks
- linear constraints
- database design
- class diagram
- temporal reasoning
- life cycle
- formal methods
- software development
- open source
- database