CS 595: Workflow Specification Languages


  1. E. A. Ellis and G. J. Nutt.  "Office Information Systems and Computer Science"
  2. C. Ellis, K. Keddara, and G. Rozenberg.  "Dynamic Change Within Workflow Systems"
  3. A Borgida and T. Murata. "A Unified Framework for Exceptions in Workflow/Process Models -- An Approach Based on Persistent Objects"
  4. F. Leymann and D. Roller. "Workflow-based applications"
  5. IBM FlowMark Modeling Workflow (online book)
  6. Sample Applications for FlowMark (chapters 1-4)
  7. FlowMark Product Presentation
  8. Slides of "Model Checking Software Specifications" by Tevfik Bultan
  9. E. M. Clarke, E. A. Emerson and A. P. Sistla, "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications", ACM Transactions of Programming Languages and Systems, vol. 8, no. 2, pages 244-263, 1986.
  10. * J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill and L. J. Hwang, "Symbolic Model Checking: 10^20 States and Beyond", Information and Computation, vol. 98, pages 142-170, 1992.
  11. * T. Bultan, R. Gerber and W. Pugh, "Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic", Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), Orna Grumberg, ed., LNCS 1254, pages 400-411, 1997.
  12. * J. M. Atlee and J. Gannon, "State-Based Model Checking of Event-Driven System Requirements", IEEE Transactions on Software Engineering, vol. 19, no. 1, pages 24-40, 1993.
  13. * W. Chan, R. J. Anderson, P. Beame, S. Burns, F. Modungo, D. Notkin, J. D. Reese, "Model Checking Large Software Specifications", IEEE Transactions on Software Engineering, vol. 24, no. 7, pages 498-520, 1998.
  14. D. Wodtke, G. Weikum, A Formal Foundation For Distributed Workflow Execution Based on State Charts,
    Proc. International Conference on Database Theory, 1997
  15. Wodtke, D., Weissenfels, J., Weikum, G., Kotz-Dittrich, A.,  Mentor Project: Steps Towards Enterprise-Wide Workflow Management, Proc. Int. Conf. on Data Engineering, 1996
  16. Muth, P., Wodtke, D., Weissenfels, J., Weikum, G., Kotz Dittrich, A., Enterprise-wide Workflow Management based on State and Activity Charts in: A. Dogac, L. Kalinichenko, T. Ozsu, A. Sheth (Eds.): Workflow Management Systems and Interoperability, Springer Verlag, 1998



Last modified: Wed Feb 2 1999