Managing Change and Time in Dynamic Workflow Processes

Sadiq, Shazia; Marjanovic, Olivera; Orłowska, Maria E.

doi:10.1142/s0218843000000077

Cited by 138 publications

(125 citation statements)

References 10 publications

Supporting

Mentioning

120

Contrasting

Unclassified

Order By: Relevance

“…2. Correctness: The ultimate ambition of all adaptive WF meta models must be correctness of dynamic changes [1,2,4,5,6,7,8]; i.e., introducing changes to the runtime system without causing inconsistencies or errors (like deadlocks or improperly invoked activity programs). Therefore, adequate correctness criteria are needed.…”

Section: Completenessmentioning

confidence: 99%

“…3). Alternatively, special (model-inherent) markings of activities and/or control edges, which represent a consolidated view on the history logs, can be used [6,7,8] (cf. Fig.…”

Section: Approaches Dealing With Flexibilitymentioning

confidence: 99%

“…This analysis leads to two instance categories -compliant and non-compliant WF instances [4,6]. We first discuss how the different approaches concretely carry out the migration of compliant WF instances (instance adaptations).…”

Section: Change Realizationmentioning

confidence: 99%

“…There is a multitude of approaches dealing with flexibility in WfMS [1,2,4,5,6,7,8]. All of them present very interesting, but partially strongly differing ideas and solutions.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Evaluation of Correctness Criteria for Dynamic Workflow Changes

Rinderle

Reichert

Dadam

2003

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The capability to dynamically adapt in-progress workflows (WF) is an essential requirement for any workflow management system (WfMS). This fact has been recognized by the WF community for a long time and different approaches in the area of adaptive workflows have been developed so far. They either enable WF type changes and their propagation to in-progress WF instances or (ad-hoc) changes of single WF instances. Thus, at first glance, many of the major problems related to dynamic WF changes seem to be solved. However, this picture changes when digging deeper into the approaches and considering implementation and usability issues as well. This paper presents important criteria for the correct adaptation of running workflows and analyzes how actual approaches satisfy them. At this, we demonstrate the strengths of the different approaches and provide additional solutions to overcome current limitations. These solutions comprise comprehensive correctness criteria as well as migration rules for change realization.

show abstract

Section: Completenessmentioning

confidence: 99%

“…3). Alternatively, special (model-inherent) markings of activities and/or control edges, which represent a consolidated view on the history logs, can be used [6,7,8] (cf. Fig.…”

Section: Approaches Dealing With Flexibilitymentioning

confidence: 99%

Section: Change Realizationmentioning

confidence: 99%

“…There is a multitude of approaches dealing with flexibility in WfMS [1,2,4,5,6,7,8]. All of them present very interesting, but partially strongly differing ideas and solutions.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Evaluation of Correctness Criteria for Dynamic Workflow Changes

Rinderle

Reichert

Dadam

2003

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…In the workflow literature several proposals have been made aiming at adaptive process management (e.g., [29,30,31,32,33,34,35,36,37]). The ADEPT technology, for example, enables controlled changes at the process type as well as the process instance level (for details see [38,39,40]).…”

Section: Related Workmentioning

confidence: 99%

A Formal Framework for Adaptive Access Control Models

Rinderle

Reichert

Journal on Data Semantics IX

View full text Add to dashboard Cite

Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an enterprise architecture. In particular, changes of organizational structures often become necessary. The information about organizational entities and their relationships is maintained in organizational models. Therefore the quick and correct adaptation of these models is fundamental to adequately cope with organizational changes. However, model changes alone are not sufficient to guarantee consistency. Since organizational models also provide the basis for defining access rules (e.g., actor assignments in workflow management systems or access rules in document-centered applications) this information has to be adapted accordingly (e.g., to avoid dangling references or non-resolvable actor assignments). Current approaches do not adequately address this problem, which often leads to security gaps and delayed change implementation.In this paper we introduce a formal framework for the controlled evolution of organizational models and related access rules. Firstly, we introduce a set of operators with well-defined semantics for defining and changing organizational models. Secondly, we show how to define access rules based on such models. In this context we also define a notion of correctness for access rules. Thirdly, we present a formal framework for the (semi-automated) adaptation of access rules when the underlying organizational model is changed by exploiting the semantics of the applied changes. Altogether the presented approach provides an important contribution for realizing adaptive access control frameworks.

show abstract

Model checking timed properties of healthcare processes

Miller

MacCaull

2011

J. Softw. Maint. Evol.: Res. Pract.

View full text Add to dashboard Cite

Healthcare workflows (careflows) involve complex, distributive processes with a high degree of variability. There are ubiquitous communication and enormous data and knowledge management requirements and the processes involve complex timing requirements, and are safety critical. Designing these processes and managing their performance is difficult and error‐prone. Using verification techniques such as model checking, which are mathematical methods of proving correctness, we can reduce errors by ensuring that process designs satisfy their specifications. We describe a prototype next generation multithreaded model checker to reason about processes in careflows, sensitive to patient preferences and the goals of the careteam using a timed temporal logic extended with modalities of beliefs, desires, and intentions. Copyright © 2011 John Wiley & Sons, Ltd.

show abstract

Managing Change and Time in Dynamic Workflow Processes

Cited by 138 publications

References 10 publications

Evaluation of Correctness Criteria for Dynamic Workflow Changes

Evaluation of Correctness Criteria for Dynamic Workflow Changes

A Formal Framework for Adaptive Access Control Models

Model checking timed properties of healthcare processes

Contact Info

Product

Resources

About