I’m making slides. As that is more boring than this site, I decided that Declare needed prettier tasks. I therefore give you this: I find this much prettier than the old screen shot: The arcs still look like shit, though. Edit: Continued working [...]
Archive of posts tagged Work
Just for Wil
Is was bored. I was making slides. Then this happened: May I have a raise now?
Scary
My todo mailbox is looking big and scary…
Strongly Connected Components in Declarative Models
Yesterday, I wrote about the colored automaton implementation in Declare including mentioning that it is now possible to export such automata directly from within the Designer. Today, I’ve optimized the output, so it now is possible to reduce the printout by exploiting strongly connected [...]
Colored Automata in Declare
I just finished the implementation of colored automata in Declare. The formal foundation is described in F. M. Maggi, M. Montali, M. Westergaard, and W. M. P. van der Aalst, “Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata,” in [...]
