Takuan

Takuan is an invariant generator for Web Service compositions written in the WS-BPEL language, based on the Daikon dynamic invariant detector from MIT. It can generate properties which hold at various points of the composition, by analyzing the execution logs of a test suite.

Source code and additional documentation is available from its Gitlab project. The improvements made to Daikon were contributed back to Daikon itself in 2014.

Note: “Takuan” comes from the Japanese dish with the same name, which uses the large Japanese radishes known as “daikon” (which are the inspiration for the Daikon logo). The karate gi was a last minute occurrence.

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.