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 […]

Read More… from Time is Not a Four-letter Word

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/ […]

Read More… from Declare, Modular Declare, and iTasks

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): Using Declarative Workflow Modeling to Achieve Happiness […]

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 […]

Read More… from A Meta-model for Operational Support

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