Service discovery from observed behavior while guaranteeing deadlock freedom in collaborations

R. Müller, C. Stahl, W.M.P. Aalst, van der, M. Westergaard

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationService-Oriented Computing (11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings)
EditorsS. Basu, C. Pautasso, L. Zhang, X. Fu
Place of PublicationBerlin
ISBN (Print)978-3-642-45004-4
Publication statusPublished - 2013

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Service discovery from observed behavior while guaranteeing deadlock freedom in collaborations'. Together they form a unique fingerprint.

Cite this