On the Common Support of Workflow Type and Instance Changes under Correctness Constraints Export

@incollection{citeulike:2646418, abstract = {The capability to rapidly adapt in-progress workflows (WF) is an essential requirement for any workflow system. Adaptations may concern single WF instances or a WF type as a whole. Especially for long-running business processes it is indispensable to propagate WF type changes to in-progress WF instances as well. Very challenging in this context is to correctly adapt a (potentially large) collection of WF instances, which may be in different states and to which various ad-hoc changes may have been previously applied. This paper presents a generic framework for the common support of both WF type and WF instance changes. We establish fundamental correctness principles, position formal theorems, and show how WF instances can be automatically and efficiently migrated to a modified WF schema. The adequate treatment of conflicting WF type and WF instance changes adds to the overall completeness of our approach. By offering more flexibility and adaptability the so promising WF technology will finally deliver.}, author = {Reichert, Manfred and Rinderle, Stefanie and Dadam, Peter}, citeulike-article-id = {2646418}, citeulike-linkout-0 = {http://www.springerlink.com/content/eqg07ru0cvv65lnv}, journal = {On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE}, keywords = {changes, constraints, correctness, for, formal, framework, under, workflow}, pages = {407--425}, posted-at = {2008-04-09 17:38:02}, priority = {2}, title = {On the Common Support of Workflow Type and Instance Changes under Correctness Constraints}, url = {http://www.springerlink.com/content/eqg07ru0cvv65lnv}, year = {2003} }

TY - CHAP ID - citeulike:2646418 L3 - citeulike-article-id:2646418 N2 - The capability to rapidly adapt in-progress workflows (WF) is an essential requirement for any workflow system. Adaptations may concern single WF instances or a WF type as a whole. Especially for long-running business processes it is indispensable to propagate WF type changes to in-progress WF instances as well. Very challenging in this context is to correctly adapt a (potentially large) collection of WF instances, which may be in different states and to which various ad-hoc changes may have been previously applied. This paper presents a generic framework for the common support of both WF type and WF instance changes. We establish fundamental correctness principles, position formal theorems, and show how WF instances can be automatically and efficiently migrated to a modified WF schema. The adequate treatment of conflicting WF type and WF instance changes adds to the overall completeness of our approach. By offering more flexibility and adaptability the so promising WF technology will finally deliver. JF - On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE EP - 425 TI - On the Common Support of Workflow Type and Instance Changes under Correctness Constraints SP - 407 KW - changes KW - constraints KW - correctness KW - for KW - formal KW - framework KW - under KW - workflow AU - Reichert, Manfred AU - Rinderle, Stefanie AU - Dadam, Peter PY - 2003/// UR - http://www.springerlink.com/content/eqg07ru0cvv65lnv ER -