A modeling method based on CCS for workflow

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.

REFERENCES

• 1: Christian Stefansen, "SMAWL: A SMAll Workflow Language Based on CCS", Technical Report TR-06-05, 2005. DOI= http://www.stefansen.dk/papers/smawl.pdf
• 2: D. Hollingsworth, "The Workflow Reference Model", Workflow Management Coalition Technical Report, WfMC-TC-1003, 1994.
• 3: Frank Puhlmann, and Mathias Weske, "Using the Π-Calculus for Formalizing Workflow Patterns", BPM 2005, LNCS 3649, pp. 153--168.
• 4: Gwen Salaün, Lucas Bordeaux, Marco Schaerf, "Describing and Reasoning on Web Services using Process Algebra", International Journal of Business Process Integration and Management 1(2), 116--128, 2006.DOI= http://inderscience.metapress.com/media/h0xf475yxg4xtwdhlk1p/contributions/4/v/x/3/4vx3la0b74fwg8nm.pdf
• 5: K. Salimifard, M. Wright, "Petri-net based modeling of workflow system: An overview", European Journal of Operational Research 134 (2001), 664--676, 2001.
• 6: H. Lin , Z. Zhao , H. Li , Z. Chen, A Novel Graph Reduction Algorithm to Identify Structural Conflicts, Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9, p.289, January 07-10, 2002
• 7: Fei Xu , Zhiwei Yu, A Workflow Verification Method Based on Calculus., Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, p.188-196, June 06-08, 2007 [doi>10.1109/TASE.2007.7]
• 8: Michael zur Muehlen, "Petri-nets and Pi-Calculus, Example and Discussion". DOI= http://www.bpm-research.com/forum/index.php?showtopic=79&hl=Workflow%20research&st=0
• 9: R. Milner, Communication and Concurrency, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• 10: Sergiu Zavrotschi, "A Static Analysis of Value Passing CCS with Application to Workflows", Master's thesis, 2007. DOI= http://www2.imm.dtu.dk/pubdb/views/edoc_download.php/5119/pdf/imm5119.pdf
• 11: W. M. P.van der Aalst, "The Application of Petri Nets to Workflow Management", The Journal of Circuit Systems and Computers 8(1), 21--26, 1998.
• 12: W. M. P. Van Der Aalst , A. H. M. Ter Hofstede , B. Kiepuszewski , A. P. Barros, Workflow Patterns, Distributed and Parallel Databases, v.14 n.1, p.5-51, July 2003 [doi>10.1023/A:1022883727209]
• 13: W. M. P. van der Aalst, "Pi calculus versus Petri nets: Let us eat "humble pie" rather than further inflate the "Pi hype"", 2004. DOI= http://is.tm.tue.nl/research/patterns/download/pihype.pdf

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Languages (e.g., description, interconnection, definition)

General Terms:
Languages, Theory

Keywords:
CCS, graphical, model, workflow