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 […]
Category: Presentations
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 […]
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. […]
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/ […]
Modeling and Verification of a Protocol for Operational Support
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]