Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Welcome to the InfoSci Platform
Reference Hub2
Designing Complex Agent Interaction Protocols Using Colored Petri Nets: The Cloud Services Composition Case Study

Designing Complex Agent Interaction Protocols Using Colored Petri Nets: The Cloud Services Composition Case Study

Djamel Benmerzoug
Copyright: © 2014 |Volume: 6 |Issue: 2 |Pages: 22
ISSN: 1943-0744|EISSN: 1943-0752|EISBN13: 9781466652828|DOI: 10.4018/ijats.2014040103
Cite Article Cite Article

MLA

Benmerzoug, Djamel. "Designing Complex Agent Interaction Protocols Using Colored Petri Nets: The Cloud Services Composition Case Study." IJATS vol.6, no.2 2014: pp.51-72. http://doi.org/10.4018/ijats.2014040103

APA

Benmerzoug, D. (2014). Designing Complex Agent Interaction Protocols Using Colored Petri Nets: The Cloud Services Composition Case Study. International Journal of Agent Technologies and Systems (IJATS), 6(2), 51-72. http://doi.org/10.4018/ijats.2014040103

Chicago

Benmerzoug, Djamel. "Designing Complex Agent Interaction Protocols Using Colored Petri Nets: The Cloud Services Composition Case Study," International Journal of Agent Technologies and Systems (IJATS) 6, no.2: 51-72. http://doi.org/10.4018/ijats.2014040103

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.