TY - GEN
T1 - A visual modeling framework of workflow systems based on CCS
AU - Zhao, Li
AU - Li, Qing
AU - Zhong, Farong
PY - 2009/12/1
Y1 - 2009/12/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77649300924&partnerID=8YFLogxK
U2 - 10.1109/SKG.2009.68
DO - 10.1109/SKG.2009.68
M3 - Conference article published in proceeding or book
AN - SCOPUS:77649300924
SN - 9780769538105
T3 - SKG 2009 - 5th International Conference on Semantics, Knowledge, and Grid
SP - 200
EP - 207
BT - SKG 2009 - 5th International Conference on Semantics, Knowledge, and Grid
T2 - 5th International Conference on Semantics, Knowledge, and Grid, SKG 2009
Y2 - 12 October 2009 through 14 October 2009
ER -