A visual modeling framework of workflow systems based on CCS

Li Zhao, Qing Li, Farong Zhong

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-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.

Original languageEnglish
Title of host publicationSKG 2009 - 5th International Conference on Semantics, Knowledge, and Grid
Pages200-207
Number of pages8
DOIs
Publication statusPublished - 1 Dec 2009
Externally publishedYes
Event5th International Conference on Semantics, Knowledge, and Grid, SKG 2009 - Zhuhai, China
Duration: 12 Oct 200914 Oct 2009

Publication series

NameSKG 2009 - 5th International Conference on Semantics, Knowledge, and Grid

Conference

Conference5th International Conference on Semantics, Knowledge, and Grid, SKG 2009
Country/TerritoryChina
CityZhuhai
Period12/10/0914/10/09

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software

Cite this