首页> 中文期刊> 《苏州大学学报：自然科学版》 >基于UML状态图的工作流时序约束一致性研究

基于UML状态图的工作流时序约束一致性研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

通过对UML状态图进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,接着用时序逻辑公式定义时序约束,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证.

著录项

来源
《苏州大学学报：自然科学版》 |2005年第4期|43-48|共6页
作者
陆公正; 张广泉; 张冬华; 张育;
展开▼
作者单位

苏州大学计算机科学与技术学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
工作流; UML状态图; 模型检测; 时序约束; 一致性;

相似文献

中文文献
外文文献
专利

1. 基于时间自动机的实时工作流时序约束一致性验证 [J] . 龙世荣 ,张广泉 ,汪宏海 . 苏州大学学报（工科版） . 2009,第006期
2. 时间UML-Statecharts建模的工作流时序约束的一致性验证 [J] . 张广泉 ,陆公正 ,戎玫 . 计算机科学 . 2006,第011期
3. 一种基于时间自动机的实时工作流时序约束建模方法 [J] . 龙世荣 ,汪宏海 ,张广泉 . 广西教育学院学报 . 2010,第001期
4. 一种基于扩展UML状态图的并发工作流验证方法 [J] . 陆公正 ,吴澜波 ,顾小晶 . 电脑知识与技术 . 2009,第001期
5. 基于模型检测的UML状态图和顺序图一致性检测 [J] . 杜杰 ,江国华 . 电子科技 . 2012,第002期
6. 基于UML状态图的MM路径形式化表示及生成 [C] . 林羚 ,中国科学院 ,卢江 . 第四届中国测试学术会议 . 2006
7. 基于UML状态图OSPF路由协议一致性测试系统研究与实现 [A] . 欧少闽 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号