A Behavioural Congruence for Web Services

DOI10.1007/978-3-540-75698-9_16MaRDI QIDQ3508530zbMATH OpenOpenAlexFDO

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

Publication date 1 July 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75698-9_16

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the use of behavioural equivalences for web services' development
• Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
• A Net-based Approach to Web Services Publication and Replaceability
• An algebraic theory for web service contracts
• Contract-based discovery of Web services modulo simple orchestrators

Cited in

(10)

• Static and dynamic property-preserving updates
• Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
• Open Petri Nets: Non-deterministic Processes and Compositionality
• On the use of behavioural equivalences for web services' development
• Deciding Substitutability of Services with Operating Guidelines
• scientific article; zbMATH DE number 2163044 (Why is no real title available?)
• Graph Transformations
• Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
• Most General Property-Preserving Updates
• Structural and behavioural compatibility of graphical service specifications

This page was built for publication: A Behavioural Congruence for Web Services

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3508530)