Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

Lightning Talks at the OCL Workshop

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 with the title and one paragraph description of what you would like to talk about for organizational 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 modeling environment that is centered 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!