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: ProM
Proposal for Inspector for Properties of Canvas-like Visualizations in ProM 6
While ProM does not contain editors, it does contain many graphical visualizations. A non-trivial subset of these are canvas-like in nature, a very prominent example being graph-like visualizations. One of the graph-like visualizations is the Petri net visualizer. Canvas-like visualizations share the property that they are scalable – a fact that is often needed to […]
Read More… from Proposal for Inspector for Properties of Canvas-like Visualizations in ProM 6
Playing With/Suffering SlickerBox
In ProM we use SlickerBox, a library providing a pretty neat skinning of Swing. Unfortunately, SlickerBox is very time-consuming and difficult to use if you go beyond the (very few) supported widgets. I wanted to set up a preferences pane for the new operational support service, and for shit and giggles decided to actually make […]
Embedding Declare in CPN Models via ProM
Now, this is really cool! This is part 3 of my series on embedding CPN simulation into ProM. In this part, things get really interesting, and the actual goal of the effort becomes evident: we want to be able to embed external programs seamlessly into CPN models. We do this by replacing a sub-page with […]
Cosimulating CPN models and ProM plugins and Application to ProM Orchestration
Brought to you by the "it's not a title, it's an abstract"-foundation, today let's look at a continuation of my post from last Friday. The idea is that instead of "just" simulating the CPN model, we can attach ProM plugins that can monitor either places or transitions. Such monitors can collect information from the execution […]
Read More… from Cosimulating CPN models and ProM plugins and Application to ProM Orchestration
Sneak Preview: Annotation of CPN Models in ProM
Friday, I showed CPN simulation in ProM. While generating logs directly inside ProM is neat and all, the ultimate goal is to be able to set up test scenarios specified using CPN models and to use CPN model implementations of complex algorithms for testing. This is still work in progress, so I cannot give a […]
Read More… from Sneak Preview: Annotation of CPN Models in ProM