A UML-Based Conversion Tool for Monitoring and Testing Multi-agent Systems

The increasing demand for multi-agent systems (MAS) in the software industry has led to development of several agent oriented software engineering (AOSE) methodologies. The autonomous agents' interaction in a dynamic software environment can potentially lead to runtime behavioral failures such as deadlock. Therefore, the MAS environment should be tested and monitored against the unwanted emergent behaviors. The AOSE methodologies usually do not cover monitoring and testing. On the other hand model-based software development practices such as the Unified Modeling Languages (UML) are commonly used in practice and are equipped with a rich set of model based testing and monitoring tools. In this paper, we propose a conversion tool to help MAS engineers use UML-based monitoring and testing tools to test and monitor MAS design and analysis artifacts created by multi-agent software engineering (MaSE) as one of the most powerful and famous AOSE methodologies.

[1]  Fausto Giunchiglia,et al.  The tropos software development methodology: processes, models and diagrams , 2002, AAMAS '02.

[2]  Doo-Hwan Bae,et al.  A test sequence selection method for statecharts , 2000, Softw. Test. Verification Reliab..

[3]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[4]  Michael Wooldridge,et al.  Model checking multi-agent systems with MABLE , 2002, AAMAS '02.

[5]  Scott A. DeLoach,et al.  THE MASE METHODOLOGY , 2006 .

[6]  Scott A. DeLoach,et al.  Heterogeneous Database Integration Using Agent- Oriented Information Systems * , 2000 .

[7]  Vahid Garousi,et al.  Testing Multi-agent Systems for Deadlock Detection Based on UML Models , 2008, DMS.

[8]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[9]  B.H. Far,et al.  Monitoring Multi-Agent Systems for deadlock detection based on UML models , 2008, 2008 Canadian Conference on Electrical and Computer Engineering.

[10]  Antonia Bertolino,et al.  Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs , 1994, IEEE Trans. Software Eng..

[11]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[12]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering: The State of the Art , 2009, AOSE.

[13]  Gregg H. Gunsch,et al.  An artificial immune system architecture for computer security applications , 2002, IEEE Trans. Evol. Comput..

[14]  Franco Zambonelli,et al.  Methodologies and Software Engineering for Agent Systems , 2004, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[15]  Scott A. DeLoach,et al.  Automatic Verification of Multiagent Conversations , 2000 .

[16]  Takeshi Chusho,et al.  Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing , 1987, IEEE Transactions on Software Engineering.

[17]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[18]  Vahid Garousi,et al.  Control Flow Analysis of UML 2.0 Sequence Diagrams , 2005, ECMDA-FA.

[19]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[20]  Lionel C. Briand,et al.  Improving statechart testing criteria using data flow information , 2005, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05).

[21]  Behrouz Homayoun Far,et al.  On the Evaluation of Agent-Oriented Software Engineering Methodologies: A Statistical Approach , 2006, AOIS.