Takuan is an open-source WS-BPEL dynamic invariant generator which can infer invariants from WS-BPEL process definitions by generalizing from a set of samples of their data and control flows. It leverages modified versions of the ActiveBPEL WS-BPEL engine, the Daikon dynamic invariant generator and the BPELUnit unit testing framework.

For more information about Takuan (including download) check our wiki or contact Manuel Palomo

Takuan has been legally registered in the "Registro Territorial de la Propiedad Intelectual de la Junta de Andalucía" with the code: CA-76-10

Issue tracking

open closed Total
Errores 0 0 0
Soporte 0 0 0

View all issues