HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Formalizing Event-Driven Behavior of Serverless Applications

Abstract : We present new operational semantics for serverless computing that model the event-driven relationships between serverless functions, as well as their interaction with platform services such as databases and object stores. These semantics precisely encapsulate how control transfers between functions, both directly and through reads and writes to platform services. We use these semantics to define the notion of the service call graph for serverless applications that captures program flows through functions and services. Finally, we construct service call graphs for 12 serverless JavaScript applications, using a prototype of our call graph construction algorithm, and we evaluate their accuracy.
Document type :
Conference papers
Complete list of metadata

Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, April 20, 2021 - 4:26:35 PM
Last modification on : Tuesday, April 20, 2021 - 5:20:03 PM


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

Please log in to resquest access to the document


Distributed under a Creative Commons Attribution 4.0 International License



Matthew Obetz, Anirban Das, Timothy Castiglia, Stacy Patterson, Ana Milanova. Formalizing Event-Driven Behavior of Serverless Applications. 8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.19-29, ⟨10.1007/978-3-030-44769-4_2⟩. ⟨hal-03203223⟩



Record views