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

Research of Workflow Execution Semantics Based on Process Model

作　　者：陈天影[1] 周伯生[1] 邢少敏[1] 

机构地区：[1]北京航空航天大学计算机学院,北京100083

出　　处：《计算机工程》2009年第6期66-68,72,共4页Computer Engineering

基　　金：北京市科技计划课题基金资助项目(y0105001040521)

摘　　要：针对现有工作流建模语言难以兼顾语言的可理解性、执行语义的形式化和描述维度的单一性等问题,提出利用可视化的过程模型作为工作流建模语言。过程模型能从过程、数据、资源、组织等多个角度描述企事业的业务工作流程。根据过程模型的语法和工作流系统的特点,定义形式化执行语义,为过程模型的分析、验证和执行提供理论依据。Current workflow modeling languages are difficult to balance both understandability and formal execution semantics. They can only describe worktlows 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.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]