Computation of Behavioural Profiles of Processes Models

In this report, we introduce the notion of a behavioural profile that captures the essential behavioural constraints of a process model. We also show, how these profiles can be calculated in O(n) time for sound free-choice Petri nets with n places and transitions.

[1]  Colette Rolland,et al.  Bridging the Gap Between Organisational Needs and ERP Functionality , 2000, Requirements Engineering.

[2]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[3]  Antti Valmari,et al.  The State Explosion Problem , 1996, Petri Nets.

[4]  Remco M. Dijkman,et al.  Measuring Similarity between Business Process Models , 2008, CAiSE.

[5]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[6]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[7]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

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

[9]  Ming-Chien Shan,et al.  Business Process Management: 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008, Proceedings , 2008, BPM 2008.

[10]  Kirk D. Fiedler,et al.  Exploring the success of information technology enabled business process reengineering , 1994 .

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

[12]  Javier Esparza,et al.  A polynomial algorithm to compute the concurrency relation of free-choice Signal Transition Graphs , 1995 .

[13]  Ursula Goltz,et al.  Refinement of actions and equivalence notions for concurrent systems , 2001, Acta Informatica.

[14]  Wil M. P. van der Aalst,et al.  Inheritance of behavior , 2001, J. Log. Algebraic Methods Program..

[15]  Michael Schrefl,et al.  Behavior-consistent specialization of object life cycles , 2002, TSEM.

[16]  Wil M. P. van der Aalst,et al.  Quantifying process equivalence based on observed behavior , 2008, Data Knowl. Eng..

[17]  Stephen Warshall,et al.  A Theorem on Boolean Matrices , 1962, JACM.

[18]  Roland Meyer,et al.  Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets , 2005, SDL Forum.

[19]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

[20]  Ernest Teniente,et al.  Validation of mappings between schemas , 2008, Data Knowl. Eng..