On the Use of Behavioural Equivalences for Web Services' Development

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 for Web 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.

• Type: Journal
• Year: 2008
• Where: FUIN
• Authors: Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
• Keywords: FUIN 2008, Heterogeneous Software Systems, Sound Incremental Development, Web Services