From UML and OCL to Relational Logic and Back.
Mirco KuhlmannMartin GogollaPublished in: MoDELS (2012)
Keyphrases
- constraint language
- uml diagrams
- uml class diagrams
- metamodel
- modeling language
- sequence diagrams
- tool support
- state machine
- data model
- class diagram
- software design
- class diagrams
- logic programming
- relational data
- relational databases
- unified modeling language
- database design
- modal logic
- object oriented
- database language
- database
- classical logic
- relational structures
- integrity constraints
- petri net
- entity relationship
- relational model
- software systems
- constraint networks
- software architecture
- multi valued
- test cases
- software engineering
- digital circuits
- conceptual modeling
- uml profile
- process model
- intermediate representation
- model driven engineering