The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Designing Complex Agent Interaction Protocols Using Colored Petri Nets
Abstract
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.
Related Content
|
Jeff Mangers, Christof Oberhausen, Meysam Minoufekr, Peter Plapper.
© 2020.
26 pages.
|
|
Sylvain Maechler, Jean-Christophe Graz.
© 2020.
27 pages.
|
|
Sabrina Petersohn, Sophie Biesenbender, Christoph Thiedig.
© 2020.
41 pages.
|
|
Jonas Lundsten, Jesper Mayntz Paasch.
© 2020.
21 pages.
|
|
Justus Alexander Baron.
© 2020.
31 pages.
|
|
Vasileios Mavroeidis, Petros E. Maravelakis, Katarzyna Tarnawska.
© 2020.
19 pages.
|
|
Hiam Serhan, Doudja Saïdi-Kabeche.
© 2020.
30 pages.
|
|
|