- A rule language to express constraints on the currently edited model
- The ability to integrate a simple Java validator
- An extensible builder in which one anyone could put its set a validators => A builder requires a nature (ie workflow become project and not simple files)
Some students at the University of Augsburg are currently working on a validation plugin. Basically, it allows to validate a structured process model whether there might be a deadlock. Their work builds on a research paper by some guys at IBM and considers work already done in the Workflow Code Generation Framework. Their schedule is to finish the conceptual design in November 2008 and the implementation until January 2009.