On Formal Semantics and Integration of Object-Oriented Modeling Languages.
Hartmut EhrigRobert GeislerMartin Große-RhodeMarcus KlarStefan MannPublished in: Bull. EATCS (2000)
Keyphrases
- modeling language
- formal semantics
- object oriented
- metamodel
- business process modeling
- data model
- design rationale
- programming language
- logical reasoning
- logical language
- unified modeling language
- relational databases
- database applications
- modelling language
- database design
- model driven
- data integration
- query language
- expert systems
- database
- software systems
- knowledge representation