TY - GEN
T1 - Service discovery from observed behavior while guaranteeing deadlock freedom in collaborations
AU - Müller, R.
AU - Stahl, C.
AU - Aalst, van der, W.M.P.
AU - Westergaard, M.
PY - 2013
Y1 - 2013
N2 - Process discovery techniques can be used to derive a process model from observed example behavior (i.e., an event log). As the observed behavior is inherently incomplete and models may serve different purposes, four competing quality dimensions—fitness, precision, simplicity, and generalization—have to be balanced to produce a process model of high quality.
In this paper, we investigate the discovery of processes that are specified as services. Given a service S and observed behavior of a service P interacting with S, we discover a service model of P. Our algorithm balances the four quality dimensions based on user preferences. Moreover, unlike existing discovery approaches, we guarantees that the composition of S and P is deadlock free. The service discovery technique has been implemented in ProM and experiments using service models of industrial size demonstrate the scalability or our approach.
AB - Process discovery techniques can be used to derive a process model from observed example behavior (i.e., an event log). As the observed behavior is inherently incomplete and models may serve different purposes, four competing quality dimensions—fitness, precision, simplicity, and generalization—have to be balanced to produce a process model of high quality.
In this paper, we investigate the discovery of processes that are specified as services. Given a service S and observed behavior of a service P interacting with S, we discover a service model of P. Our algorithm balances the four quality dimensions based on user preferences. Moreover, unlike existing discovery approaches, we guarantees that the composition of S and P is deadlock free. The service discovery technique has been implemented in ProM and experiments using service models of industrial size demonstrate the scalability or our approach.
U2 - 10.1007/978-3-642-45005-1_25
DO - 10.1007/978-3-642-45005-1_25
M3 - Conference contribution
SN - 978-3-642-45004-4
T3 - Lecture Notes in Computer Science
SP - 358
EP - 373
BT - Service-Oriented Computing (11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings)
A2 - Basu, S.
A2 - Pautasso, C.
A2 - Zhang, L.
A2 - Fu, X.
PB - Springer
CY - Berlin
ER -