Breaking the Kubernetes Kill Chain: Host Path Mount
Formalizing Message Exchange Patterns using BPEL light
1. Formalising Message Exchange Patterns
using BPELlight
Tammo van Lessen, Jörg Nitzsche, Frank Leymann
Institute of Architecture of Application Systems
(IAAS)
University of Stuttgart
Universitätsstr. 38
70569 Stuttgart
Germany
tammo.van.lessen@iaas.uni-stuttgart.de