Modeling Flexible Workflow Based on Temporal Logic

Proceedings of the 9th International Conference on Computer Supported Cooperative Work in Design

Volumn 1, Issue , 2005, Pages 508-513

  Duan, Yi ^a,b   Ma, Huadong ^a,b  

^a BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

^b INSTITUTE OF SOFTWARE   (China)

Author keywords

Flexibility; Temporal logic; Workflow

Indexed keywords

MATHEMATICAL MODELS; SOFTWARE PROTOTYPING; ADAPTIVE SYSTEMS; COMPUTER SIMULATION; COMPUTER SYSTEMS; MANAGEMENT INFORMATION SYSTEMS; PATTERN RECOGNITION;

FLEXIBILITY; TEMPORAL LOGIC; WORKFLOW; WORKFLOW MANAGEMENT SYSTEM;

FORMAL LOGIC; COMPUTER AIDED DESIGN;

EID: 29144515580     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. WfMC. Workflow Management Coalition, http://www.wfmc.org.
2. Huadong MA, A Workflow Model Based on Temporal Logic, CSCWID2004, pp.327-332 Xiamen, China, May 2004.
3. P. Heinl, S. Horn, S. Jablonski, J. Neeb, K. Stein, and M. Teschke, "A Comprehensive Approach to Flexibility in Workflow Management Systems", Proc. Joint Intl. Conf. on Work Activity Coordination and Collaboration (WACC99), San Francisco, Feb. 1999.
4. Wen-hua ZHU, Qian WANG, An Approach to Flexible Workflow Management System in Virtual Enterprises, Minimicro Systems, vol. 24 No. 4 Apr, 2003.
5. Yu-shun FAN, Cheng WU. Research on a Workflow Modeling Method to Improve System Flexibility. Journal of Software. 2002, 13(4)
6. P Koksal, I Cingil, A Dogac. A component-based workflow management system with dynamic modification. http://srdc.metu.edu.tr, 1998
7. Jianwei Yin, Gang Chen, Jinxiang Dong, Research of Flexible Workflow Dynamic Behavior Model, Journal of Computer Aided Design & Computer Graphics, Vol.14, No. 10, Oct., 2002.
8. Z. Manna, A. Pnueli, Temporal Logic for Reactive and Concurrent System, Springer Verlag, 1992.
9. Z.S. Tang, C. Zhao. A Temporal Logic Language Oriented Toward Software Engineering, Journal of Software, 1994, 5(12): 1-12.
10. Hongchen Li, Meilin Shi, Workflow models and their formal descriptions, Chinese Journal of Computers, 2003, 26(11): 1456-1463.