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

关键词: 工作流, 过程模型, 执行语义

Abstract: Current workflow modeling languages are difficult to balance both understandability and formal execution semantics. They can only describe workflows 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.

Key words: workflow, process model, execution semantics

中图分类号: 

• TP311.5