|Functional Interaction Analysis for open
Fiona Version 2.0, June 22nd, 2007
Fiona is a tool to automatically analyze the interactional behavior of a given oWFN. It provides two techniques: it checks for the controllability of the given net by computing the interactiong graph, and it calculates the operating guideline for the net. Fiona uses oWFNs as its input which is the output of the tool BPEL2oWFN. Thus, any BPEL process can easily be analyzed.
To compute the states of the graph nodes Fiona uses the efficient algorithms that were implemented in the model checking tool LoLA
Fiona was written by Peter Massuthe and Daniela Weinberg. It is part of the Tools4BPEL project funded by the Bundesministerium für Bildung und Forschung (BMBF). See http://www.informatik.hu-berlin.de/top/tools4bpel for details.