Chapter
Compensable WorkFlow Nets
Abstract
In recent years, Workflow Management Systems (WfMSs) have been studied and developed to provide automated support for defining and controlling various activities associated with business processes. The automated support reduces costs and overall execution time for business processes, by improving the robustness of the process and increasing productivity and quality of service. As business organizations continue to become more dependant on …
Authors
Rabbi F; Wang H; MacCaull W
Book title
Formal Methods and Software Engineering
Series
Lecture Notes in Computer Science
Volume
6447
Pagination
pp. 122-137
Publisher
Springer Nature
Publication Date
2010
DOI
10.1007/978-3-642-16901-4_10