Using temporal logics for modeling and analysis of workflows

Proceedings of the IEEE International Conference on E-Commerce Technology for Dynamic E-Business, CEC-East 2004

Volumn , Issue , 2004, Pages 169-174

  Wang, Yuan ^a   Fan, Yushun ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVES SCIENCES; REASONING; TEMPORAL LOGICS; WORKFLOWS;

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; DATABASE SYSTEMS; PETRI NETS; PRODUCT DESIGN; SOFTWARE ENGINEERING; STUDENTS; WORK SIMPLIFICATION;

FORMAL LOGIC;

EID: 14244269374     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1108/09604520410528590     Document Type: Conference Paper

References (10)

1. D. Georgakopoulos, M. Hornick, and A. Sheth, An overview of workflow management: From process modeling to infrastructure for automation. Journal on Distributed and Parallel Database Systems, 3(2): 119-153, April 1995.
2. W. H. Newton-Smith, The Structure of Time. London, U.K.: Routledge and Kegan, 1980.
3. D. McDermott, A temporal for reasoning about processes and plans. Cogn. Sci. vol.6, pp.101-155, 1982.
4. Y. Yao, A Petri net model for temporal knowledge representation and reasoning. IEEE Trans. Syst., Man, Cybern., vol. 24, pp. 1374-1382, Sept. 1994.
5. Allen J. F., Ferguson G., Actions and events in interval temporal logic. Journal Logic and Computation, vol. 4, no.5, pp. 531-579, 1994.
6. A K., On temporal logic programming using Petri nets. IEEE Trans Systems, Man, and Cybernetics, vol. 29, no.3, pp. 245-254, 1999.
7. L amport L. The temporal logic of actions, DEC Systems Research Center, Palo Alto, CA: Technical Report 79, 1991.
8. W. Sadiq and M. E. Orlowska, Analyzing process models using graph reduction techniques. Inform. Syst., vol. 25, no. 2, pp. 117-134, 2000.
9. Workflow Management Coalition, Interface 1: Process Definition Interchange, Process Model, 1998.
10. P. Lawrence, Workflow Handbook. Wiley, New York, 1997.