Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Y...
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...