基于过程模型的工作流执行语义研究

Research of Workflow Execution Semantics Based on Process Model

针对现有工作流建模语言难以兼顾语言的可理解性、执行语义的形式化和描述维度的单一性等问题,提出利用可视化的过程模型作为工作流建模语言。过程模型能从过程、数据、资源、组织等多个角度描述企事业的业务工作流程。根据过程模型的语法和工作流系统的特点,定义形式化执行语义,为过程模型的分析、验证和执行提供理论依据。

Current workflow modeling languages are difficult to balance both understandability and formal execution semantics. They can only describe worktlows in a single dimension. This paper suggests using process model as a workflow modeling language. Process model depicts the business flows of enterprises from multi-dimensions such as process, data, resource and organization. Based on the syntax of process model and characteristics of workflow systems, a formal execution semantics of process model is presented. The semantics is theoretical basis for model analysis, verification and execution.