在开放系统中通过传输协议扩展代理
摘要：开放系统中的代理者通过交互协议进行通信。假设我们有一个代理者系统，我们想要添加一个新的协议，所有（或部分）代理者都应该能够理解。显然，修改每个代理者实现的源代码是不切实际的。解决这个升级开放系统的问题的方法是拥有一个允许代理者接收交互协议描述并使用它的机制。在本文中，我们提出了一种基于扩展Petri网的协议表示方法。然而，这还不够：在开放系统中，协议的来源可能是不可信的，并且接收到的协议可能包含错误的步骤或使机密信息公开的步骤。因此，我们还描述了一种分析方法，推断出协议是否安全。最后，我们给出了一个扩展Petri网的执行模型。
作者：Lavindra de Silva and Michael Winikoff and Wei Liu
论文ID：1403.0429
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2014-03-04