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.

[1]  Wil M. P. van der Aalst,et al.  Service Mining: Using Process Mining to Discover, Check, and Improve Service Behavior , 2013, IEEE Transactions on Services Computing.

[2]  Christian Stahl,et al.  Deciding Substitutability of Services with Operating Guidelines , 2009, Trans. Petri Nets Other Model. Concurr..

[3]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[4]  Niels Lohmann,et al.  Wendy: A Tool to Synthesize Partners for Services , 2011, Fundam. Informaticae.

[5]  Hassan Abolhassani,et al.  Web service usage mining: mining for executable sequences , 2007 .

[6]  Jan Mendling,et al.  Understanding the Occurrence of Errors in Process Models Based on Metrics , 2007, OTM Conferences.

[7]  Walter Vogler,et al.  A trace-based service semantics guaranteeing deadlock freedom , 2012, Acta Informatica.

[8]  C. G. E. Boender,et al.  A Bayesian Analysis of the Number of Cells of a Multinomial Distribution , 1983 .

[9]  Walid Gaaloul,et al.  Web Service Mining and Verification of Properties: An Approach Based on Event Calculus , 2006, OTM Conferences.

[10]  Boudewijn F. van Dongen,et al.  Replaying history on process models for conformance checking and performance analysis , 2012, WIREs Data Mining Knowl. Discov..

[11]  Peter Massuthe,et al.  Operating guidelines for services , 2009 .

[12]  Mike P. Papazoglou,et al.  Web Services - Principles and Technology , 2007 .

[13]  Fabio Casati,et al.  Protocol Discovery from Imperfect Service Interaction Logs , 2007, 2007 IEEE 23rd International Conference on Data Engineering.

[14]  Wil M. P. van der Aalst,et al.  Genetic process mining: an experimental evaluation , 2007, Data Mining and Knowledge Discovery.

[15]  Josep Carmona,et al.  Genet: A Tool for the Synthesis and Mining of Petri Nets , 2009, 2009 Ninth International Conference on Application of Concurrency to System Design.

[16]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[17]  Ying Zou,et al.  An approach for mining web service composition patterns from execution logs , 2010, 2010 12th IEEE International Symposium on Web Systems Evolution (WSE).

[18]  Ricardo Seguel,et al.  Process Mining Manifesto , 2011, Business Process Management Workshops.

[19]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[20]  Niels Lohmann,et al.  A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 , 2007, WS-FM.

[21]  Fabio Casati,et al.  Event correlation for process discovery from web service interaction logs , 2011, The VLDB Journal.

[22]  Fabio Casati,et al.  Toward Web Service Dependency Discovery for SOA Management , 2008, 2008 IEEE International Conference on Services Computing.

[23]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[24]  Fabio Casati,et al.  Message Correlation and Web Service Protocol Mining from Inaccurate Logs , 2010, 2010 IEEE International Conference on Web Services.

[25]  Wil M. P. van der Aalst,et al.  Conformance Checking of Services Using the Best Matching Private View , 2012, WS-FM.

[26]  Schahram Dustdar,et al.  Discovering web service workflows using web services interaction mining , 2006, Int. J. Bus. Process. Integr. Manag..

[27]  Boudewijn F. van Dongen,et al.  Alignment Based Precision Checking , 2012, Business Process Management Workshops.

[28]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[29]  Fabio Casati,et al.  Deriving Protocol Models from Imperfect Service Conversation Logs , 2008, IEEE Transactions on Knowledge and Data Engineering.

[30]  Boudewijn F. van Dongen,et al.  On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery , 2012, OTM Conferences.

[31]  Niels Lohmann,et al.  Operating Guidelines for Finite-State Services , 2007, ICATPN.