Chapter 23: Process algebra based actor model of the QoS-aware Web Service orchestration engine
Abstract
This chapter introduces the Actor model of the QoS-aware Web Service Orchestration Engine 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 the QoS-aware Web Service orchestration engine based on the previous work [26]. In Section 23.1, we introduce the requirements of the QoS-aware Web Service orchestration engine; we model the QoS-aware Web Service orchestration engine by use of the new actor model in Section 23.2; finally, we take an example to show the usage of the model in Section 23.3.
23.1 Requirements of the QoS-aware Web Service ...
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.
