Modeling and Verifying Timed Compensable Workflows and an Application to Health Care-Reference-Cited by-同舟云学术

Modeling and Verifying Timed Compensable Workflows and an Application to Health Care

Published:2011 Issue: Volume: Page:244-259
ISSN:0302-9743
Container-title:Formal Methods for Industrial Critical Systems
language:
Short-container-title:

Author:

Mashiyat Ahmed Shah,Rabbi Fazle,MacCaull Wendy

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24431-5_18

Reference25 articles.

1. Lecture Notes in Computer Science;F. Rabbi,2010

2. Lecture Notes in Computer Science;A.S. Mashiyat,2010

3. Han, M., Thiery, T., Song, X.: Managing exceptions in the medical workflow systems. In: The 28Th International Conference on Software Engineering (ICSE 2006), pp. 741–750. ACM Press, New York (2006)

4. Lecture Notes in Computer Science;J. Li,2008

5. Rabbi, F.: Design, development and verification of a compensable workflow modeling language. M.Sc. Thesis, St. Francis Xavier University (expected 2011) Preliminary version, http://logic.stfx.ca/~software/DDVCWML.pdf .

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Compliance checking of software processes: A systematic literature review;Journal of Software: Evolution and Process;2022-03-14

2. Generating Log Requirements for Checking Conformance against Healthcare Standards using Workflow Modelling;Proceedings of the Australasian Computer Science Week Multiconference;2019-01-29

3. A Model Slicing Method for Workflow Verification;Electronic Notes in Theoretical Computer Science;2013-05

4. T □: A Domain Specific Language for Rapid Workflow Development;Model Driven Engineering Languages and Systems;2012

5. Model Checking Workflow Monitors and Its Application to a Pain Management Process;Foundations of Health Informatics Engineering and Systems;2012