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

摘要：

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

关键词： 互联网络 迁移技术 模态逻辑 时态断言 自动推理

作者: 孙风超 韩芳溪

作者单位: 山东大学计算机科学与技术学院 济南 250061

会议类型: 国内会议

会议名称: 中国人工智能学会第12届全国学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 774-778

在线出版日期: 2007-11-20（万方平台首次上网日期，不代表论文的发表时间）