| UML活动图描述工作流模型的执行语义 |
| |
| 引用本文： | 赵志崑,盛秋戬,史忠植.UML活动图描述工作流模型的执行语义[J].计算机研究与发展,2005,42(2):300-307. |
| |
| 作者姓名： | 赵志崑 盛秋戬 史忠植 |
| |
| 作者单位： | 1. 中国科学院研究生院信息科学与工程学院,北京,100049;中国科学院计算技术研究所智能信息处理开放实验室,北京,100080
2. 中国科学院计算技术研究所智能信息处理开放实验室,北京,100080 |
| |
| 基金项目： | 国家“八六三”高技术研究发展计划基金项目(2001AA113121,2003AA115220)，中国科学院研究生院院长基金项目(yzjj200306) |
| |
| 摘 要： | UML是软件工程中广泛应用的建模语言，但其主要问题是缺少严格的形式化语义，因而描述的模型容易产生歧义．根据UML活动图的语法和工作流系统的特点，为UML活动图定义了一种执行语义．基于时间转变系统模型，将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程．时间转变描述时间的前进，数据转变修改工作流案例的状态，这种语义比层次状态图具有更强的描述并行的能力，比Petri网和进程代数更适合描述工作流模型．
|
| 关 键 词： | 工作流 UML活动图 语义 |
An Execution Semantics of UML Activity View for Workflow Modeling |
| |
| Zhao Zhikun,Sheng Qiujian,Shi Zhongzhi.An Execution Semantics of UML Activity View for Workflow Modeling[J].Journal of Computer Research and Development,2005,42(2):300-307. |
| |
| Authors: | Zhao Zhikun Sheng Qiujian Shi Zhongzhi |
| |
| Affiliation: | Zhao Zhikun 1,2,Sheng Qiujian2,and Shi Zhongzhi2 1 |
| |
| Abstract: | UML is a widely used modeling language in software engineering, but its main problem is the ambiguity because UML has no formal semantics. A formal execution semantic of UML activity diagram is presented for modeling workflow systems according to the syntax of UML activity diagram and the characteristic of the workflow system. The semantic is based on the clock transition system model. The execution of workflow system is formalized as two processes, clock transition and data transition, executing by turns. Time goes forward in clock transition, and the state of the workflow case transforms in data transition. The semantics is more expressive in concurrency than the semantics based on statechart, more adaptable to the workflow system then Petri-net or process algebra. |
| |
| Keywords: | workflow UML activity diagram semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
