Abstract | ||
---|---|---|
Container-based virtualization is becoming increasingly popular in the cloud industry, as it provides services to the client as per their requirements. Requirements of the user can be described in a configuration file. Cloud provider offers the services to the client using "pay-as-you go" model. Docker provides support to a cloud provider for the creation of a container, deployment of the container, and monitoring of services running inside a container on the host and guest system both. The creation and deployment of the container by Docker efficiently is a big challenge. In this paper, we capture the behavior of the container life cycle through process algebra (CCS) and properties of it as a formula using mu-calculus. Further we capture the behavior of deployment of the container on the host machine through CCS and its properties through the model mu- calculus. We used model checking tool Concurrency Workbench of the New Century to verify the creation of the Docker container as well as deployment of it. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1002/cpe.6364 | CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE |
Keywords | DocType | Volume |
CCS, cloud computing, container, Docker, formal methods, virtualization | Journal | 33 |
Issue | ISSN | Citations |
20 | 1532-0626 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mahendra Pratap Yadav | 1 | 0 | 1.01 |
Nisha Pal | 2 | 0 | 0.34 |
Dharmendra Kumar Yadav | 3 | 0 | 0.34 |