0

A Petri Net Based Multi-Agent System Behavioral Testing

Mar 01, 2012

DOI: 10.5539/mas.v6n3p46

Published in: Modern Applied Science

Publisher: Canadian Center of Science and Education (CCSE)

/ Belkacem Athamena / zina houhamdi

In Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design models. If a design model contains faults, they are passed to the generated implementations. Practical model validation techniques are required to discover and delete faults in abstract design models. In this paper, we introduce a formal approach for MAS design testing. It specifies a testing process that complements Multi-agent Systems Engineering (MaSE) methodology and strengthens the mutual relationship between UML and MAS. Besides, it defines a structured and comprehensive testing process for engineering software agents at the design level by providing a systematic way of converting the MAS design models to UML design diagram. Then a Petri Net (PN) diagram is generated from the UML models to simulate the behavior of the MAS system. Finally, because Petri Nets (PNs) are formal models, their analysis techniques can be applied to automatic MAS behavioral testing.

Other Researches

A Multi-Agent System for Course Timetable Generation

In the university, course scheduling and preparation for each semester can be defined as the process of determining what courses to offer, the number of sections needed for each course, assigning of a faculty member to teach each section, and alloca...

Impacts of information quality on decision-making

Prior investigations have pointed out that an understanding of the impacts of information quality is essential to the organisation's success. Nevertheless, few investigations have analysed the impacts of information quality in a business context. Th...

An Exception Management Model in Multi-Agents Systems

Multi-Agents Systems (MAS) are modern approaches that need an additional investigation to improve their reliability and adaptability levels. Exception management is one way to reach this goal and this paper is dedicated to this specific subject. The...

Data freshness evaluation in data integration systems

The availability of data in different datasources increases highly the demand on accessing this data in a uniform and generalised way, especially in decision making applications which require an exhaustive investigation and examination of the data. ...

INFORMATION QUALITY FRAMEWORK

This paper discusses a general, meaningful and repeated problem in information systems practice: under investment in the client information quality. Many organizations need precise financial models so as to initiate investments in their information ...

Particle swarm optimization of an extended Kalman filter for speed and rotor flux estimation of an induction motor drive

A novel method based on a combination of the extended Kalman filter with particle swarm optimization (PSO) to estimate the speed and rotor flux of an induction motor drive is presented. The proposed method will be performed in two steps. As a first ...

Structured Acceptance Test Suite Generation Process for Multi-Agent System

In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent Systems (MAS). Testi...

Structured integration test suite generation process for multi-agent system

Problem statement: In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent S...

Structured system test suite generation process for multi-agent system

In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent Systems (MAS). MAS’t...

From graphical user interface to domain class diagram: a reverse engineering approach

Abstract The Graphical User Interfaces (GUIs) of software products are extensively used by researchers and practitioners in Software Engineering field. For Example, they are used for testing, measuring usability, and many other purposes. This paper ...

Fault detection and isolation in dynamic systems using statistical local approach and hybrid least squares algorithm

A fault detection and isolation (FDI) scheme for dynamic system proposed. This study deals with the design of discrete-time linear system using delta operator approach and the hybrid least squares (HLS) algorithm. A third residual generation based o...

Fault detection and isolation using hybrid parameter estimation and fuzzy logic residual evaluation

Fault diagnosis has become an issue of primary importance in modern process automation as it provides the prerequisites for the task of fault detection. The ability to detect the faults is essential to improve reliability and security of a complex...