Probabilistic time management of choreographies

Abstract

Temporal conformance of web service compositions guarantees the timely execution of service calls, decreases follow-up costs and increases QoS by avoiding deadline violations. Since it is impossible to make certain statements about the execution intervals of upcoming web service executions - mainly due to varying activity durations and hard-to-predict branching behavior - we propose a probabilistic approach to model flow structures and temporal information, and show how to validate the temporal conformance of web service compositions. © 2009 Springer Berlin Heidelberg.