A Proposal for a Formal OCL Semantics in Isabelle/HOL.
Achim D. BruckerBurkhart WolffPublished in: TPHOLs (2002)
Keyphrases
- theorem prover
- formal semantics
- natural deduction
- higher order logic
- formal methods
- formal language
- operational semantics
- first order logic
- model theoretic
- machine processable
- theorem proving
- inference rules
- uml class diagrams
- constraint language
- specification languages
- formal specification
- highly expressive
- deductive databases
- higher order
- logic programming
- metamodel
- specification language
- semantic information
- test cases
- dynamic aspects
- case study