Formal Semantics of OCL Messages.
Stephan FlakeWolfgang MüllerPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- formal semantics
- modeling language
- metamodel
- logical language
- er model
- logical reasoning
- first order logic
- constraint language
- formal language
- operational semantics
- modelling language
- speech acts
- ontology languages
- epistemic logic
- uml class diagrams
- databases
- probabilistic model
- theorem prover
- test cases
- natural language
- bayesian networks
- database systems
- artificial intelligence
- machine learning
- database
- owl dl ontology