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/ […]
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 […]
Presentation I’ll give right now! How to add time to Declare by translating to timed LTL and timed automata. Also how we can use this to give a priori advice concerning time, detect errors, and support planning. Edit: There’s a slight error in the timed automaton shown; it allows going Backstage, then Getting Drunk, letting […]
Faced with the threat of work, I decided to rebrand Declare. I basically changed the name to lowercase (from typographically ugly and misleading DECLARE), changed the name of a few of the programs and some minor details. See all about the name change on the Declare website. So, that is pretty sensible. During this, I […]