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 […]
Tag: Declare
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
RFC 3514 version 2.0
The evil bit is dead and buried; instead let’s use these bits: Yeah, so that amuses me way more than it has any right to… MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
ProM Plug-in Documentation: Declare
I think, I should start writing documentation while drunk. It would probably be less crazy than this if I did… Anyway, here’s Declare in ProM: Declare MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
ProM Package Documentation: SimpleXQueryProvider
This is a very simple provider for the operational support service in ProM. The document assumes you are familiar with this one as well. SimpleXQueryProvider MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from ProM Package Documentation: SimpleXQueryProvider
ProM Package Documentation: OperationalSupport
Made some documentation of the OperationalSupport package. OperationalSupport I can recommend taking the lazy-ass road and instead watching this video. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from ProM Package Documentation: OperationalSupport