Fiona: A Tool to Analyze Interacting Open Nets.
Peter Massuthe, Daniela Weinberg · 2008
Abstract. Fiona is a tool that has been designed to check behavioral correctness of a service and to analyze the interaction of services in service oriented architectures, for instance. It implements very efficient data structures and algorithms, which have partly been adapted from LoLA. Fiona has been proven to be applicable in practice by service designers, service publishers, and service brokers. This tool paper describes the functionality of Fiona and provides an insight into its architecture.