NDLI: A novel conformance testing technique for Agent Interaction Protocols

Content Provider	IEEE Xplore Digital Library
Author	Mokhati, F. Badri, M. Zerrougui, S.
Copyright Year	2013
Description	Author affiliation: Dept. of Math. & Comput. Sci., Univ. de Quebec a Trois-Rivieres, Trois-Rivieres, QC, Canada (Badri, M.) \|\| Dept. of Math. & Comput. Sci. LAMIS Lab., Tebessa Univ. Oum el Bouaghi Univ.- Algeria, Oum El Bouaghi, Algeria (Mokhati, F.) \|\| Dept. of Math. & Comput. Sci., Oum el Bouaghi Univ., Oum el Bouaghi, Algeria (Zerrougui, S.)
Abstract	Agent Interaction Protocols (AIP) play a crucial role in multi-agent systems development. AIP allow specifying interactions (sequences of messages) between agents. As agent-oriented development emerges, testing agent-based software is receiving increased research attention. We present, in this paper, a novel conformance testing technique for agent interaction protocols. The approach supports an incremental testing strategy that considers both agent and society testing of Multi-Agent Systems. It uses aspect-oriented technology to support and monitor the testing process. The proposed technique consists in two main phases: (1) Generating adequate test cases from a formal description of Multi-Agent Systems' behavior, and (2) Verifying the execution of test cases. The technique is supported by a visual tool (AIPTE: Agent Interaction Protocols Testing Environment). A case study is presented to illustrate the approach.
Starting Page	485
Ending Page	495
File Size	1887190
Page Count	11
File Format	PDF
ISBN	9780989319300
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-10-07
Publisher Place	UK
Access Restriction	Subscribed
Rights Holder	The Science and Information Organization
Subject Keyword	System testing Agent Interaction Protocol Reduced Testing Sequence Protocols Instruments Proposals Conformance Testing Multi-Agent Systems Silicon JADE Complete Testing Sequence AspectJ Multi-agent systems
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Verifying protocol conformance for logic-based communicating agents (2005)

Research on conformance testing method for 6LoWPAN neighbor discovery protocol and system implementation

Verifying protocol conformance for logic-based communicating agents (2005)

Authenticated service interaction protocol for Multi-Agent System

Consensus of general linear and Lipschitz nonlinear multi-agent systems with reduced-order protocols

Introducing Trust Establishment Protocol in Contract Net Protocol

Multi-Agent control system

Interaction representation in agent-based modeling for intelligence reconnaissance system

Interaction protocols in multi-agent systems based on agent petri nets model.

A novel conformance testing technique for Agent Interaction Protocols

Similar Documents

Verifying protocol conformance for logic-based communicating agents (2005)

Research on conformance testing method for 6LoWPAN neighbor discovery protocol and system implementation

Verifying protocol conformance for logic-based communicating agents (2005)

Authenticated service interaction protocol for Multi-Agent System

Consensus of general linear and Lipschitz nonlinear multi-agent systems with reduced-order protocols

Introducing Trust Establishment Protocol in Contract Net Protocol

Multi-Agent control system

Interaction representation in agent-based modeling for intelligence reconnaissance system

Interaction protocols in multi-agent systems based on agent petri nets model.

A novel conformance testing technique for Agent Interaction Protocols