A modeling method based on CCS for workflow

Li Zhao, Qing Li, Xiaoli Liu, Nanshan Du

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

4 Citations (Scopus)

Abstract

Workflow model is used to generate a computerized definition of a business process and help the designer to design, test and validate workflow process. Convenient for verification and optimization, formalized technologies on modeling receive large attentions for their strong theoretic bases. However, none of the existing methods can meet complicated requirements in current business environments. In this paper, we introduce a new modeling method based on the Calculus of Communicating Systems (CCS) to describe behaviors between processes in intricate workflows, by adding dependent constraints and parameters into activity expressions. We provide a specification language to establish a formal model and capture its relevant graphical model in succession. The modeling method is explicated through an example as a case study.

Original languageEnglish
Title of host publicationProceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC'09
Pages376-384
Number of pages9
DOIs
Publication statusPublished - 21 Sep 2009
Externally publishedYes
Event3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC'09 - Suwon, Korea, Republic of
Duration: 15 Jan 200916 Jan 2009

Publication series

NameProceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC'09

Conference

Conference3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC'09
Country/TerritoryKorea, Republic of
CitySuwon
Period15/01/0916/01/09

Keywords

  • CCS
  • Graphical
  • Model
  • Workflow

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems

Cite this