Synchronic distance based workflow logic specification

Proceedings - 10th IEEE International Conference on High Performance Computing and Communications, HPCC 2008

Volumn , Issue , 2008, Pages 819-824

  Zhao, Wen ^a   Huang, Yu ^a   Yuan, Chongyi ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER APPLICATIONS; GRAPH THEORY; HIERARCHICAL SYSTEMS; HIGH PERFORMANCE LIQUID CHROMATOGRAPHY; PETRI NETS; SECURITY OF DATA; SPECIFICATIONS;

COMPUTER APPLICATION DOMAINS; DISTANCE BASED; FORMAL MODELS; HIERARCHICAL MODELS; LOGIC SPECIFICATIONS; PETRI NET; PETRI NET REPRESENTATIONS; PROCESS ANALYSIS; PROCESS DEFINITIONS; PROCESS EXECUTIONS; PROCESS MODELS; RESEARCH AREAS; WORKFLOW MODELS; WORKFLOW PATTERNS; WORKFLOW PROCESSES; WORKFLOW TECHNOLOGIES;

MANAGEMENT;

EID: 56349103778     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HPCC.2008.48     Document Type: Conference Paper

References (8)

1. David Hollingsworth. The Workflow Reference Model. Document Number: TC00-1003. Document Status - Issue 1.1. Workflow Management Coalition. 19-Jan-1995.
2. Fan YS. Fundamentals of workflow management technology. Beijing: Tsinghua University Press, 2001. Page49-53(in Chinese).
3. W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits. Systems and Computers, 8(l):21-66, 1998.
4. Yuan CY. Principals and Application of Petri Nets. Beijing: Publishing House of Electronics Industry, 2005. Page213-258(in Chinese).
5. Zhao W, Hu WH, Zhang SK, Wang LF. Study and application of workflow metamodel. Journal of Software, 30(6): 1052-1059, 2003 (in Chinese with English abstract
6. Zhao W. Research on Workflow Modeling and Model Verification Technique[Ph.D. Thesis]. Beijing:Peking University. 2002 (in Chinese with English abstract).
7. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Workflow Patterns. BETA Working Paper Series. WP 47. Eindhoven University of Technology. Eindhoven. 2000
8. Zhao W, Hu WH, Zhang SK, Wang LF. Workflow process model verification using reduction method based on P/T system. Journal of Software, 15(10):1423-1430, 2004 (in Chinese with English abstract).