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. https://westergaard.eu/ […]
Category: Presentations
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 M. Westergaard, “Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL,” in Business Process Management, 2011, pp. 83-98. [Bibtex] @inproceedings{improved-translation, author = {Westergaard, Michael}, affiliation = {Department of Mathematics and Computer Science, Eindhoven University of […]
Modeling and Verification of a Protocol for Operational Support
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. https://westergaard.eu/ […]
Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models
And here's the demo I gave on the demo slide: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. https://westergaard.eu/ […]