Differences

This shows you the differences between two versions of the page.

Link to this comparison view

online:pncomplexityanalysis [2009/05/26 14:41] (current)
Line 1: Line 1:
 +====== PetriNet complexity analysis ======
 +
 +===== Authors =====
 +
 +  * Daniel Teixeira, University of Madeira, Funchal, Portugal (Master student)
 +  * João Sobrinho, University of Madeira, Funchal, Portugal (Master student)
 +  * Jorge Cardoso, University of Madeira, Funchal, Portugal (Supervisor)
 +
 +
 +===== Input =====
 +
 +
 +  * PetriNet
 +
 +
 +===== Description =====
 +
 +This analysis plugin calculates the values for several business process complexity metrics for the PetriNet. The complexity metrics that are available can be grouped into several categories:
 +
 +  * Simple size metrics: the number of nodes, the number of transitions,​ the number ​ places, the number of AND-, OR- and XOR-connectors.
 +  * Coupling metrics: the density metric [5]
 +  * Control-flow metrics: the control flow complexity metric [1, 2, 3].
 +
 +
 +===== Examples / Test cases =====
 +
 +A number of test cases, including some small examples, are available on the ProM trac-site
 +===== Related work / Publications =====
 +
 +
 +==== [1]. ====
 + 
 +  Cardoso, J. (2005a).
 +  How to Measure the Control-flow Complexity of Web Processes and Workflows.
 +  In: Fischer, L., ed., Workflow Handbook 2005, pp. 199-212, Lighthouse Point.
 +==== [2]. ====
 + 
 +  Cardoso, J. (2005b).
 +  Control-flow Complexity Measurement of Processes and Weyuker'​s Properties.
 +  Proceedings of the 6th International Enformatika Conference (IEC 2005), International Academy of Sciences, Budapest, Hungary. Vol. 8pp. 213-218.
 +==== [3]. ====
 + 
 +  Cardoso, J. (2006).
 +  Process control-flow complexity metric: An empirical validation,
 +  IEEE International Conference on Services Computing (IEEE SCC 06), Chicago, USA, pp. 167-173, IEEE Computer Society.
 +==== [4]. ====
 + 
 +  Cardoso, J.; Mendling, J.; Neuman, G. & Reijers, H.A. (2006).
 +  A discourse on complexity of process models. In: Eder, J.; Dustdar, S. et al, editors, BPM 2006 workshops. Lecture Notes in Computer Science 4103, Springer-Verlag,​ Berlin, pp. 115-126.
 +==== [5]. ====
 + 
 +  Mendling, J. (2006).
 +  Testing Density as a Complexity Metric for EPCs.
 +  Technical Report JM-2006-11-15. Vienna University of Economics and Business Administration.
 +==== [6]. ====
 + 
 +  Vanderfeesten,​ J. Cardoso, J. Mendling, H.A. Reijers, W.M.P. van der Aalst.
 +  Quality Metrics for Business Process Models.
 +  In: L. Fischer, ed.: BPM and Workflow Handbook 2007, Future Strategies Inc., Lighthouse Point, Florida, USA, 2007, pp. 179-190.
 +