ADEPT flex - Supporting Dynamic Changes of Workflows Without Loosing Control (1998)
| Venue: | Journal of Intelligent Information Systems |
| Citations: | 217 - 29 self |
BibTeX
@ARTICLE{Reichert98adeptflex,
author = {Manfred Reichert and Peter Dadam},
title = {ADEPT flex - Supporting Dynamic Changes of Workflows Without Loosing Control},
journal = {Journal of Intelligent Information Systems},
year = {1998},
volume = {10},
pages = {93--129}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. Today's workflow management systems (WFMSs) are only applicable in a secure and safe manner if the business process (BP) to be supported is well-structured and there is no need for ad hoc deviations at runtime. As only few BPs are static in this sense, this significantly limits the applicability of current workflow (WF) technology. On the other hand, to support dynamic deviations from premodeled task sequences must not mean that the responsibility for the avoidance of consistency problems and run-time errors is now completely shifted to the (naive) end user. In this paper we present a formal foundation for the support of dynamic structural changes of running WF instances. Based upon a formal WF model (ADEPT), we define a complete and minimal set of change operations (ADEPT flex ) that support users in modifying the structure of a running WF, while maintaining its (structural) correctness and consistency. The correctness properties defined by ADEPT are used to determine whether a spec...
