Premium
Workflow temporal verification for monitoring parallel business processes
Author(s) -
Liu Xiao,
Wang Dingxian,
Yuan Dong,
Wang Futian,
Yang Yun
Publication year - 2016
Publication title -
journal of software: evolution and process
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.371
H-Index - 29
eISSN - 2047-7481
pISSN - 2047-7473
DOI - 10.1002/smr.1761
Subject(s) - computer science , throughput , workflow , timeline , overhead (engineering) , distributed computing , quality of service , software , business process , response time , real time computing , process (computing) , database , software engineering , operating system , work in process , computer network , archaeology , marketing , business , wireless , history
Workflow temporal verification is conducted to guarantee on‐time completion, which is one of the most important QoS (Quality of Service) dimensions for business processes running in the cloud. However, as today's business systems often need to handle a large number of concurrent customer requests, conventional response‐time based process monitoring strategies conducted in a one‐by‐one fashion cannot be applied efficiently to a large batch of parallel processes because of significant time overhead. Similar situations may also exist in software companies where multiple software projects are carried out at the same time by software developers. To address such a problem, based on a novel runtime throughput consistency model, this paper proposes a QoS‐aware throughput based checkpoint selection strategy, which can dynamically select a small number of checkpoints along the system timeline to facilitate the temporal verification of throughput constraints and achieve the target on‐time completion rate. Experimental results demonstrate that our strategy can achieve the best efficiency and effectiveness compared with the state‐of‐the‐art as and other representative response‐time based checkpoint selection strategies. Copyright © 2016 John Wiley & Sons, Ltd.