A visual modeling framework of workflow systems based on CCS

Li Zhao; Qing Li; Farong Zhong

doi:10.1109/SKG.2009.68

A visual modeling framework of workflow systems based on CCS

Li Zhao, Qing Li, Farong Zhong

Department of Computer Science

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

2 Citations (Scopus)

Abstract

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. © 2009 IEEE.

Original language	English
Title of host publication	SKG 2009 - 5th International Conference on Semantics, Knowledge, and Grid
Pages	200-207
DOIs	https://doi.org/10.1109/SKG.2009.68
Publication status	Published - 2009
Event	5th International Conference on Semantics, Knowledge, and Grid, SKG 2009 - Zhuhai, China Duration: 12 Oct 2009 → 14 Oct 2009

Conference

Conference	5th International Conference on Semantics, Knowledge, and Grid, SKG 2009
Place	China
City	Zhuhai
Period	12/10/09 → 14/10/09

Access Output

10.1109/SKG.2009.68

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

@inproceedings{383dfd55734f4eaababd483491543a0a,

title = "A visual modeling framework of workflow systems based on CCS",

abstract = "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. {\textcopyright} 2009 IEEE.",

author = "Li Zhao and Qing Li and Farong Zhong",

year = "2009",

doi = "10.1109/SKG.2009.68",

language = "English",

isbn = "9780769538105",

pages = "200--207",

booktitle = "SKG 2009 - 5th International Conference on Semantics, Knowledge, and Grid",

note = "5th International Conference on Semantics, Knowledge, and Grid, SKG 2009 ; Conference date: 12-10-2009 Through 14-10-2009",

}

TY - GEN

T1 - A visual modeling framework of workflow systems based on CCS

AU - Zhao, Li

AU - Li, Qing

AU - Zhong, Farong

PY - 2009

Y1 - 2009

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. © 2009 IEEE.

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. © 2009 IEEE.

UR - http://www.scopus.com/inward/record.url?scp=77649300924&partnerID=8YFLogxK

UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-77649300924&origin=recordpage

U2 - 10.1109/SKG.2009.68

DO - 10.1109/SKG.2009.68

M3 - RGC 32 - Refereed conference paper (with host publication)

SN - 9780769538105

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 -

A visual modeling framework of workflow systems based on CCS

Abstract

Conference

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this