Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5.
Achim D. BruckerFrédéric TuongBurkhart WolffPublished in: Arch. Formal Proofs (2014)
Keyphrases
- formal semantics
- modeling language
- metamodel
- constraint language
- formal language
- logical reasoning
- uml class diagrams
- logical language
- first order logic
- operational semantics
- tool support
- uml diagrams
- test cases
- ontology languages
- speech acts
- er model
- epistemic logic
- machine learning
- design patterns
- development process
- object oriented
- data model
- expert systems