Service Discovery from Observed Behavior While Guaranteeing Deadlock Freedom in Collaborations

Service Discovery from Observed Behavior While Guaranteeing Deadlock Freedom in Collaborations

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.

I gave this talk at the 11th International Conference on Service Oriented Computing (ICSOC 2013), December 2-5, 2013, Berlin, Germany.

A74925d7ae100e7295de1c4f569771f5?s=128

Richard Müller

December 05, 2013
Tweet