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…

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/Is Blockchain Ready for the Enterprise?Michael’s Magical Bucket AnalogyCovid Vaccine MortalitySet your Author Custom HTML Tab Content on […]

Read More…

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…

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 drink1. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/Is Blockchain Ready for the Enterprise?Michael’s Magical Bucket AnalogyCovid Vaccine MortalitySet your […]

Read More…

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/Is Blockchain Ready for the Enterprise?Michael’s Magical Bucket AnalogyCovid Vaccine MortalitySet your Author Custom HTML Tab Content on your Profile page […]

Read More…