Towards a formal model for composable container systems

Fabio Burco, Marino Miculan, Marco Peressotti

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Abstrakt

In modern cloud-based architectures, containers play a central role: they provide powerful isolation mechanisms such that developers can focus on the logic and dependencies of applications while system administrators can focus on deployment and management issue. We propose a formal model for container-based systems, using the framework of Bigraphical Reactive Systems (BRSs). These graphs can be analysed and manipulated using techniques from graph theory: properties about containers can be formalized as properties of the corresponding bigraphic representations. Moreover, it turns out that the composition of containers as performed by e.g. docker-compose, corresponds precisely to the composition of the corresponding bigraphs inside an "environment bigraph" which in turn is obtained directly from the YAML file used to define the composition of containers.

OriginalsprogEngelsk
Titel35th Annual ACM Symposium on Applied Computing, SAC 2020
ForlagAssociation for Computing Machinery
Publikationsdato30. mar. 2020
Sider173-175
ISBN (Elektronisk)978-1-4503-6866-7
DOI
StatusUdgivet - 30. mar. 2020
Begivenhed35th Annual ACM Symposium on Applied Computing, SAC 2020 - Brno, Tjekkiet
Varighed: 30. mar. 20203. apr. 2020

Konference

Konference35th Annual ACM Symposium on Applied Computing, SAC 2020
LandTjekkiet
ByBrno
Periode30/03/202003/04/2020
SponsorACM Special Interest Group on Applied Computing (SIGAPP)

Fingeraftryk Dyk ned i forskningsemnerne om 'Towards a formal model for composable container systems'. Sammen danner de et unikt fingeraftryk.

  • Computing Embeddings of Directed Bigraphs

    Chiapperini, A., Miculan, M. & Peressotti, M., 2020, Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Proceedings. Gadducci, F. & Kehrer, T. (red.). Springer, s. 38-56 (Lecture Notes in Computer Science, Bind 12150).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang

Citationsformater