A Visual Modeling Framework of Workflow Systems Based on CCS

摘要：

Visual formalisms are very popular in specification and design of software and hardware systems, especially in workflow systems. Visual languages have the advantage of being simple to use for system designers. In this paper, we introduce a new modeling framework based on the Calculus of Communicating Systems (CCS), to describe behaviours between processes in intricate workflows. The framework of our method is both visual and formal. In addition, we abstract a hierarchical structure of workflow specification, which allows changes in workflow structure without modifying the programs that implement the workflow tasks.

作者: Li Zhao Qing Li Farong Zhong

作者单位: Dept of Computer Science, City University of Hong Kong Hong Kong, China School of Computer, Wuhan Un Dept of Computer Science, City University of Hong Kong Hong Kong, China Dept of Computer Science ,Zhejiang Normal University Jinhua, Zhejiang 321004, China

会议类型: 国际会议

会议名称: Fifth International Conference on Semantics,Knowledge and Grid(第五届语义、知识与网格国际会议 SKG 2009)

会议地点: 珠海

会议语种:英文

页码: 200-207

在线出版日期: 2009-10-12（万方平台首次上网日期，不代表论文的发表时间）