UML活动图描述工作流模型的执行语义
文献类型:期刊论文
作者 | 赵志崑; 盛秋戬; 史忠植 |
刊名 | 计算机研究与发展
![]() |
出版日期 | 2005 |
卷号 | 42.0期号:002页码:300 |
关键词 | 工作流 UML活动图 语义 |
ISSN号 | 1000-1239 |
英文摘要 | UML是软件工程中广泛应用的建模语言,但其主要问题是缺少严格的形式化语义,因而描述的模型容易产生歧义.根据UML活动图的语法和工作流系统的特点,为UML活动图定义了一种执行语义.基于时间转变系统模型,将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程.时间转变描述时间的前进,数据转变修改工作流案例的状态,这种语义比层次状态图具有更强的描述并行的能力,比Petri网和进程代数更适合描述工作流模型. |
语种 | 英语 |
源URL | [http://119.78.100.204/handle/2XEOYT63/26496] ![]() |
专题 | 中国科学院计算技术研究所期刊论文_中文 |
作者单位 | 1.中国科学院大学 2.中国科学院计算技术研究所 |
推荐引用方式 GB/T 7714 | 赵志崑,盛秋戬,史忠植. UML活动图描述工作流模型的执行语义[J]. 计算机研究与发展,2005,42.0(002):300. |
APA | 赵志崑,盛秋戬,&史忠植.(2005).UML活动图描述工作流模型的执行语义.计算机研究与发展,42.0(002),300. |
MLA | 赵志崑,et al."UML活动图描述工作流模型的执行语义".计算机研究与发展 42.0.002(2005):300. |
入库方式: OAI收割
来源:计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。