I maintain quite a bit of software. A month ago or so, Wil asked me to give an overview of the software for some exciting ((Not exciting.)) mid-term evaluation report. As such, I decided to make a simple architecture diagram, and even simplified it turned to not be so simple. Today, I was to give […]
Tag: Declare
A Fresh View on Alignments
Presentation from AIS meeting on alignments. We basically provide a formal foundation for alignments, which builds on well-known concepts in theoretical computer science. Our definitions are compatible with previous definitions for alignments (by Arya and Boudewijn), and we use the formal foundation to provide several directions for future work as well current new possibilities and […]
CPN Tools/Declare/ProM on Windows 8 (CP)
I already reported that I successfully ran CPN Tools and Declare on Windows 8 and that ProM started with few problems. Back then I used the (only available) Developer Preview. Recently, Microsoft released the Consumer Preview, and of course, I had to set up two machines (32 and 64 bits) and re-run all tests. The […]
Using Declarative Workflow Modeling to Achieve True Happiness
Presentation I’ll give at ITU on Thursday. Now with both Britney and BSB. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Using Declarative Workflow Modeling to Achieve True Happiness
A Sign
I think this may be a sign I am done making slides for the day… MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Modular Declare
Another presentation on Modular Declare. This one with more pretty pictures. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]