Declare | Michaelpedia Galactica

Declare, Modular Declare, and iTasks

Posted on November 4, 2011 (April 29, 2023) by Michael

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/ […]

Formal Specification

Posted on November 3, 2011 (May 18, 2018) by Michael

It’s important to formally specify your protocol. Hence: You can see it’s formal because I added a gratuitous sigma. We implemented the protocol in two different tools, written in two different languages and after two minor tweaks, it worked. Thank you formal specification! MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Modular Declare

Posted on November 2, 2011 (May 18, 2018) by Michael

This week I am in Nijmegen with the purpose of integrating Declare and iTasks. The idea is to allow components in either language to be used as sub-components in either. This makes it possible to mix paradigms (declarative and functional workflow modeling), introduces modules in Declare, and makes Declare (and iTasks) distributed. We are still […]

Lecture in Meta-Modeling and Interoperability

Posted on October 3, 2011 (April 29, 2023) by Michael

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): For more information on Access/CPN, refer to […]

Some Notes on Declarative Workflows and Operational Support

Posted on September 21, 2011 (April 29, 2023) by Michael

Presentation I gave this morning at STW. It’s a quick summary of what I’ve been doing the last year or so. People seemed to have surprisingly little against my example… Fun exercise: Spot the bad shop-job. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Windows 8 in the Land of Business Process Modeling

Posted on September 19, 2011 (May 18, 2018) by Michael

Good news, everyone! It seems that the upgrade to Windows 8 is not going to impact any of your business process modeling needs ((At least not the ones originating from the AIS group at TU/e.)). Both CPN Tools (3.2.1 tested), Declare (2.1.0 tested), and ProM (6.1 tested) runs with no problems on Windows 8. I […]