scholarly journals Propositional Statecharts for Agent Interaction Protocols

2005 ◽  
Vol 134 ◽  
pp. 55-75 ◽  
Author(s):  
H.R. Dunn-Davies ◽  
R.J. Cunningham ◽  
S. Paurobally
Keyword(s):  
Interaction Protocols ◽  
Agent Interaction

Designing Complex Agent Interaction Protocols Using Colored Petri Nets

2015 ◽  
pp. 728-750
Author(s):  
Djamel Benmerzoug
Keyword(s):  
Formal Model ◽  
Formal Analysis ◽  
Agent Based ◽  
Enterprise Application ◽  
Interaction Protocols ◽  
Complex Agent ◽  
Agent Interaction ◽  
New Business ◽  
Collaborative Activities ◽  
Different Parts

This paper deals with one of the key issue in modern enterprises applications: the Agents Interaction Protocols (AiP) that are interconnecting the different parts involved in collaborative activities. The challenge here is twofold. First, we must provide a formal model that is rich enough to capture interactions characteristics. Second, we must allow designers to combine existing protocols to achieve a new specific need. The paper introduces a formal analysis framework allowing the verification of the conformance between interaction protocols. The semantics of AiP notations used in our approach and its application are described on the basis of translation rules into colored Petri net. The key feature of this framework is the ability to model and formally verify composition of AiP, where particular protocols may then be selected and composed to support a new business task. Furthermore, an agent-based architecture that supports our approach is developed. The main goal of the proposed architecture is to address and tackle AiP composition in the context of Cloud-based enterprise application.

Sign in / Sign up

Export Citation Format

Share Document