UML活动图描述工作流模型的执行语义

摘要：

UML是软件工程中广泛应用的建模语言,但其主要问题是缺少严格的形式化语义,因而描述的模型容易产生歧义.根据UML活动图的语法和工作流系统的特点,为UML活动图定义了一种执行语义.基于时间转变系统模型,将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程.时间转变描述时间的前进,数据转变修改工作流案例的状态,这种语义比层次状态图具有更强的描述并行的能力,比Petri网和进程代数更适合描述工作流模型.

关键词：工作流、UML活动图、语义

所属期刊栏目：42

分类号：TP311(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2001AA113121,2003AA115220;中国科学院院长基金yzjj200306

在线出版日期：2005-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：300-307