針對(duì)現(xiàn)有工作流建模語(yǔ)言難以兼顧語(yǔ)言的可理解性、執(zhí)行語(yǔ)義的形式化和描述維度的單一性等問(wèn)題，提出利用可視化的過(guò)程模型作為工
作流建模語(yǔ)言。過(guò)程模型能從過(guò)程、數(shù)據(jù)、資源、組織等多個(gè)角度描述企事業(yè)的業(yè)務(wù)工作流程。根據(jù)過(guò)程模型的語(yǔ)法和工作流系統(tǒng)的特點(diǎn)，定義
形式化執(zhí)行語(yǔ)義，為過(guò)程模型的分析、驗(yàn)證和執(zhí)行提供理論依據(jù)。
關(guān)鍵詞：工作流；過(guò)程模型；執(zhí)行語(yǔ)義
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