| Orginal Article |
|
|
|
|
|
CFP-based method to extract execution instance representation graphs from business processes |
Liang SONG1,2,Lijie WEN1( ),Jianmin WANG1,Guoping LIU2,Tinglong LIU2,Jianyong YANG2 |
1. School of Software, Tsinghua University, Beijing 100084, China
2. Logistic Information Center, Chengdu Military Region, Chengdu 610015, China |
|
|
|
|
Abstract Studies of the semantic behavioral properties of business processes are limited by state explosion caused by interleaving of concurrent events. The complete finite prefix (CFP) method avoids the state explosion problem as much as possible and gives full reachability information for process models. However, CFP may lose temporal-order information between tasks. This paper describes a CFP based method that extracts all execution instances from business process models. Thus, this method overcomes the shortcomings of the CFP method. The method uses back traversing from the co-sets of leaf nodes to the initial nodes to extract the execution instances in process models that are then represented by an execution instance representation graph. Tests with a process model repository show that this method is very efficient and accurate.
|
| Keywords
process model
behavioral property
execution instance
complete finite prefix
|
|
Issue Date: 15 April 2014
|
|
|
| [1] |
Awad A. BPMN-Q: A language to query business processes [C]// Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'07). Bonn, Germany: Greenhill, 2007: 115-128.
|
| [2] |
Beeri C, Eyal A, Kamenkovich S, et al.Querying business processes with BP-QL [J]. Information Systems, 2008, 33(6): 477-507.
url: http://dx.doi.org/10.1016/j.is.2008.02.005
|
| [3] |
Awad A, Decker G, Weske M. Efficient compliance checking using bpmn-q and temporal logic [C]// Proceedings of the 6th International Conference on Business Process Management. Berlin, Germany: Springer-Verlag, 2008: 326-341.
|
| [4] |
Weidlich M, Mendling J, Weske M. Efficient consistency measurement based on behavioral profiles of process models[J]. IEEE Transactions on Software Engineering, 2011, 37(3), 410-429.
url: http://dx.doi.org/10.1109/TSE.2010.96
|
| [5] |
Becker M, Laue R. A comparative survey of business process similarity measures[J]. Computers in Industry, 2012, 63(2): 148-167.
url: http://dx.doi.org/10.1016/j.compind.2011.11.003
|
| [6] |
Mcmillan K L. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits [C]// Proceedings of the Fourth International Workshop on Computer Aided Verification. London, UK: Springer-Verlag, 1992: 164-177.
|
| [7] |
Mcmillan K L. Atechnique of a state space search based on unfolding[J]. Formal Methods in System Design, 1995, 6(1): 45-65.
url: http://dx.doi.org/10.1007/BF01384314
|
| [8] |
Murata T. Petri nets: Properties, analysis and applications[J]. Proceedings of the IEEE, 1989, 77(4): 541-580.
url: http://dx.doi.org/10.1109/5.24143
|
| [9] |
Aalst W M P van der. The application of Petri nets to workflow management[J].The Journal of Circuits, Systems and Computers, 1998, 8(1): 21-66.
url: http://dx.doi.org/10.1142/S0218126698000043
|
| [10] |
Nielsen M, Plotkin G D, Winskel G. Petri nets, event structures and domains [C]// Proceedings of the International Symposium on Semantics of Concurrent Computation. London, UK: Springer-Verlag, 1979: 266-284.
|
| [11] |
Engelfriet J. Branching processes of petri nets[J]. Acta Informatica, 1991, 28(6): 575-591.
url: http://dx.doi.org/10.1007/BF01463946
|
| [12] |
Clarke E M, Grumberg O, Peled D. Model Checking [M]. Massachusetts, USA: MIT Press, 1999.
|
| [13] |
Esparza J, Römer S, Vogler W. An improvement of mcmillan's unfolding algorithm[J]. Formal Methods in System Design, 2002, 20(3): 285-310.
url: http://dx.doi.org/10.1023/A:1014746130920
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
| |
Shared |
|
|
|
|
| |
Discussed |
|
|
|
|
2014,
Vol. 54
