A Behavioural Congruence for Web Services

13 years 10 months ago

Download www.smepp.org

Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We deﬁne 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 ﬁrm ground for enhanced behaviour-aware discovery and for a sound incremental development of services and service compositions.

Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio

Real-time Traffic

FSEN 2007 | Heterogeneous Software Systems | Sound Incremental Development | Web Services |

claim paper

» ContractBased Discovery and Composition of Web Services

» Discovering Web Services Using Behavioural Constraints and Ontology

» Runtime Verification of Behavioural Conformance for Conversational Web Services

» On the Use of Behavioural Equivalences for Web Services Development

» Which Contribution of the Web Services in the Improvement of Web Searching A Behavioural S...

» Compositional Specification of Web Services Via Behavioural Equivalence of Nets A Case Stu...

» The Role of Local Knowledge in Complex Web Service Reconfiguration

» Formalizing WSBPEL Business Processes Using Process Algebra

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	FSEN
Authors	Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci

Comments (0)

Sciweavers

A Behavioural Congruence for Web Services

FSEN 2007 | Heterogeneous Software Systems | Sound Incremental Development | Web Services |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers