Abstract
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.




















Similar content being viewed by others
References
Alotaibi, Y. (2016). Business process modelling challenges and solutions: A literature review. Journal of Intelligent Manufacturing, 27(4), 701–723.
Catalano, C. E., Camossi, E., Ferrandes, R., Cheutet, V., & Sevilmis, N. (2009). A product design ontology for enhancing shape processing in design workflows. Journal of Intelligent Manufacturing, 20(5), 553–567.
Cheng, F., Li, H., Wang, Y., Skitmore, M., & Forsythe, P. (2013). Modeling resource management in the building design process by information constraint Petri nets. Automation in Construction, 29, 92–99.
Cheng, F. F., Wang, Y., Ling, X., & Bai, Y. (2011). A Petri net simulation model for virtual construction of earthmoving operations. Automation in Construction, 20(2), 181–188.
De Leoni, M., Munoz-Gama, J., Carmona, J., & van der Aalst, W. M. P. (2014a). Decomposing alignment-based conformance checking of data-aware process models. In Proceedings of international conferences: CoopIS, and ODBASE (pp. 3–20).
De Leoni, M., Munoz-Gama, J., Carmona, J., & van der Aalst, W. M. P. (2014b). Decomposing conformance checking on Petri nets with data. BPM Center Report BPM-14-06.
De Leoni, M., & van der Aalst, W. M. P. (2013). Data-aware process mining: Discovering decisions in processes using alignments. In Proceedings of 28th annual ACM symposium on applied computing (pp. 1454–1461).
Du, Y., Li, X., & Xiong, P. (2012). A Petri net approach to mediation-aided composition of web services. IEEE Transactions on Automation Science and Engineering, 9(2), 429–435.
Du, Y., Tan, W., & Zhou, M. (2014). Timed compatibility analysis of web service composition: A modular approach based on Petri nets. IEEE Transactions on Automation Science and Engineering, 11(2), 594–606.
Du, Y., Xiong, P., Fan, Y., & Li, X. (2011). Dynamic checking and solution to temporal violations in concurrent workflow processes. IEEE Transactions on Systems, Man, and Cybernetics—Part A: Systems and Humans, 41(6), 1166–1181.
Hsieh, F. S., & Lin, J. B. (2014). Context-aware workflow management for virtual enterprises based on coordination of agents. Journal of Intelligent Manufacturing, 25(3), 393–412.
Jensen, K., Kristensen, L. M., & Wells, L. (2007). Coloured Petri nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer, 9(3–4), 213.
Li, C., Ge, J., Hu, H., & Luo, B. (2015). Method for conformance checking based on token log. Journal of Software, 26(3), 509–532.
Li, C., Ge, J., Huang, L., Hu, H., Wu, B., Yang, H., et al. (2016). Process mining with token carried data. Information Sciences, 28(20), 558–576.
Liu, K., Chen, J., Yang, Y., & Jin, H. (2008). A throughput maximization strategy for scheduling transaction-intensive workflows on swinDeW-G. Concurrency and Computation: Practice and Experience, 20(15), 1807–1820.
Liu, X., Wang, D., Yuan, D., Wang, F., & Yang, Y. (2014). Throughput based temporal verification for monitoring large batch of parallel processes. In Proceedings of 2014 international conference on software and system process (pp. 124–133).
Liu, X., Yang, Y., Cao, D., & Yuan, D. (2013). Selecting checkpoints along the time line: A novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes. In Proceedings of 35th international conference on software engineering (pp. 1281–1284).
Liu, Y., Zhang, H., Li, C., & Jiao, R. (2012). Workflow simulation for operational decision support using event graph through process mining. Decision Support Systems, 52(3), 685–697.
Lu, F., Zeng, Q., Bao, Y., & Duan, H. (2014). Hierarchy modeling and formal verification of emergency treatment processes. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 44(2), 220–234.
Othman, A., Nicod, J., Philippe, L., & Rehn-Sonigo, V. (2012). Optimal energy consumption and throughput for workflow applications on distributed architectures. Sustainable Computing: Informatics and Systems, 4(1), 44–51.
Pacini, E., Mateos, C., & Garino, C. (2015). Balancing throughput and response time in online scientific cloud via ant colony optimization. Advances in Engineering Software, 84, 31–47.
Pla, A., Gay, P., Meléndez, J., & Beatriz, L. (2014). Petri net-based process monitoring: A workflow management system for process modelling and monitoring. Journal of Intelligent Manufacturing, 25(3), 539–554.
Shojafar, M., Pooranian, Z., Meybodi, M. R., & Singhal, M. (2015). ALATO: An efficient intelligent algorithm for time optimization in an economic grid based on adaptive stochastic Petri net. Journal of Intelligent Manufacturing, 26(4), 641–658.
Siller, H. R., Estruch, A., Vila, C., Abellan, J. V., & Romero, F. (2008). Modeling workflow activities for collaborative process planning with product lifecycle management tools. Journal of Intelligent Manufacturing, 19(6), 689–700.
Sriram, K., Nathan, G., Janakiram, D., & Naveen, S. (2013). Optimizing ordered throughput suing autonomic cloud bursting schedulers. IEEE Transactions on Software Engineering, 39(11), 1564–1581.
Trčka, N., vander Aalst, W. M. P., & Sidorova, N. (2009). Data-flow anti-patterns: Discovering data-flow errors in workflows. Advanced Information Systems Engineering, 5565, 425–439.
Wang, Z. Xu, X., Chu, D., & Ma, C. (2010). A value-driven approach for the determination of global optimization objective of service composition. In Proceedings of 2010 IEEE international conference on services computing (pp. 210–217).
Xia, Y., Liu, Y., Liu, J., & Zhu, Q. (2012). Modeling and performance evaluation of BPEL processes: A stochastic-petri-net-based approach. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 42(2), 503–510.
Yin, D., & Kosar, T. (2011). A data-aware workflow scheduling algorithm for heterogeneous distributed systems. In Proceedings of 2011 international conference on high performance computing & simulation (pp. 114–120).
Zhang, F., Cao, J., Hwang, K., Li, K., & Khan, S. U. (2015). Adaptive workflow scheduling on cloud computing platforms with iterativeordinal optimization. IEEE Transactions on Cloud Computing, 3(2), 156–168.
Zhang, L., & Jiao, J. (2009). Modeling production configuration using nested colored object-oriented Petri-nets with changeable structures. Journal of Intelligent Manufacturing, 20(4), 359–378.
Acknowledgements
This work was supported by the National Natural Science Foundation of China under Grant No. 61473035.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Du, Y., Yu, Z., Yang, B. et al. Modeling and simulation of time and value throughputs of data-aware workflow processes. J Intell Manuf 30, 2355–2373 (2019). https://doi.org/10.1007/s10845-018-1394-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10845-018-1394-y