CS 595: Workflow Specification Languages
Meeting Time: Wednesdays 1:30--3pm, CS conference room
Jan. 15, 9am, Jianwen Su, "Declarative Specification of Workflows"
Jan. 20, 1:30, Xun Cheng, The ICN workflow
3 Papers (#1-#3) are available in CS office
Jan. 22, 9am, Tevfik Bultan, "Model Checking Software
Jan 27, 1:30pm, Hongjun Zhu, Modeling workflow
4 online documents (#4-#7), hardcopies of #4 and #6 are also available
in CS office.
Feb. 3, 1:30pm, Zhe Dang will present papers 9-11
(available in CS office).
Feb. 10, 1:30pm, Fengliang Hu will present papers 12-13.
Feb. 17, 1:30pm, Mirek Riedewald, Mentor
papers: 14- 16
E. A. Ellis and G. J. Nutt. "Office Information Systems and Computer
C. Ellis, K. Keddara, and G. Rozenberg. "Dynamic Change Within Workflow
A Borgida and T. Murata. "A Unified Framework for Exceptions in Workflow/Process
Models -- An Approach Based on Persistent Objects"
F. Leymann and D. Roller. "Workflow-based
FlowMark Modeling Workflow (online book)
Applications for FlowMark (chapters 1-4)
FlowMark Product Presentation
of "Model Checking Software Specifications" by Tevfik Bultan
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.
* 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.
* 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.
* 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.
* 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
D. Wodtke, G.
Formal Foundation For Distributed Workflow Execution Based on State Charts,
Proc. International Conference on Database Theory, 1997
Wodtke, D., Weissenfels, J., Weikum, G., Kotz-Dittrich,
Mentor Project: Steps Towards Enterprise-Wide Workflow Management,
Proc. Int. Conf. on Data Engineering, 1996
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
modified: Wed Feb 2 1999