I’ve already earlier whined about SlickerBox, the look-and-feel (L&F) toolkit used in ProM. Not how it looks, as that’s pretty neat, but that it is not a real L&F using Java’s pluggable L&F (PLAF) architecture, so as soon as you go beyond what is built-in, you bang your head against a wall consisting of troublesome […]
Tag: Programming
Intro to the New Operational Support Service
For the last couple weeks, I've been working on a new operational support service with, among others, Joyce Nakatumba and Fabrizio Maggi. Work has basically been focusing on two points: making a new protocol with support for sessions and making a meta-model for queries, supporting more structured requests and, in particular, responses. After spending some […]
Read More… from Intro to the New Operational Support Service
Well, isn’t this just a kick in the groin
After 6 hours of processing (thats roughly 36 hours of CPU time), SML decides to fail with a classical “You have an error in your program” failure. That’ll be grand to debug. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
First results from Java CPN simulator
I’ve compiled my first declarations in my new Java CPN simulator. As proof, I’ve added a erroneous declaration which is displayed with an error while the three declarations without error are displayed as correct. I even show a neat error message on the erroneous declaration. All of this has been accomplished without a single change […]
Memory Leaks in Java Code
I’m working on some Java code I’ve inherited. I’m doing some speed improvements in critical places, and to test my improvements, I need test cases to compare different implementations. Unfortunately, manually generating test cases is way too time consuming (need need thousands and generating one manually takes minutes or even hours). Unfortunately, randomly generated test […]
Two Protocols, One Wire
It’s not that I hate CPN Tools, but friends do not force friends to write code like the below. The problem is that I have a couple programs. They communicate over a channel using a given packet format. Unfortunately CPN Tools misunderstood the format of the packets for one specific kind of packets, misrepresenting them […]