IDEAS home Printed from https://ideas.repec.org/a/gam/jftint/v16y2024i9p319-d1470635.html
   My bibliography  Save this article

Workflow Trace Profiling and Execution Time Analysis in Quantitative Verification

Author

Listed:
  • Guoxin Su

    (School of Computing and Information Technology, University of Wollongong, Wollongong, NSW 2522, Australia)

  • Li Liu

    (School of Big Data & Software Engineering, Chongqing University, Chongqing 400044, China)

Abstract

Workflows orchestrate a collection of computing tasks to form a complex workflow logic. Different from the traditional monolithic workflow management systems, modern workflow systems often manifest high throughput, concurrency and scalability. As service-based systems, execution time monitoring is an important part of maintaining the performance for those systems. We developed a trace profiling approach that leverages quantitative verification (also known as probabilistic model checking ) to analyse complex time metrics for workflow traces. The strength of probabilistic model checking lies in the ability of expressing various temporal properties for a stochastic system model and performing automated quantitative verification. We employ semi-Makrov chains (SMCs) as the formal model and consider the first passage times (FPT) measures in the SMCs. Our approach maintains simple mergeable data summaries of the workflow executions and computes the moment parameters for FPT efficiently. We describe an application of our approach to AWS Step Functions, a notable workflow web service. An empirical evaluation shows that our approach is efficient for computer high-order FPT moments for sizeable workflows in practice. It can compute up to the fourth moment for a large workflow model with 10,000 states within 70 s.

Suggested Citation

  • Guoxin Su & Li Liu, 2024. "Workflow Trace Profiling and Execution Time Analysis in Quantitative Verification," Future Internet, MDPI, vol. 16(9), pages 1-19, September.
    • Handle: RePEc:gam:jftint:v:16:y:2024:i:9:p:319-:d:1470635
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/1999-5903/16/9/319/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/1999-5903/16/9/319/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Wil van der Aalst & Kees van Hee, 2004. "Workflow Management: Models, Methods, and Systems," MIT Press Books, The MIT Press, edition 1, volume 1, number 0262720469, April.
    2. Zhang, Xuan & Hou, Zhenting, 2012. "The first-passage times of phase semi-Markov processes," Statistics & Probability Letters, Elsevier, vol. 82(1), pages 40-48.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Simon Gorecki & Jalal Possik & Gregory Zacharewicz & Yves Ducq & Nicolas Perry, 2020. "A Multicomponent Distributed Framework for Smart Production System Modeling and Simulation," Sustainability, MDPI, vol. 12(17), pages 1-26, August.
    2. Sagnika Sen & T. S. Raghu, 2013. "Interdependencies in IT Infrastructure Services: Analyzing Service Processes for Optimal Incentive Design," Information Systems Research, INFORMS, vol. 24(3), pages 822-841, September.
    3. Andreas C. Georgiou & Alexandra Papadopoulou & Pavlos Kolias & Haris Palikrousis & Evanthia Farmakioti, 2021. "On State Occupancies, First Passage Times and Duration in Non-Homogeneous Semi-Markov Chains," Mathematics, MDPI, vol. 9(15), pages 1-17, July.
    4. Grossmann, Wolf D. & Grossmann, Iris & Steininger, Karl W., 2014. "Solar electricity generation across large geographic areas, Part II: A Pan-American energy system based on solar," Renewable and Sustainable Energy Reviews, Elsevier, vol. 32(C), pages 983-993.
    5. Pereira José Luís & e Sá Jorge Oliveira, 2017. "Process-Based Information Systems Development: Taking Advantage of a Component-Based Infrastructure," Business Systems Research, Sciendo, vol. 8(2), pages 71-83, September.
    6. Tyrychtr, Jan, 2017. "Economic Value of Information Systems in Agriculture: Cohesion and Coupling of Information Elements," AGRIS on-line Papers in Economics and Informatics, Czech University of Life Sciences Prague, Faculty of Economics and Management, vol. 9(3), September.
    7. Tyson R. Browning & Ernst Fricke & Herbert Negele, 2006. "Key concepts in modeling product development processes," Systems Engineering, John Wiley & Sons, vol. 9(2), pages 104-128, June.
    8. D. Venkatesan & S. Sridhar, 2017. "A novel programming framework for architecting next generation enterprise scale information systems," Information Systems and e-Business Management, Springer, vol. 15(2), pages 489-534, May.
    9. Daehyoun Choi & Hind R’bigui & Chiwoon Cho, 2021. "Candidate Digital Tasks Selection Methodology for Automation with Robotic Process Automation," Sustainability, MDPI, vol. 13(16), pages 1-18, August.
    10. D. Venkatesan & S. Sridhar, 0. "A novel programming framework for architecting next generation enterprise scale information systems," Information Systems and e-Business Management, Springer, vol. 0, pages 1-46.
    11. Richard L. Warr, 2014. "Numerical Approximation of Probability Mass Functions via the Inverse Discrete Fourier Transform," Methodology and Computing in Applied Probability, Springer, vol. 16(4), pages 1025-1038, December.
    12. Yuqing Sun & Joshua Zhexue Huang & Xiangxu Meng, 2011. "Integrating constraints to support legally flexible business processes," Information Systems Frontiers, Springer, vol. 13(2), pages 171-189, April.
    13. Christian Engel & Philipp Ebel & Jan Marco Leimeister, 2022. "Cognitive automation," Electronic Markets, Springer;IIM University of St. Gallen, vol. 32(1), pages 339-350, March.
    14. Reijers, H.A. & Vanderfeesten, I. & van der Aalst, W.M.P., 2016. "The effectiveness of workflow management systems: A longitudinal study," International Journal of Information Management, Elsevier, vol. 36(1), pages 126-141.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jftint:v:16:y:2024:i:9:p:319-:d:1470635. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.