Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study

DOI10.1007/978-3-540-68746-7_8MaRDI QIDQ3510856zbMATH OpenOpenAlexFDO

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

Publication date 3 July 2008

Published in Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL http://eprints.adm.unipi.it/2194/1/TR%2D08%2D01.pdf.gz

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
• A Behavioural Congruence for Web Services
• A Net-based Approach to Web Services Publication and Replaceability
• Modeling and model checking web services
• Fundamental Approaches to Software Engineering

Cites work

• A Behavioural Congruence for Web Services
• Coalgebraic Models for Reactive Systems
• Formal semantics and analysis of control flow in WS-BPEL
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• Operating Guidelines for Finite-State Services
• The Must Preorder Revisited

Cited in

(8)

• A compositional framework to the specification of service protocols controllability and substitutability
• Checking protocol compatibility using Maude
• A Behavioural Congruence for Web Services
• On the use of behavioural equivalences for web services' development
• A Net-based Approach to Web Services Publication and Replaceability
• Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios
• Graph Transformations
• Fundamental Approaches to Software Engineering

Describes a project that uses

Uses Software

• BPEL2oWFN

This page was built for publication: Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study

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