首页> 中文会议>中国人工智能学会第12届全国学术年会 >基于时态断言的迁移工作流实例运行约束

基于时态断言的迁移工作流实例运行约束

页面导航

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

摘要

随着Internet的进一步发展,迁移实例技术已成为计算机网络和分布式系统中最具活力的发展方向,但在复杂的网络环境下,对迁移实例的运行安全性提出了特殊要求。本文提出一种基于时态断言的运行时检测机制,并以迁移实例在运行中所需遵循的约束条件为例,讨论时态断言的形式化描述、设计及编码。实验表明,该机制能够实时、有效的监测迁移实例的运行是否违反了预定义的约束条件。

著录项

来源
《中国人工智能学会第12届全国学术年会》|2007年|774-778|共5页
会议地点哈尔滨
作者
孙风超; 韩芳溪;
展开▼
作者单位

中国人工智能学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类自动推理、机器学习;
关键词
互联网络; 迁移技术; 模态逻辑; 时态断言; 自动推理;

相似文献

中文文献
外文文献
专利

1. 基于有限状态机的工作流实例状态迁移研究 [J] . 王婷婷 ,孙精科 . 软件导刊 . 2014,第012期
2. 基于有限状态机的工作流实例状态迁移研究 [J] . 王婷婷 ,孙精科 . 软件导刊 . 2014,第012期
3. 基于免疫算法的迁移工作流实例安全工作位置选择 [J] . 李浩 ,韩芳溪 ,王晓琳 . 计算机系统应用 . 2011,第008期
4. 一种基于历史路径的工作流实例迁移方法 [J] . 荆超 ,侯秀萍 ,郝帅 . 电脑知识与技术 . 2009,第033期
5. 基于状态的工作流实例迁移方法 [J] . 杨书新 ,王坚 . 计算机集成制造系统 . 2008,第002期
6. 一种基于任务补偿的工作流实例迁移策略 [C] . 李强 ,刘亚军 . 第二十三届中国数据库学术会议（NDBC2006） . 2006
7. 基于时态断言的迁移工作流实例安全研究 [A] . 孙风超 . 2008

基于时态断言的迁移工作流实例运行约束

摘要

著录项

相似文献

相关主题

期刊订阅