Keyphrases
- formal semantics
- modeling language
- metamodel
- design rationale
- programming language
- object oriented
- logical language
- source code
- logical reasoning
- database applications
- open source
- modelling language
- uml profile
- web services
- database design
- high level
- databases
- owl dl ontology
- declarative language
- software engineering
- real world