阿吉拉尔·科内霍(Manuel Aguilar Cornejo);休伯特·加拉维;拉杜·马特埃斯库;诺埃尔·德·帕尔马 基于代理应用程序的动态重新配置协议的规范和验证。 (英语) Zbl 0984.68736号 杰林斯基,Krzysztof(编辑)等人,分布式应用程序和互操作系统的新发展。IFIP TC6/WG6.1第三次国际工作会议,波兰克拉科夫,2001年9月17日至19日。波士顿:Kluwer学术出版社。229-242 (2001). 摘要:动态重新配置允许分布式应用程序在运行时演变,从而提高了它们的可用性。本文研究了工业智能体应用中使用的动态重构协议的形式化描述和模型检查验证。从JAVA中的参考实现开始,我们使用形式描述技术LOTOS生成了协议的规范。我们还指定了一组时间逻辑公式,用于表征每个协议原语的正确行为。最后,我们研究了协议的各种有限状态配置,在此基础上,我们使用CADP协议工程工具集验证了这些要求。有关整个系列,请参见[Zbl 0972.00061号]. 引用于1文件 MSC公司: 99年6月 计算方法和应用 68T05型 人工智能中的学习和自适应系统 60年第68季度 规范和验证(程序逻辑、模型检查等) 68个M12 网络协议 关键词:动态重构;重配置协议 PDF格式BibTeX公司 XML格式引用 \textit{M.Aguilar Cornejo}等人,in:分布式应用程序和互操作系统的新发展。IFIP TC6/WG6。第三次国际工作会议,2001年9月17日至19日,波兰克拉科夫。波士顿:Kluwer学术出版社。229-242(2001年;兹bl 0984.68736)