Correctness criteria for dynamic changes in workflow systems––a survey

Rinderle, Stefanie; Reichert, Manfred; Dadam, Peter

doi:10.1016/j.datak.2004.01.002

Cited by 333 publications

(274 citation statements)

References 23 publications

Supporting

Mentioning

272

Contrasting

Unclassified

Order By: Relevance

“…Generally, a process model variant (process variant for short) can be created by "cloning" a given process model and adjusting it according to the specific requirements of its application context [13]. Provop adopts this metaphor for variant creation.…”

Section: Background -The Provop Approachmentioning

confidence: 99%

Guaranteeing Soundness of Configurable Process Variants in Provop

Hallerbach

Bauer

Reichert

2009

2009 IEEE Conference on Commerce and Enterprise Computing

Self Cite

View full text Add to dashboard Cite

Usually, for a particular business process a multitude of variants exist. Each of them constitutes an adjustment of a reference process model to specific requirements building the process context. While some progress has been achieved regarding the configuration of process variants, there exists only little work on how to accomplish this in a sound and efficient manner, especially when considering the large number of process variants that exist in practice as well as the many syntactical and semantical constraints they have to obey. In this paper we discuss advanced concepts for the context-and constraint-based configuration of process variants, and show how they can be utilized to ensure soundness of the configured process variants. Enhancing process-aware information systems with the capability to easily configure sound process models, belonging to the same process family and fitting to the given application context, will enable a new quality in engineering processaware information systems.

show abstract

Section: Background -The Provop Approachmentioning

confidence: 99%

Guaranteeing Soundness of Configurable Process Variants in Provop

Hallerbach

Bauer

Reichert

2009

2009 IEEE Conference on Commerce and Enterprise Computing

Self Cite

View full text Add to dashboard Cite

show abstract

“…Manual handling incurs an added penalty: the corrective actions undertaken are not added to 'organisational memory' [8,9], and so natural process evolution is not incorporated into future iterations of the process. Other evolution issues include problems of migration, synchronisation and version control [4,10].…”

Section: Introductionmentioning

confidence: 99%

“…However, the proprietary process definition frameworks imposed make it difficult to support (i) dynamic evolution (i.e. modifying process definitions during execution) following unexpected or developmental change in the business processes being modelled [3]; and (ii) deviations from the prescribed process model at runtime [4][5][6].…”

Section: Introductionmentioning

confidence: 99%

Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows

Adams

Hofstede

Edmond

et al. 2006

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE

196

159

View full text Add to dashboard Cite

Abstract. This paper presents the realisation, using a Service Oriented Architecture, of an approach for dynamic flexibility and evolution in workflows through the support of flexible work practices, based not on proprietary frameworks, but on accepted ideas of how people actually work. A set of principles have been derived from a sound theoretical base and applied to the development of worklets, an extensible repertoire of self-contained sub-processes aligned to each task, from which a dynamic runtime selection is made depending on the context of the particular work instance.

show abstract

“…to restrict changes to selected user groups or processes if required. Though all these approaches stress the need for adaptive information systems and define different notions of correctness (for an overview see [30]), so far, focus has been on process changes (control and data flow).…”

Section: Related Workmentioning

confidence: 99%

“…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

Self Cite

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

Correctness criteria for dynamic changes in workflow systems––a survey

Cited by 333 publications

References 23 publications

Guaranteeing Soundness of Configurable Process Variants in Provop

Guaranteeing Soundness of Configurable Process Variants in Provop

Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows

A Formal Framework for Adaptive Access Control Models

Contact Info

Product

Resources

About