Sometimes you have to refactor something. It may seem like it works, but the code is horrible-looking and inefficient. Consider for example this gem: No documentation, missing @Override annotation, quadratic blow-up of something that should be linear, unmotivated cloning of an immutable class, over-shadowing of field variables, leading to a clumsy syntax, and a code-structure […]
Tag: Work
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/ […]
Formal Specification
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
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 […]
Professional?
I’m considering releasing the new build of CPN Tools like this: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Some Notes on Declarative Workflows and Operational Support
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/ […]
Read More… from Some Notes on Declarative Workflows and Operational Support