收藏本站
《电脑知识与技术》 2009年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种基于扩展UML状态图的并发工作流验证方法

陆公正  吴澜波  顾小晶  张广泉  
【摘要】:当并发执行工作流的多个实例时会导致数据流访问时语义的不一致。首先扩展了传统的UML状态图,用它进行工作流实例建模。然后把扩展的UML状态图建立的工作流模型转化为Büchi自动机,并用Büchi自动机之间的积表示多个工作流实例的并发模型。接着给出了和证明了根据并发模型中标记的命题公式判定并发冲突的定理。最后,由于随着实例数目的增加,并发模型中的状态数也会按每个实例的状态数倍增加,为了解决这一问题,在检测并发冲突的算法中采用了on-the-fly技术。

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 杜慧敏,杨红丽,高德远,韩俊刚;一种基于时态逻辑的有限状态系统验证方法[J];西北工业大学学报;2000年01期
2 董威,王戟,齐治昌;并发和实时系统的模型检验技术[J];计算机研究与发展;2001年06期
3 叶仁召,郑玉墙,李玉珍;基于UML规格说明测试用例生成工具[J];计算机工程;2001年03期
4 赖明志,尤晋元;从UML状态图到PVS规范的自动转换、验证[J];电子学报;2002年S1期
5 林宏,曾一;基于UML的面向对象软件测试框架[J];重庆大学学报(自然科学版);2003年08期
6 余胜生,孙为群,周敬利;UML和SDL在开发L2CAP协议中的结合运用[J];计算机工程;2003年07期
7 张毅坤,施凤鸣,姚全珠,刘军,付长龙;基于UML状态图的类测试用例自动生成方法[J];计算机工程;2003年21期
8 赖明志,尤晋元;使用时间化自动机形式化带有时间扩展的UML状态图[J];计算机应用;2003年08期
9 张毅坤,施凤鸣;从Rose的规约文件自动生成测试用例[J];计算机应用;2003年12期
10 蒋屹新,林闯,邢栩嘉;基于线性时态逻辑的Petri网模型检测[J];系统仿真学报;2003年S1期
中国重要会议论文全文数据库 前1条
1 林羚;卢江;赵瑞莲;;基于UML状态图的MM路径形式化表示及生成[A];第四届中国测试学术会议论文集[C];2006年
中国硕士学位论文全文数据库 前10条
1 施凤鸣;基于UML状态图的类测试用例自动生成方法研究[D];西安理工大学;2003年
2 赵鹏;基于UML状态图的面向对象类级测试方法的研究与实现[D];暨南大学;2003年
3 季丽丽;基于UML状态图的测试用例自动生成研究[D];南京航空航天大学;2004年
4 熊洁;基于UML的OSPF协议分析和建模技术研究[D];西南交通大学;2004年
5 袁宇;基于状态的分布式组件系统集成测试[D];重庆大学;2004年
6 赵明;类状态测试用例自动生成方法与实现[D];西安理工大学;2004年
7 尚绪全;构件化软件集成测试研究[D];西安理工大学;2005年
8 段方;基于扩充的UML状态图的类测试方法研究[D];大连理工大学;2005年
9 陈必泉;基于UML状态图的嵌入式实时软件测试用例生成方法研究[D];暨南大学;2005年
10 黄志华;基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用[D];新疆大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026