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