YAWL2DVE: An automated translator for workflow verification

SSIRI 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement

Volumn , Issue , 2010, Pages 53-59

  Rabbi, Fazle ^a   Wang, Hao ^a   MacCaull, Wendy ^a  

^a ST FRANCIS XAVIER UNIVERSITY   (Canada)

Author keywords

Formal verification; Model checking; Workflow management; YAWL

Indexed keywords

COMPLEX WORKFLOWS; DESIGN VALIDATION; DEVELOPMENT CYCLE; FORMAL VERIFICATIONS; GRAPHICAL WORKFLOW; INFORMATION SYSTEM DEVELOPMENT; PARALLEL MODELS; RUN-TIME EXECUTION; STATE EXPLOSION PROBLEMS; SYSTEM DESIGN; SYSTEM DEVELOPMENT PROCESS; SYSTEM PROPERTY; TIME BUDGET; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW MANAGEMENTS; WORKFLOW MODELS; WORKFLOW VERIFICATION;

DESIGN; HEALTH CARE; HEALTH RISKS; MANAGEMENT; SOFTWARE RELIABILITY; WORK SIMPLIFICATION;

MODEL CHECKING;

EID: 77954832845     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SSIRI.2010.31     Document Type: Conference Paper

References (22)

1. T. Koulopoulos, The Workflow Imperative. New York: Van Nostrand Reinhold, New York, 1995.
2. D. Georgakopoulos, M. F. Hornick, and A. P. Sheth, "An overview of workflow management: From process modeling to workflow automation infrastructure," Distributed and Parallel Databases, vol. 3, no. 2, pp. 119-153, 1995.
3. P. Lawrence, Ed., Workflow handbook 1997. New York, NY, USA: John Wiley & Sons, Inc., 1997.
4. T. Schal and T. Schael, Workflow Management Systems for Process Organizations. Secaucus, NJ, USA: Springer-Verlag New York, Inc., 1996.
5. "Software Testing Research Survey Bibliography. available at http://people.engr.ncsu.edu/txie/testingresearchsurvey.htm. Last accessed on January: 2010."
6. W. M. P. V. D. Aalst and A. ter Hofstede, "YAWL: yet another workflow language," Information Systems, vol. 30, no. 4, pp. 245-275, June 2005.
7. W. M. P. V. D. Aalst, K. van Hee, A. ter Hofstede, N. Sidorova, H. Verbeek, M. Voorhoeve, and M. Wynn, "Soundness of workflow nets:classification, decidability, and analysis," BPMcenter.org, Tech. Rep., 2008.
8. "DIVINE project. http://divine.fi.muni.cz/. Last accessed on Jan: 2010."
9. C. Vaz and C. Ferreira, "Formal verification of workflow patterns with SPIN," Tech. Rep., April 2007, iNESC-ID Tec. Rep. 12/2007.
10. K. Verstoep, H. E. Bal, J. Barnat, and L. Brim, "Efficient large-scale model checking," in IPDPS, 2009, pp. 1-12.
11. N. Leyla, A. Mashiyat, H. Wang, and W. MacCaull, "Workflow verification with DIVINE," in 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 09) , held as part of the Formal Methods Week, 2009, work in progress report.
12. W. M. P. V. D. Aalst, A. ter Hofstede, B. Kiepuszewski, and A. Barros, "Workflow patterns," Distrib. Parallel Databases, vol. 14, no. 1, pp. 5-51, 2003.
13. N. Russell, A. ter Hofstede, W. M. P. van der Aalst, and N. Mulyar, "Workflow control-flow patterns: A revised view," BPMcenter.org, Tech. Rep., 2006.
14. F. D. Ferris, H. M. Balfour, K. Bowen, J. Farley, M. Hardwick, C. Lamontagne, M. Lundy, A. Syme, and P. West, "A model to guide hospice palliative care: Based on national principles and norms of practice," Ottawa, ON: Canadian Hospice Palliative Care Association, 2002.
15. "Guysborough Antigonish Strait Health Authority/Continuing Care Integrated Palliative Care Services Guidelines," April 2006.
16. "Center for Logic and Information, St. Francis Xavier University. http://logic.stfx.ca/. Last accessed on April: 2010."
17. "Atlantic Computational Excellence network (ACEnet) available at http://www.ace-net.ca/. Last accessed on January: 2010."
18. K. Miller and W. MacCaull, "Toward web-based careflow management systems," Emerging Technologies in Web Intelligence (JETWI) Special Issue: E-health Interoperability, vol. 1, no. 2, pp. 137-145, 2009.
19. J. Dallien, W. MacCaull, and A. Tien, "Initial work in the design and development of verifiable workflow management systems and some applications to health care," in 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. IEEE Computer Society, 2008, pp. 78-91.
20. CTL logic," in 3rd International Workshop on Process-oriented information systems in healthcare (ProHealth'09). Springer, in press.
21. H. Wang and W. MacCaull, "An efficient explicit-time description method for timed model checking," in 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 09) , held as part of the Formal Methods Week, 2009, pp. 77-91.
22. H. Wang and W. MacCaull, "Verifying real-time systems using explicit-time description methods," in Workshop on Quantitative Formal Methods: Theory and Applications, Eindhoven, The Netherlands, 2009, pp. 67-78.