BPEL Participant Testing Project

The BPTesting project proposes a testing derivation and execution approach to highlight possible interoperability mismatches in BPEL orchestrations. Participant testing isperformed by “ad-hoc” test suites derived by Model Checking techniques. Data generation for tests is guided by a Genetic Algorithm.

BPTesting sourceforge web site is availables at link.

BP4PA Tool

The BP4PA project proposes a suitable approach to represent, assess and continuously improve Public Administration applied processes, according to domain requirements and exploiting formal verification techniques. The approach is implemented in the BP4PA tool.

BP4PA sourceforge web site is availables at link.

Cowslip Tool

The Cowslip project proposes a Java based verification approach for business processes modeled using the BPMN 2.0 standard. We defined a precise mapping for each element of the BPMN 2.0 notation to Java. The relations among the different elements of a BPMN 2.0 specification are supported by the inclusion of specific attributes and methods in the created Java objects. The behavior of a set of interrelated objects, corresponding to a BPMN 2.0 specification, can be explored using an algorithm we defined for the purpose. Such an algorithm permits to avoid the state explosion phenomenon using an ad-hoc unfolding technique.

BPCowslip sourceforge web site is availables at link.