Workflow Models and Their Formal Descriptions

李红臣,史美林
DOI: https://doi.org/10.3321/j.issn:0254-4164.2003.11.006
2003-01-01
Chinese Journal of Computers
Abstract:Workflow is the automation of a business process in whole or part. To achieve the function of workflow management, the business process must be abstracted from the real world and described by a kind of formal method. The result is workflow model. This paper mainly discusses workflow models and their formal descriptions. Based on the analysis of business processes in the real world, this paper proposes a three-dimensional workflow model including three sub-models, i.e., organization model, data model and process model, each of which describes some attributes of workflows from different perspectives. These sub-models and their relationships are addressed in detail in this paper. Furthermore, the formal description for the three-dimensional workflow model proposed is also presented.
What problem does this paper attempt to address?