Chapter 22: Process algebra based actor model of the Web Service composition
Abstract
This chapter introduces the Actor model of the Web Service Composition based on process algebra.
Keywords
Actors; Web Services; Process Algebra
In this chapter, we will use the process algebra based actor model to model and verify Web Service composition based on the previous work [25]. In Section 22.1, we introduce the requirements of the Web Service composition runtime system; we model the Web Service composition runtime by use of the new actor model in Section 22.2; finally, we take an example to show the usage of the model in Section 22.3.
22.1 Requirements of the Web Service composition
Web Service (WS) is a distributed software component that emerged about ten ...
Get Handbook of Truly Concurrent Process Algebra now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
