A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.
Soon-Kyeong KimDavid A. CarringtonPublished in: ZB (2002)
Keyphrases
- integrity constraints
- metamodel
- formal model
- state machine
- constraint language
- modeling language
- uml profile
- development process
- life cycle
- software systems
- deductive databases
- black box
- data model
- model driven
- functional dependencies
- query answering
- integrity checking
- transformation rules
- fault tolerant
- inclusion dependencies
- finite state machines
- xml documents
- xml schema
- database
- case study
- consistent query answering
- databases
- platform independent
- design rationale
- database design
- design patterns