On the Use of Behavioural Equivalences for Web Services' Development

Issue title: Fundamentals of Software Engineering 2007: Selected Contributions

Article type: Research Article

Authors: Bonchi, Filippo | Brogi, Antonio | Corfini, Sara | Gadducci, Fabio

Affiliations: Department of Computer Science, University of Pisa, Italy. {fibonchi,brogi,corfini,gadducci}@di.unipi.it

Abstract: Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems.We define a new behavioural equivalence forWeb services, based on bisimilarity and inspired by recent advances in the theory of reactive systems. The equivalence is compositional and decidable, and it provides a firm ground for enhanced behaviouraware discovery and for a sound incremental development of services and service compositions.

Journal: Fundamenta Informaticae, vol. 89, no. 4, pp. 479-510, 2008