Dynamic change within workflow systems

ABSTRACT

Dynamic change is a large and pervasive unsolved problem which surfaces within office systems as well as within software engineering, manufacturing, and numerous other domains. Procedural changes, performed in an ad hoc manner, can cause inefficiencies, inconsistencies, and catastrophic breakdowns within offices. This paper is concerned with dynamic change to procedures in the context of workflow systems. How can we make workflow systems more flexible and open? We believe that part of the answer lies in the study and solution of the dynamic change problem. In this paper, we use a Petri net formalism to analyze structural change within office procedures. As an example, we define a class of change called “synthetic cut-over change”, and apply our formalism to prove that this class maintains correctness when downsizing occurs.

REFERENCES

• 1: Bender, E. Workgroup Computing, PC World Magazine, January 1995 issue, pp.225-244.
• 2: Bair, J. (Co-editor), Office Automation Systems: Why Some Work and Others Fail, Stanford University Conference Proceedings, Stanford University, Center for Information Technology, 1981.
• 3: Bair, J. Contrasting Wovkfiow Models, Proceedings of GroupWare'93, pp. 229-237.
• 4: Giampio Bracchi , Barbara Pernici, The design requirements of office systems, ACM Transactions on Information Systems (TOIS), v.2 n.2, p.151-170, April 1984 [doi>10.1145/521.357416]
• 5: Bull Corporation, FlowPath Functional Specification, Bull S. A., Paris, France, September, 1992.
• 6: Chang, S.K. and Chan W.L. Transformation and Verification of Ojfice Procedures, IEEE Transactions on O~ce Information Systems, Vol. 6, No 2, 1988.
• 7: W Bruce Croft , Lawrence S. Lefkowitz, Task support in an office system, ACM Transactions on Information Systems (TOIS), v.2 n.3, p.197-212, July 1984 [doi>10.1145/1206.1483]
• 8: Ellis, C., Keddara, K., Rozenberg, G., The Modeling of Dynamic Change Within Workfiow Systems, to apper as a technical report.
• 9: Fischer, L. and White, T. (eds) New Tools for New Times: The Workfiow Paradigm by Fischer, L. and White, T. (eds) Future Strategies Inc, Alameda, CA. 1994.
• 10: R. A. Hirschheim, Office automation: a social and organizational perspective, John Wiley & Sons, Inc., New York, NY, 1986
• 11: Keddara, K., Ellis, C., Rozenberg, G., The Modeling of Dynamic Change Within Workfiow Systems, to apper as a technical report.
• 12: L. Osterweil, Automated support for the enactment of rigorously described software processes, Proceedings of the 4th international software process workshop on Representing and enacting the software process, p.122-125, April 1988, Devon, United Kingdom
• 13: Wolfgang Reisig, Petri nets: an introduction, Springer-Verlag New York, Inc., New York, NY, 1985
• 14: Robinson, M. Design for Unanticipated Use ..., Proceedings of the Third European Conference on CSCW-ECSCW'93, edited by Simone, C. et al., Kluwer Academic Publisher, Sept. 1993.
• 15: Lucy A. Suchman, Office procedure as practical action: models of work and system design, ACM Transactions on Information Systems (TOIS), v.1 n.4, p.320-328, Oct. 1983 [doi>10.1145/357442.357445]
• 16: Vernadat,F., Leva, A.D., Giolito, P. Organization and Information System Design of Manufacturing Environments: the new M* Approach, Computer- Integrated Manufacturing Systems, Vol. 1, No 2, May 1988.
• 17: Wainer, J. and Ellis, C. A. Goal Based Models of Collaboration, Collaborative Computing Journal, Vol. 1, No. 1, June 1994.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS

Additional Classification:
  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
      F.1.2 Modes of Computation
          Subjects: Parallelism and concurrency

  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING

General Terms:
Algorithms, Human Factors, Theory