A behavioural congruence for web services

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 proposed equiv...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the 2007 international conference on Fundamentals of software engineering pp. 240 - 256
Main Authors Bonchi, Filippo, Brogi, Antonio, Corfini, Sara, Gadducci, Fabio
Format Conference Proceeding
LanguageEnglish
Published Berlin, Heidelberg Springer-Verlag 17.04.2007
SeriesACM Conferences
Online AccessGet full text

Cover

More Information
Summary: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 proposed equivalence is compositional and decidable, and it provides a firm ground for enhanced behaviour-aware discovery and for a sound incremental development of services and service compositions.
ISBN:3540756973
9783540756972
DOI:10.5555/1775223.1775239