Chapter 21: Process algebra based actor model of cloud resource management
Abstract
This chapter introduces the Actor model of cloud resource management based on process algebra.
Keywords
Actors; Process Algebra; Clouds
In this chapter, we will use the process algebra based actor model to model and verify cloud resource management. In Section 21.1, we introduce the requirements of cloud resource management; we model the cloud resource management by use of the new actor model in Section 21.2.
21.1 Requirements of cloud resource management
There are various kinds of resources in cloud computing, such as computational ability, storage ability, operation system platform, middle-ware platform, development platform, and various common and specific softwares. ...
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.
