Keyphrases
- formal semantics
- modeling language
- metamodel
- logical language
- design rationale
- formal language
- operational semantics
- er model
- logical reasoning
- sequence diagrams
- modelling language
- conceptual modeling
- formal methods
- database design
- software systems
- software engineering
- object oriented
- probabilistic model
- epistemic logic
- ontology languages
- software development
- probability distribution