Another presentation on Modular Declare. This one with more pretty pictures. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Category: Presentations
Time is Not a Four-letter Word
Presentation I’ll give right now! How to add time to Declare by translating to timed LTL and timed automata. Also how we can use this to give a priori advice concerning time, detect errors, and support planning. Edit: There’s a slight error in the timed automaton shown; it allows going Backstage, then Getting Drunk, letting […]
Declare, Modular Declare, and iTasks
Presentation introducing Declare and the new module concept conceived together with Bas Lijnen and implemented in Declare and iTasks. Also, new concert photos of Britney 😉 MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Lecture in Meta-Modeling and Interoperability
Lecture I gave today. It has drunk monkeys and Britney, so what else could you want? During the presentation, I showed parts of this video: This demonstration may also be interesting: For more information on operational support, you can refer to this post (which also has more videos): For more information on Access/CPN, refer to […]
Read More… from Lecture in Meta-Modeling and Interoperability
A Meta-model for Operational Support
Presentation I gave at an AIS meeting this morning. It’s about a (yet unpublished) paper on a meta-model for operational support. Fun game: anytime you see anything Britney- or tank-related, you drink ((Yes, the picture on Slide 63 — or 132 depending on which page counter you use — depicts 3 copies of Britney.)). MichaelTime […]
Better Algorithms for Analyzing and Enacting Declarative Workflows using LTL
This is a presentation of the paper [bibtex file=conferences.bib key=improved-translation] i gave at BPM 2011. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Better Algorithms for Analyzing and Enacting Declarative Workflows using LTL