OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.
María Victoria CengarleAlexander KnappPublished in: Softw. Syst. Model. (2004)
Keyphrases
- formal semantics
- modeling language
- expressive power
- first order logic
- logical language
- metamodel
- formal language
- operational semantics
- modelling language
- logical reasoning
- er model
- natural language
- test cases
- uml class diagrams
- speech acts
- constraint language
- theorem prover
- data model
- epistemic logic
- ontology languages
- e learning
- software engineering
- owl dl ontology