Distributed and Parallel Databases
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Foundations of web transactions
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Fault, Compensation and Termination in WS-BPEL 2.0 -- A Comparative Analysis
Web Services and Formal Methods
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
UTP semantics for web services
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
COWS: a timed service-oriented calculus
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Formal methods and hybrid real-time systems
A formalisation of adaptable pervasive flows
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
A probabilistic BPEL-like language
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
Timing issues in web services composition
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
A WSDL-based type system for WS-BPEL
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
The rely/guarantee approach to verifying concurrent BPEL programs
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Interface-Based service composition with aggregation
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
| Hi-index | 0.00 |
webπ is a recent process calculus that has been inspired by the emerging Web Services technologies. In this paper we explore the expressivity of webπ by discussing two case studies. The first case study is about the formal semantics of the transactional construct of BPEL - the scope construct. The second case study is about a standard pattern of Web Services composition - the speculative parallelism - that allows several alternative activities to start; only the first one that completes is taken into account while the other ones are aborted.