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 a bit; switched on anti-aliasing, added a gradient to the background, found […]
Is was bored. I was making slides. Then this happened: May I have a raise now? 😆 MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
My todo mailbox is looking big and scary… MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
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 components. The first change is that strongly connected components are grouped together […]
Read More… from Strongly Connected Components in Declarative Models
I just finished the implementation of colored automata in Declare. The formal foundation is described in [bibtex order=asc file=conferences.bib key=colored-automata] The idea is that normally we construct an automaton accepting only all valid executions. Assume we look at the model: The model says that “if you are bored, you should go to a concert” (the […]
Sometimes you just have to go with your heart… Hence this code: Yes, evidently, today is going to be a “Michael posts snippets of code that amuse him”-day. Think of it as open source and celebrate by hitting people in your office (unless your first name is Dirk). MichaelTime person of the year 2006, Nobel […]