Abstract
An important issue, in an open environment like the web, is to have capability of guaranteeing the interoperability of a set of services. When the interaction scheme that the services should followed is given a priori (e.g. as a choreography or as an interaction protocol), it becomes possible to verify, before the interaction takes place, if the interactive behavior of a service (e.g. a BPEL process specification) respects it. This verification is known as ``conformance test". Recently some attemps have been done for defining conformance tests w.r.t. a protocol but these approaches fail in capturing the very nature of interoperability, turning out to be too restrictive. In this work we will give a simple definition of interaction protocol based on message exchange and on finite state automata, and we will focus on the attempt of capturing those properties that are essential to the verification the interoperability of a set of services. In particular, our desire is to define a conformance test that can guarantee a priori the interoperability of a set of peers by verifying properties of the single peer against the choreography. This capability is particularly relevant in open environments, like the web, where services are identified and composed on demand and dynamically and the system as a whole cannot be analysed.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-162

BibTeX:

@inproceedings{REWERSE-RP-2006-162,
	author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti},
	title = {A priori conformance verification for guaranteeing interoperability in open environments},
	booktitle = {Proceedings of 4th International Conference on Service Oriented Computing, Chicago, USA (4th--7th December 2006)},
	year = {2006},
	volume = {4294},
	series = {LNCS},
	pages = {339--351},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-162}
}