A flexible framework for verifying agent programs
A flexible framework for verifying agent programs
复制标题
用于验证代理程序的灵活框架
DOI：
10.1145/1402821.1402857
复制
发表时间：
2008
期刊：
影响因子：
2.7
通讯作者：
Michael Fisher
中科院分区：
文献类型：
--
作者：
Louise Dennis;Berndt Müller;Rafael Heitor Bordini;Michael Fisher
越来越多的面向代理的编程语言具有工作解释器和平台，在过去几年中，这些平台的质量取得了重大进展。随着这些平台变得越来越受欢迎，多代理系统越来越多地用于安全关键型应用程序，验证技术，适用于这些语言编写的系统的需要是成比例地加强。基于我们以前的工作模型检查一个特定的面向代理的编程语言，我们已经开发出一种新的方法，模型检查技术可以直接用于各种这样的语言。该方法还支持多代理系统的验证，其中单个代理已被编程在不同的代理语言。
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over the last few years. With these platforms becoming more popular, and multi-agent systems being increasingly used for safety-critical applications, the need for verification techniques that apply to systems written in such languages is proportionally intensified. Building on our previous work on model checking for a particular agent-oriented programming language, we have developed a new approach whereby model checking techniques can be used directly on a variety of such languages. The approach also supports the verification of multi-agent systems where individual agents have been programmed in different agent languages.