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

4 Citations (Scopus)

Abstract

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
PublisherSpringer
Pages358-373
ISBN (Print)978-3-642-45004-4
DOIs
Publication statusPublished - 2013

Publication series

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

Fingerprint

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