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 behaviour-aware discovery and for a sound incremental development of services and service compositions.
|Autori:||BONCHI F; BROGI A; CORFINI S; GADDUCCI F|
|Titolo:||On the use of behavioural equivalences for web services' development|
|Anno del prodotto:||2008|
|Appare nelle tipologie:||1.1 Articolo in rivista|