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.
CITATION STYLE
Obetz, M., Das, A., Castiglia, T., Patterson, S., & Milanova, A. (2020). Formalizing Event-Driven Behavior of Serverless Applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12054 LNCS, pp. 19–29). Springer. https://doi.org/10.1007/978-3-030-44769-4_2
Mendeley helps you to discover research relevant for your work.