Fiona - Checking behavioral correctness of a service
Fiona is a tool designed to check behavioral correctness of a service and to analyze the interaction of services in service oriented architectures, for instance. As a formal model for services Fiona uses open nets, a special class of Petri nets. Fiona implements very efficient data structures and algorithms, which have partly been adapted from the Petri net model-checker LoLA. Fiona has been proven to be applicable in practice by service designers, service publishers, and service brokers.
at the WSFM 2008, a paper was presented containing a case study on efficient controllability analysis of open nets.
We suggest the following papers to get an overview of the analysis scenarios for which Fiona is designed.
tar xfz fiona-y.xx.tar.gz
To check the built binary, you can (optionally) execute
which runs a bunch of self-tests.
After compilation, you can install the generated binary with
For more details, see the INSTALL file of the distribution.
The (most recent, possibly buggy) source code is also available from an anonymous Subversion repository typing2)
After checking out, the following commands have to be executed to prepare Fiona to compile
cd fiona autoreconf -iv
Now, Fiona can be configured and compiled with
Note that in order to compile the source code from the repository, you need to following tools:
Fiona is a stand-alone tool, designed to be used as a background service of existing service modeling tools. Therefore, Fiona has no graphical interface - the analysis task as well as the input file(s) are given to Fiona via command line options. Fiona then computes and reports the result and, if needed, generates the output file(s).
A documentation is available here.
Currently, we are not aware of any bugs.
1) It compiles on Microsoft Windows (with Cygwin), Sun Solaris, GNU/Linux, and Mac OS X.
2) For more information, see https://gna.org/svn/?group=service-tech.