Functional Interaction Analysis for open Workflow Nets
Fiona Version 2.0, June 22nd, 2007

Overview

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.

Contents

last changes: 22.07.2007