{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:02:57Z","timestamp":1761807777900},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"S14","content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2012,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:sec>\n            <jats:title>Background<\/jats:title>\n            <jats:p>Hospitals nowadays have to serve numerous patients with limited medical staff and equipment while maintaining healthcare quality. Clinical pathway informatics is regarded as an efficient way to solve a series of hospital challenges. To date, conventional research lacks a mathematical model to describe clinical pathways. Existing vague descriptions cannot fully capture the complexities accurately in clinical pathways and hinders the effective management and further optimization of clinical pathways.<\/jats:p>\n          <\/jats:sec>\n          <jats:sec>\n            <jats:title>Method<\/jats:title>\n            <jats:p>Given this motivation, this paper presents a clinical pathway management platform, the Imperial Clinical Pathway Analyzer (ICPA). By extending the stochastic model performance evaluation process algebra (PEPA), ICPA introduces a clinical-pathway-specific model: clinical pathway PEPA (CPP). ICPA can simulate stochastic behaviours of a clinical pathway by extracting information from public clinical databases and other related documents using CPP. Thus, the performance of this clinical pathway, including its throughput, resource utilisation and passage time can be quantitatively analysed.<\/jats:p>\n          <\/jats:sec>\n          <jats:sec>\n            <jats:title>Results<\/jats:title>\n            <jats:p>A typical clinical pathway on stroke extracted from a UK hospital is used to illustrate the effectiveness of ICPA. Three application scenarios are tested using ICPA: 1) redundant resources are identified and removed, thus the number of patients being served is maintained with less cost; 2) the patient passage time is estimated, providing the likelihood that patients can leave hospital within a specific period; 3) the maximum number of input patients are found, helping hospitals to decide whether they can serve more patients with the existing resource allocation.<\/jats:p>\n          <\/jats:sec>\n          <jats:sec>\n            <jats:title>Conclusions<\/jats:title>\n            <jats:p>ICPA is an effective platform for clinical pathway management: 1) ICPA can describe a variety of components (state, activity, resource and constraints) in a clinical pathway, thus facilitating the proper understanding of complexities involved in it; 2) ICPA supports the performance analysis of clinical pathway, thereby assisting hospitals to effectively manage time and resources in clinical pathway.<\/jats:p>\n          <\/jats:sec>","DOI":"10.1186\/1471-2105-13-s14-s4","type":"journal-article","created":{"date-parts":[[2012,10,17]],"date-time":"2012-10-17T22:31:28Z","timestamp":1350513088000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA"],"prefix":"10.1186","volume":"13","author":[{"given":"Xian","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yike","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Bradley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benita","family":"Cox","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Dickinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Kitney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,7]]},"reference":[{"key":"5331_CR1","first-page":"157","volume":"1","author":"J Emanuele","year":"2007","unstructured":"Emanuele J, Koetter L: Workflow opportunities and challenges in healthcare. 2007 BPM & Workflow Handbook. 2007, 1: 157-","journal-title":"2007 BPM & Workflow Handbook"},{"key":"5331_CR2","unstructured":"Health informatics. [http:\/\/en.wikipedia.org\/wiki\/Health_informatics]"},{"issue":"5","key":"5331_CR3","first-page":"23","volume":"18","author":"K Zander","year":"1988","unstructured":"Zander K: Nursing case management: strategic management of cost and quality outcomes. The Journal of nursing administration. 1988, 18 (5): 23-","journal-title":"The Journal of nursing administration"},{"issue":"2","key":"5331_CR4","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.ppedcard.2003.01.014","volume":"18","author":"K Uzark","year":"2003","unstructured":"Uzark K: Clinical pathways for monitoring and advancing congenital heart disease care. Progress in Pediatric cardiology. 2003, 18 (2): 131-139. 10.1016\/j.ppedcard.2003.01.014.","journal-title":"Progress in Pediatric cardiology"},{"issue":"4","key":"5331_CR5","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1016\/j.ijnurstu.2007.04.001","volume":"45","author":"B Hunter","year":"2008","unstructured":"Hunter B, Segrott J: Re-mapping client journeys and professional identities: A review of the literature on clinical pathways. International journal of nursing studies. 2008, 45 (4): 608-625. 10.1016\/j.ijnurstu.2007.04.001.","journal-title":"International journal of nursing studies"},{"issue":"12","key":"5331_CR6","doi-asserted-by":"publisher","first-page":"941","DOI":"10.7326\/0003-4819-123-12-199512150-00008","volume":"123","author":"S Pearson","year":"1995","unstructured":"Pearson S, Goulart-Fisher D, Lee T: Critical pathways as a strategy for improving care: problems and potential. Annals of Internal Medicine. 1995, 123 (12): 941-","journal-title":"Annals of Internal Medicine"},{"issue":"4","key":"5331_CR7","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1161\/01.CIR.101.4.461","volume":"101","author":"N Every","year":"2000","unstructured":"Every N, Hochman J, Becker R, Kopecky S, Cannon C: Critical pathways: a review. Circulation. 2000, 101 (4): 461-10.1161\/01.CIR.101.4.461.","journal-title":"Circulation"},{"issue":"3","key":"5331_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.ijmedinf.2010.10.012","volume":"80","author":"J Schuld","year":"2011","unstructured":"Schuld J, Sch\u00e4fer T, Nickel S, Jacob P, Schilling M, Richter S: Impact of IT-supported clinical pathways on medical satisfaction. A prospective longitudinal cohort study. international journal of medical informatics. 2011, 80 (3): 151-156. 10.1016\/j.ijmedinf.2010.10.012.","journal-title":"international journal of medical informatics"},{"key":"5331_CR9","doi-asserted-by":"publisher","first-page":"S397","DOI":"10.1016\/j.ijmedinf.2007.04.012","volume":"76","author":"R Lenz","year":"2007","unstructured":"Lenz R, Blaser R, Beyer M, Heger O, Biber C, B\u00e4umlein M, Schnabel M: IT support for clinical pathways-lessons learned. International Journal of Medical Informatics. 2007, 76: S397-S402.","journal-title":"International Journal of Medical Informatics"},{"issue":"2","key":"5331_CR10","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.cmpb.2006.03.001","volume":"82","author":"S Wakamiya","year":"2006","unstructured":"Wakamiya S, Yamauchi K: A new approach to systematization of the management of paper-based clinical pathways. Computer methods and programs in biomedicine. 2006, 82 (2): 169-176. 10.1016\/j.cmpb.2006.03.001.","journal-title":"Computer methods and programs in biomedicine"},{"issue":"9","key":"5331_CR11","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1016\/j.annepidem.2004.01.003","volume":"14","author":"L Hauck","year":"2004","unstructured":"Hauck L, Adler L, Mulla Z: Clinical pathway care improves outcomes among patients hospitalized for community-acquired pneumonia. Annals of epidemiology. 2004, 14 (9): 669-675. 10.1016\/j.annepidem.2004.01.003.","journal-title":"Annals of epidemiology"},{"issue":"7","key":"5331_CR12","first-page":"620","volume":"42","author":"K Usui","year":"2004","unstructured":"Usui K, Kage H, Soda M, Noda H, Ishihara T: [Electronic clinical pathway for community acquired pneumonia (e-CP CAP)]. Nihon Koky\u016bki Gakkai zasshi = the journal of the Japanese Respiratory Society. 2004, 42 (7): 620-","journal-title":"Nihon Koky\u016bki Gakkai zasshi = the journal of the Japanese Respiratory Society"},{"key":"5331_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-642-03262-2_7","volume":"5626","author":"S Abidi","year":"2009","unstructured":"Abidi S, Shayegani S: Modeling the form and function of clinical practice guidelines: An ontological model to computerize clinical practice guidelines. Knowledge Management for Health Care Procedures. 2009, 5626: 81-91. 10.1007\/978-3-642-03262-2_7.","journal-title":"Knowledge Management for Health Care Procedures"},{"key":"5331_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A compositional approach to performance modelling","author":"J Hillston","year":"1996","unstructured":"Hillston J: A compositional approach to performance modelling. 1996, 12, Cambridge Univ Pr"},{"issue":"7616","key":"5331_CR15","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1136\/bmj.39296.711563.AD","volume":"335","author":"H Markus","year":"2007","unstructured":"Markus H: Improving the outcome of stroke. BMJ: British Medical Journal. 2007, 335 (7616): 359-10.1136\/bmj.39296.711563.AD.","journal-title":"BMJ: British Medical Journal"},{"issue":"23","key":"5331_CR16","doi-asserted-by":"publisher","first-page":"3102","DOI":"10.1001\/jama.283.23.3102","volume":"283","author":"M Alberts","year":"2000","unstructured":"Alberts M, Hademenos G, Latchaw R, Jagoda A, Marler J, Mayberg M, Starke R, Todd H, Viste K, Girgus M: Recommendations for the establishment of primary stroke centers. JAMA: the journal of the American Medical Association. 2000, 283 (23): 3102-10.1001\/jama.283.23.3102.","journal-title":"JAMA: the journal of the American Medical Association"},{"key":"5331_CR17","volume-title":"Faster access to better stroke care","author":"R Damage","year":"2005","unstructured":"Damage R: Faster access to better stroke care. 2005, London, United Kingdom: National Audit Office"},{"key":"5331_CR18","volume-title":"London: National Audit Office","author":"R Saka","year":"2005","unstructured":"Saka R, McGuire A, Wolfe C: Economic burden of stroke in England. London: National Audit Office. 2005"},{"issue":"2","key":"5331_CR19","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1177\/1460458209361142","volume":"16","author":"S Bayer","year":"2010","unstructured":"Bayer S, Petsoulas C, Cox B, Honeyman A, Barlow J: Facilitating stroke care planning through simulation modelling. Health Informatics Journal. 2010, 16 (2): 129-10.1177\/1460458209361142.","journal-title":"Health Informatics Journal"},{"key":"5331_CR20","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.artmed.2008.07.013","volume":"46","author":"C Combi","year":"2009","unstructured":"Combi C, Gozzi M, Oliboni B, Juarez J, Marin R: Temporal similarity measures for querying clinical work flows. Artificial intelligence in medicine. 2009, 46: 37-54. 10.1016\/j.artmed.2008.07.013.","journal-title":"Artificial intelligence in medicine"},{"issue":"8","key":"5331_CR21","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1016\/j.compbiomed.2009.05.005","volume":"39","author":"Y Ye","year":"2009","unstructured":"Ye Y, Jiang Z, Diao X, Yang D, Du G: An ontology-based hierarchical semantic modeling approach to clinical pathway work flows. Computers in biology and medicine. 2009, 39 (8): 722-732. 10.1016\/j.compbiomed.2009.05.005.","journal-title":"Computers in biology and medicine"},{"key":"5331_CR22","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1109\/CSIE.2009.196","volume":"7","author":"R Han","year":"2009","unstructured":"Han R, Liu Y, Wen L, Wang J: Probability timing constraint WF-nets and their application to timing schedulability analysis of work flow management systems. Computer Science and Information Engineering, 2009 WRI World Congress on, IEEE. 2009, 7: 669-673.","journal-title":"Computer Science and Information Engineering, 2009 WRI World Congress on, IEEE"},{"key":"5331_CR23","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/APWeb.2010.36","volume-title":"Web Conference (APWEB), 2010 12th International Asia-Pacific, IEEE","author":"R Han","year":"2010","unstructured":"Han R, Liu Y, Wen L, Wang J: Dynamically analyzing time constraints in work flow systems with fixed-date constraint. Web Conference (APWEB), 2010 12th International Asia-Pacific, IEEE. 2010, 99-105."},{"key":"5331_CR24","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-05148-7_5","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"R Han","year":"2009","unstructured":"Han R, Liu Y, Wen L, Wang J: A two-stage probabilistic approach to manage personal worklist in work flow management systems. On the Move to Meaningful Internet Systems: OTM 2009. 2009, 24-41."},{"key":"5331_CR25","first-page":"41","volume-title":"Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the, IEEE","author":"T Suto","year":"2007","unstructured":"Suto T, Bradley J, Knottenbelt W: Performance Trees: Expressiveness and quantitative semantics. Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the, IEEE. 2007, 41-50."},{"key":"5331_CR26","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.cmpb.2008.05.007","volume":"92","author":"D Baksi","year":"2008","unstructured":"Baksi D: Formal interaction specification in public health surveillance systems using [pi]-calculus. Computer methods and programs in biomedicine. 2008, 92: 115-120. 10.1016\/j.cmpb.2008.05.007.","journal-title":"Computer methods and programs in biomedicine"},{"key":"5331_CR27","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-540-69814-2_4","volume":"5119","author":"J Bradley","year":"2008","unstructured":"Bradley J, Hayden R, Knottenbelt W, Suto T: Extracting response times from fluid analysis of performance models. Performance Evaluation: Metrics, Models and Benchmarks. 2008, 5119: 29-43. 10.1007\/978-3-540-69814-2_4.","journal-title":"Performance Evaluation: Metrics, Models and Benchmarks"},{"key":"5331_CR28","unstructured":"SINAP-latest results|Royal College of Physicians. [http:\/\/www.rcplondon.ac.uk\/latest-results]"},{"issue":"2","key":"5331_CR29","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1214\/aoms\/1177704594","volume":"33","author":"A Albert","year":"1962","unstructured":"Albert A: Estimating the infinitesimal generator of a continuous time, finite state Markov process. The Annals of Mathematical Statistics. 1962, 33 (2): 727-753. 10.1214\/aoms\/1177704594.","journal-title":"The Annals of Mathematical Statistics"},{"issue":"4","key":"5331_CR30","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1530873.1530880","volume":"36","author":"M Tribastone","year":"2009","unstructured":"Tribastone M, Duguid A, Gilmore S: The PEPA eclipse plugin. ACM SIGMETRICS Performance Evaluation Review. 2009, 36 (4): 28-33. 10.1145\/1530873.1530880.","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"5331_CR31","volume-title":"Numerical solution of Markov chains. Kluwer","author":"J Hillston","year":"1995","unstructured":"Hillston J: Compositional Markovian modelling using a process algebra. Numerical solution of Markov chains. Kluwer. 1995"},{"issue":"5","key":"5331_CR32","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/32.922715","volume":"27","author":"S Gilmore","year":"2001","unstructured":"Gilmore S, Hillston J, Ribaudo M: An efficient algorithm for aggregating PEPA models. Software Engineering, IEEE Transactions on. 2001, 27 (5): 449-464. 10.1109\/32.922715.","journal-title":"Software Engineering, IEEE Transactions on"},{"key":"5331_CR33","first-page":"33","volume-title":"Quantitative Evaluation of Systems, 2005. Second International Conference on the, IEEE","author":"J Hillston","year":"2005","unstructured":"Hillston J: Fluid flow approximation of PEPA models. Quantitative Evaluation of Systems, 2005. Second International Conference on the, IEEE. 2005, 33-42."},{"key":"5331_CR34","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/974043.974051","volume":"29","author":"A Argent-Katwala","year":"2004","unstructured":"Argent-Katwala A, Bradley J, Dingle N: Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. ACM SIGSOFT Software Engineering Notes. 2004, 29: 49-58. 10.1145\/974043.974051.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"5331_CR35","volume-title":"26th UK Performance Engineering Workshop (UKPEW 2010)","author":"A Stefanek","year":"2010","unstructured":"Stefanek A, Hayden R, Bradley J: GPA-Tool for rapid analysis of very large scale PEPA models. 26th UK Performance Engineering Workshop (UKPEW 2010). 2010"},{"key":"5331_CR36","unstructured":"NHS London|Stroke data. [http:\/\/www.london.nhs.uk\/your-nhs-in-london\/publishing-nhs-data\/stroke-data]"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-13-S14-S4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T19:41:56Z","timestamp":1630525316000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/1471-2105-13-S14-S4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":36,"journal-issue":{"issue":"S14","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["5331"],"URL":"https:\/\/doi.org\/10.1186\/1471-2105-13-s14-s4","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9]]},"assertion":[{"value":"7 September 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"S4"}}