Skip to main content
SpringerLink
Log in

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

  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20

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.

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

  • Li, C., Ge, J., Hu, H., & Luo, B. (2015). Method for conformance checking based on token log. Journal of Software, 26(3), 509–532.

    Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  Google Scholar 

Download references

Acknowledgements

This work was supported by the National Natural Science Foundation of China under Grant No. 61473035.

Author information

Authors and Affiliations

  1. School of Mechanical Engineering, University of Science and Technology Beijing, Beijing, 100083, China

    Yanhua Du, Ze Yu & Yang Wang

  2. School of Electro-Mechanical Engineering, Xidian University, Xi’an, 710071, Shaanxi, China

    Benyuan Yang

Authors
  1. Yanhua Du
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ze Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Benyuan Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yang Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yanhua Du.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10845-018-1394-y

Keywords

Search

Navigation