Modeling and simulation of time and value throughputs of data-aware workflow processes

Time and value throughputs reflect the actual workload and gross profit of enterprises over a period of time, respectively. Both of them are of great importance to the operation of data-aware workflow processes, since they can help managers to balance production capacity at each stage as well as determine how much capital should be recycled over a period of time. However, the existing methods have not investigated both time and value throughputs of data-aware workflow processes. In this paper, we propose a new approach to modeling and simulation of time and value throughputs of data-aware workflow processes. First of all, we construct an abstract model with time and value elements. Second, the abstract model is transformed into a simulation model in CPN Tools. Finally, we obtain and analyze the time and value throughputs automatically via the simulation logs. Compared with the existing methods, this is the first attempt to propose both time and value throughputs of data-aware workflow processes, and the whole procedure of modeling and simulation of them. Furthermore, the procedure of obtaining time and value throughputs through analyzing the logs is proposed, and a prototype system is designed and developed.

[1]  MengChu Zhou,et al.  Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets , 2014, IEEE Transactions on Automation Science and Engineering.

[2]  LiGuo Huang,et al.  Process mining with token carried data , 2016, Inf. Sci..

[3]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[4]  Wil M. P. van der Aalst,et al.  Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows , 2009, CAiSE.

[5]  Roger Jianxin Jiao,et al.  Workflow simulation for operational decision support using event graph through process mining , 2012, Decis. Support Syst..

[6]  D. Janaki Ram,et al.  Optimizing Ordered Throughput Using Autonomic Cloud Bursting Schedulers , 2013, IEEE Transactions on Software Engineering.

[7]  Xitong Li,et al.  A Petri Net Approach to Mediation-Aided Composition of Web Services , 2012, IEEE Transactions on Automation Science and Engineering.

[8]  Yushun Fan,et al.  Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[9]  Beatriz López,et al.  Petri net-based process monitoring: a workflow management system for process modelling and monitoring , 2014, J. Intell. Manuf..

[10]  Xiao Liu,et al.  Selecting checkpoints along the time line: A novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[11]  Fernando Romero,et al.  Modeling workflow activities for collaborative process planning with product lifecycle management tools , 2008, J. Intell. Manuf..

[12]  Yi Liu,et al.  Modeling and Performance Evaluation of BPEL Processes: A Stochastic-Petri-Net-Based Approach , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[13]  Keqin Li,et al.  Adaptive Workflow Scheduling on Cloud Computing Platforms with IterativeOrdinal Optimization , 2015, IEEE Transactions on Cloud Computing.

[14]  Wil M. P. van der Aalst,et al.  Data-aware process mining: discovering decisions in processes using alignments , 2013, SAC '13.

[15]  Yong Bai,et al.  A Petri net simulation model for virtual construction of earthmoving operations , 2011 .

[16]  Ying Wang,et al.  Modeling resource management in the building design process by information constraint Petri nets , 2013 .

[17]  Youseef Alotaibi,et al.  Business process modelling challenges and solutions: a literature review , 2016, J. Intell. Manuf..

[18]  Jinjun Chen,et al.  A throughput maximization strategy for scheduling transaction-intensive workflows on SwinDeW-G , 2008 .

[19]  Wil M. P. van der Aalst,et al.  Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models , 2014, OTM Conferences.

[20]  Xiao Liu,et al.  Throughput based temporal verification for monitoring large batch of parallel processes , 2014, ICSSP 2014.

[21]  Jean-Marc Nicod,et al.  Optimal energy consumption and throughput for workflow applications on distributed architectures , 2014, Sustain. Comput. Informatics Syst..

[22]  van der Wmp Wil Aalst,et al.  Decomposing conformance checking on Petri nets with data , 2014 .

[23]  Mukesh Singhal,et al.  ALATO: An efficient intelligent algorithm for time optimization in an economic grid based on adaptive stochastic Petri net , 2015, J. Intell. Manuf..

[24]  Vincent Cheutet,et al.  A product design ontology for enhancing shape processing in design workflows , 2009, J. Intell. Manuf..

[25]  Roger Jianxin Jiao,et al.  Modeling production configuration using nested colored object-oriented Petri-nets with changeable structures , 2009, J. Intell. Manuf..

[26]  Fu-Shiung Hsieh,et al.  Context-aware workflow management for virtual enterprises based on coordination of agents , 2014, J. Intell. Manuf..

[27]  Cristian Mateos,et al.  Balancing throughput and response time in online scientific Clouds via Ant Colony Optimization (SP2013/2013/00006) , 2015, Adv. Eng. Softw..

[28]  Xiaofei Xu,et al.  A Value-Driven Approach for the Determination of Global Optimization Objective of Service Composition , 2010, 2010 IEEE International Conference on Services Computing.

[29]  Hua Duan,et al.  Hierarchy Modeling and Formal Verification of Emergency Treatment Processes , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[30]  Tevfik Kosar,et al.  A data-aware workflow scheduling algorithm for heterogeneous distributed systems , 2011, 2011 International Conference on High Performance Computing & Simulation.