針對現有工作流建模語言難以兼顧語言的可理解性、執行語義的形式化和描述維度的單一性等問題，提出利用可視化的過程模型作為工
作流建模語言。過程模型能從過程、數據、資源、組織等多個角度描述企事業的業務工作流程。根據過程模型的語法和工作流系統的特點，定義
形式化執行語義，為過程模型的分析、驗證和執行提供理論依據。
關鍵詞：工作流；過程模型；執行語義
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