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

针对现有工作流建模语言难以兼顾语言的可理解性、执行语义的形式化和描述维度的单一性等问题，提出利用可视化的过程模型作为工
作流建模语言。过程模型能从过程、数据、资源、组织等多个角度描述企事业的业务工作流程。根据过程模型的语法和工作流系统的特点，定义
形式化执行语义，为过程模型的分析、验证和执行提供理论依据。
关键词：工作流；过程模型；执行语义
Research of Workflow Execution Semantics Based on Process Model
CHEN Tian-ying, ZHOU Bo-sheng, XING Shao-min
(School of Computer Science and Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100083)
【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