Skip to Main content Skip to Navigation
Conference papers

No More, No Less - A Formal Model for Serverless Computing

Abstract : Serverless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design applications in terms of functions, which are then deployed on a cloud infrastructure. The infrastructure takes care of executing the functions whenever requested by remote clients, dealing automatically with distribution and scaling with respect to inbound traffic.While vendors already support a variety of programming languages for serverless computing (e.g. Go, Java, Javascript, Python), as far as we know there is no reference model yet to formally reason on this paradigm. In this paper, we propose the first core formal programming model for serverless computing, which combines ideas from both the lambda-calculus (for functions) and the pi-calculus (for communication). To illustrate our proposal, we model a real-world serverless system. Thanks to our model, we capture limitations of current vendors and formalise possible amendments.
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Friday, November 15, 2019 - 2:13:30 PM
Last modification on : Monday, November 23, 2020 - 8:46:02 AM
Long-term archiving on: : Sunday, February 16, 2020 - 5:02:09 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document


Distributed under a Creative Commons Attribution 4.0 International License



Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, et al.. No More, No Less - A Formal Model for Serverless Computing. COORDINATION 2019 - 21th International Conference on Coordination Languages and Models, Jun 2019, Kongens Lyngby, Denmark. pp.148-157, ⟨10.1007/978-3-030-22397-7_9⟩. ⟨hal-02365509⟩



Record views