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

DOI10.1007/978-3-540-68746-7_8zbMath1143.68474OpenAlexW1824356224MaRDI QIDQ3510856

Sara Corfini, Antonio Brogi, Fabio Gadducci, Filippo Bonchi

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)

Uses Software

• BPEL2oWFN

Cites Work

• Unnamed Item
• Unnamed Item
• Formal semantics and analysis of control flow in WS-BPEL
• A Behavioural Congruence for Web Services
• The Must Preorder Revisited
• Coalgebraic Models for Reactive Systems
• Operating Guidelines for Finite-State Services
• Fundamental Approaches to Software Engineering

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