CS 595: Workflow Specification Languages

• Meeting Time: Wednesdays 1:30--3pm, CS conference room
• Presentations:
1. Jan. 15, 9am, Jianwen Su, "Declarative Specification of Workflows"
2. Jan. 20, 1:30, Xun Cheng, The ICN  workflow model

3 Papers (#1-#3)  are available in CS office
3. Jan. 22, 9am, Tevfik Bultan, "Model Checking Software Specifications"
4. Jan 27, 1:30pm, Hongjun Zhu, Modeling workflow in FlowMark

4 online documents (#4-#7), hardcopies of #4 and #6 are also available in CS office.
5. Feb. 3, 1:30pm, Zhe Dang will present papers 9-11 (available in CS office).
6. Feb. 10, 1:30pm, Fengliang Hu will present papers 12-13.
7. Feb. 17, 1:30pm, Mirek Riedewald, Mentor
   papers: 14- 16

Papers

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