Towards workflow verification

Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research, CASCON'10

Volumn , Issue , 2010, Pages 253-267

  Leyla, Nazia ^a   Mashiyat, Ahmed Shah ^a   Wang, Hao ^a   MacCaull, Wendy ^a  

^a ST FRANCIS XAVIER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TRANSLATORS; BUSINESS PROCESS; MODELING CONSTRUCT; PARALLEL MODELS; RESEARCH GROUPS; RUN-TIME EXECUTION; SPACE REQUIREMENTS; STATE EXPLOSION PROBLEMS; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW MODELS; WORKFLOW PATTERNS; WORKFLOW VERIFICATION;

COMPUTER AIDED MANUFACTURING; DISTRIBUTED COMPUTER SYSTEMS; MANAGEMENT; RESEARCH; SPECIFICATION LANGUAGES; WORK SIMPLIFICATION;

MODEL CHECKING;

EID: 79951875903     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1923947.1923974     Document Type: Conference Paper

References (30)

1. Atlantic Computational Excellence Network (ACEnet). Available at http://www.ace-net.ca/, last accessed on August 2010.
2. J. Barnat, L. Brim, and P. Ročkai. Scalable Multi-core LTL Model Checking. In Model Checking Software, Lecture Notes in Computer Science 4595, Springer, 2007. pp. 187-203
3. J. Barnat, L. Brim, and P. Ročkai. DiVinE 2.0: High-Performance Model Checking. In the 1st International Workshop on High Performance Computational Systems Biology (HiBi 2009), IEEE Computer Society Press, 2009. pp. 31-32
4. H. H. Bi and J. L. Zhao. Applying Propositional Logic to Workflow Verification. Information Technology and Management, 5(3-4), 2004. pp. 293-318
5. 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.
6. Centre for Logic and Information. Available at http://logic.stfx.ca/, last accessed on August 2010.
7. S. Giro. Workflow Verification: A New Tower of Babel. In AIS-CMS International Modeling and Simulation Multicon-ference, Buenos Aires, Argentina, 2007.
8. S. Lu, A. Bernstein, and P. Lewis. Automatic Workflow Verification and Generation. Theoretical Computer Science, 353(1), 2006. pp. 71-92 (Pubitemid 43277728)
9. CTL Logic. In the 3rd International Workshop on Process-oriented Information Systems in Healthcare (Pro-Health'09), in Conjunction with BPM 2009. Lecture Notes in Business Information Processing 43, 2009. pp. 623-634
10. Petri Nets World. Available at http://www.informatik.uni-hamburg.de/-TGI/ PetriNets/, last accessed on August 2010.
11. R. Milner. Communication and Concurrency. Prentice Hall International (UK) Ltd, 1995.
12. A. S. Mashiyat, F. Rabbi, H. Wang, and W. MacCaull. An Automated Translator for Model Checking Time Constrained Workflow Systems. In the 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Lecture Notes in Computer Science 6371, Springer, 2010. To appear.
13. Workflow Patterns. Available at http://www.workflowpatterns.com, last accessed on August 2010.
14. F. Puhlmann and M. Weske. Using the Pi-calculus for Formalizing Workflow Patterns. Business Process Management, 2005. pp. 153-168 (Pubitemid 41490761)
15. F. Rabbi, H. Wang, and W. MacCaull. YAWL2DVE: An Automated Translator For Workflow Verification. In the Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement, IEEE Computer Society, 2010. pp. 53-59
16. F. Rabbi, H. Wang, and W. MacCaull. Compensable WorkFlow Net. In the 12th International Conference on Formal Engineering Methods (ICFEM 2010), In press
17. N. Russell, A. ter Hofstede, W. M. P. Van Der Aalst, and N. Mulyar. Workflow Control-flow Patterns: A Revised View. Technical Report, BPMcenter.org, 2006.
18. R. Seindal. GNU M4 Manual. GNU Press, 2004.
19. K. I. Shine. Health Care Quality and How to Achieve It. New York, NY: Milbank Memorial Fund, 2002.
20. H. Song and K. Compton. Verifying Picalculus Processes by Promela Translation. Technical Report, Univ. of Michigan, 2003.
21. C. Stefansen. SmaWL: A Small Workflow Language Based on CCS. In the 17th Conference on Advanced Information Systems Engineering (CAiSE), Porto, Portugal, Short Paper Proceedings, 2005.
22. W. M. P. van der Aalst and A. ter Hofs-ede. YAWL: Yet Another Workflow Language. Information Systems, 30(4), 2005. pp. 245-275 (Pubitemid 40415107)
23. W. M. P. van der Aalst, A. ter Hofstede, B. Kiepuszewski, and A. Barros. Workflow Patterns. Distrib. Parallel Databases, 14(1), 2003. pp. 5-51
24. W. M. P. van der Aalst, K. van Hee, A. ter Hofstede, N. Sidorova, H. Verbeek, M. Voorhoeve, and M.T. Wynn. Soundness of Workflow Nets: Classification, Decidability, and Analysis. Technical Report, BPMcenter.org, 2008.
25. C. Vaz and C. Ferreira. Formal Verification of Workflow Patterns with Spin. Technical Report, April 2007. INESC-ID Tec. Rep. 12/2007.
26. H. M. W. Verbeek, W. M. P. van der Aalst, and A. H. M. ter Hofstede. Verifying Workflows with Cancellation Regions and Or-Joins: An Approach Based on Relaxed Soundness and Invariants. The Computer Journal, 50(3), 2007. pp. 294-314
27. 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). Electronic Proceedings in Theoretical Computer Science 14, 2009. pp. 77-91
28. 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. Electronic Proceedings in Theoretical Computer Science 13, 2009. pp. 67-79
29. WfMC. Workflow Management Coalition Terminology and Glossary. Technical Report, 1999. Winchester, UK.
30. P. Y. H. Wong and J. Gibbons. On Specifying and Visualising Long-Running Empirical Studies. In Proceedings of the 1st International Conference on Model Transformation (Theory and Practice of Model Transformations), Lecture Notes in Computer Science 5063, 2008.