This year, the OCL workshop will host an open session at the end of the day where anybody will have the opportunity to talk about whatever they want for five minutes. No formal pre-submission is required. Just send an email to email@example.com with the title and one paragraph description of what you’d like to talk about for organisational purposes.
Our presentation has the title “A Formal Methods Environment for OCL: HOL-OCL 2.0”.
We will present HOL-OCL 2.0, a semantically well-founded UML/OCL modelling environment that is centred around a interactive theorem prover for OCL 2.x. While it shares many concepts with HOL-OCL 1.0, it is a complete rewrite that, on the one hand, supports the latest OCL standard (including a four-valued logic) and, on the other hand, brings all the latest features of the Isabelle architecture to OCL (IDE, document generation, advanced proof procedures).
See you in Saint-Malo!