Tag: ProM
New Declare Package in ProM
ProM has had support for Declare for quite some time. Support has never been the best, because the Declare package just embedded all of the Declare tool inside ProM, which is of course not desirable. The old data-structure had some problems, mostly that it […]
I’m the Shakespeare of commit-messages.
I’m like the William Shakespeare of commit-messages. Yes, those are indeed words, but put together like that they make no sense.
Beautiful.
Java API changes and different versions running on clients and continuous integration server. Beautiful.
The Experts are Lying: Software Development is EASY
The other day, I read a blog post that was uncharacteristically spot on. It is called McDonald’s Theory. The theory just states that it is easier to start from a bad foundation than from no foundation. The idea is that when a group of […]
ProM 6 Plug-in Development; Part 4: Connections
In part 1 of this tutorial, we wen over the basics of ProM plug-in development and in parts 2 and 3 we extended our plug-in to better interact with ProM and the user. In this installment, we’ll look at how to make your plug-in […]
ProM 6 Plug-in Development; Part 3: Provided Objects, Wizards, and More on Objects
In Part 1 of this tutorial we went over the basics, and in Part 2 we made our plug-in integrate better with ProM by making it possible to load and save objects, by providing a user-interface for configuration, and by providing progress and logging […]
