High-level workflow model of Amazon Lambda