A Formal Approach to Workflow Analysis
- 1 March 2000
- journal article
- Published by Institute for Operations Research and the Management Sciences (INFORMS) in Information Systems Research
- Vol. 11 (1), 17-36
- https://doi.org/10.1287/isre.11.1.17.11787
Abstract
Agile manufacturing, fast-response micromarketing, and the rise of the virtual organization have led managers to focus on cross-functional business processes that link various divisions and organizations. These processes may be realized as one or more workflows, each of which is an instantiation of a process under certain conditions. Because an ability to adapt processes to workflow conditions is essential for organizational responsiveness, identifying and analyzing significant workflows is an important activity for managers, organization designers, and information systems specialists. A variety of software systems have been developed to aid in the structuring and implementation of workflow systems, but they are mostly visualization tools with few analytical capabilities. For example, they do not allow their users to easily determine which information elements are needed to compute other information elements, whether certain tasks depend on other tasks, and how resource availability affects information and tasks. Analyses of this type can be performed by inspection, but this gives rise to the possibility of error, especially in large systems. In this paper, we show how a mathematical construct called a metagraph can be used to represent workflows, so that such questions can be addressed through formal operations, leading to more effective design of organizational processes.Keywords
This publication has 15 references indexed in Scilit:
- The Analysis of Assumptions in Model Bases Using MetagraphsManagement Science, 1998
- The Calculus of ReengineeringInformation Systems Research, 1996
- ExoticaACM SIGOIS Bulletin, 1995
- An overview of workflow management: From process modeling to workflow automation infrastructureDistributed and Parallel Databases, 1995
- Process monitoring for continuous improvementPublished by Springer Science and Business Media LLC ,1995
- Metagraphs: A Tool for Modeling Decision Support SystemsManagement Science, 1994
- Model Integration Using MetagraphsInformation Systems Research, 1994
- Process modelingCommunications of the ACM, 1992
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987