Conference
Towards workflow verification
Abstract
Workflow Management Systems (WfMS) that help the design and deployment of automated business processes as well as aid their execution and monitoring continue to evolve. Many WfMS use Workflow Patterns as their basic modeling constructs; however, the absence of verification facilities in most WfMS causes the resulting implementation to be at risk of undesirable runtime executions. Model Checking can facilitate the verification of workflow …
Authors
Leyla N; Mashiyat AS; Wang H; MacCaull W
Pagination
pp. 253-267
Publisher
Association for Computing Machinery (ACM)
Publication Date
2010
DOI
10.1145/1923947.1923974
Name of conference
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10