Formalizing Event-Driven Behavior of Serverless Applications - Service-Oriented and Cloud Computing Access content directly
Conference Papers Year : 2020

Formalizing Event-Driven Behavior of Serverless Applications

Matthew Obetz
  • Function : Author
  • PersonId : 1096545
Anirban Das
  • Function : Author
  • PersonId : 1096546
Timothy Castiglia
  • Function : Author
  • PersonId : 1096547
Stacy Patterson
  • Function : Author
  • PersonId : 1096548
Ana Milanova
  • Function : Author
  • PersonId : 1096549


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.
Fichier principal
Vignette du fichier
493832_1_En_2_Chapter.pdf (384.43 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03203223 , version 1 (20-04-2021)





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⟩
30 View
43 Download



Gmail Facebook X LinkedIn More