Using invariants

Takuan is a dynamic invariant generation system for WS-BPEL. Its input are a WS-BPEL composition and a test suite (a set of test cases). And it produces in its output a set of invariants (asserts) hold before or after certain program instructions. Those invariants have different uses:

As you can see, these uses allow not only the external (black-box) study of a composition, but also an internal (white-box) analysis.

If you consider there is any other use or any of these uses is not rightly explained, please contact Manuel Palomo