Premium
A formal approach for Docker container deployment
Author(s) -
Pratap Yadav Mahendra,
Pal Nisha,
Kumar Yadav Dharmendra
Publication year - 2021
Publication title -
concurrency and computation: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.309
H-Index - 67
eISSN - 1532-0634
pISSN - 1532-0626
DOI - 10.1002/cpe.6364
Subject(s) - container (type theory) , software deployment , cloud computing , computer science , virtualization , operating system , concurrency , software engineering , engineering , mechanical engineering
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 μ ‐calculus. Further we capture the behavior of deployment of the container on the host machine through CCS and its properties through the model μ ‐ 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.