A logic-based modeling approach to managing workflow policy changes

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)

View graph of relations

Author(s)

Detail(s)

Original languageEnglish
Title of host publicationAssociation for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale
Pages2730-2741
Volume6
StatePublished - 2005
Externally publishedYes

Publication series

Name
Volume6

Conference

Title11th Americas Conference on Information Systems, AMCIS 2005
PlaceUnited States
CityOmaha, NE
Period11 - 15 August 2005

Abstract

Workflow management systems are becoming increasingly important in the automation of business processes. In order to ensure proper workflow execution, workflow policies must be specified with respect to users, roles, and tasks. In today's dynamic business environment, successful organizations must be able to respond to new customer demands and market opportunities with flexibility and speed. However, without systematic management of workflow policies, changes in organizational structure and process models can lead to inconsistent workflow specifications. Thus far, research in the change management of workflow policies has been scant. In this paper, we propose a logic-based approach to address this problem. Our contribution is three-fold: 1) a modeling language based on predicate logic is proposed, which is succinct and expressive enough to represent process model, organization model, and workflow polices; 2) workflow policy consistency in a dynamic changing environment is formally defined and analyzed based on the proposed language. 3) two algorithms are developed to check and enforce the policy consistency. To the best of our knowledge, this is the first work focuses on the formal analysis of workflow policy change management.

Research Area(s)

  • Change management, Modeling language, Predicate logic, Workflow management, Workflow policy

Citation Format(s)

A logic-based modeling approach to managing workflow policy changes. / Wang, Harry J.; Zhao, J. Leon.

Association for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale. Vol. 6 2005. p. 2730-2741.

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)