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