首页> 中文期刊>广西教育学院学报 >一种基于时间自动机的实时工作流时序约束建模方法

一种基于时间自动机的实时工作流时序约束建模方法

开具论文收录证明 >>

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

页面导航

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

摘要

本文详细分析了实时工作流中的时序约束.同时,为了对实时工作流时序约束进行形式化描述,本文利用时间自动机建模实时工作流的时序约束.这为实时工作流时序约束的形式化验证提供了基础.

著录项

来源
《广西教育学院学报》|2010年第1期|132-135|共4页
作者
龙世荣; 汪宏海; 张广泉;
展开▼
作者单位

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

赣南教育学院计算机系,江西,赣州,341000;

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

展开▼
原文格式 PDF
正文语种 chi
中图分类模型理论;
关键词
实时工作流; 时序约束; 建模; 时间自动机;

相似文献

中文文献
外文文献
专利

1. 基于时间自动机的实时工作流时序约束一致性验证 [J] . 龙世荣 ,张广泉 ,汪宏海 . 苏州大学学报（工科版） . 2009,第006期
2. 一种基于UML的实时工作流建模方法研究 [J] . 徐亮 ,张莉 ,樊志强 . 计算机研究与发展 . 2010,第007期
3. 一种基于时间自动机网络的实时系统形式化验证方法 [J] . 刘传会 ,张广泉 . 苏州大学学报（自然科学版） . 2008,第001期
4. 一种基于时间自动机的实时系统测试方法 [J] . 陈伟 ,薛云志 ,赵琛 . 软件学报 . 2007,第001期
5. 基于时间自动机的实时系统建模及验证 [J] . 吴永刚 ,陆慧娟 ,程倬 . 计算机时代 . 2011,第006期
6. 一种基于UML的实时工作流建模方法研究 [C] . . 2008全国软件与应用学术会议(NASAC'08) . 2008
7. 实时工作流建模与时序约束验证 [A] . 龙世荣 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号