A UML-based conversion tool for monitoring and testing multi-agent systems

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 1, Issue , 2008, Pages 212-219

  Mani, Nariman ^a   Garousi, Vahid ^a   Far, Behrouz H ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Deadlock detection; Multi agent system; Software testing; UML

Indexed keywords

AGENTS; ARTIFICIAL INTELLIGENCE; AUTONOMOUS AGENTS; COMPUTER SOFTWARE SELECTION AND EVALUATION; HAND TOOLS; SOFTWARE AGENTS; SOFTWARE ENGINEERING; SOFTWARE TESTING; THEOREM PROVING; UNIFIED MODELING LANGUAGE;

DEADLOCK DETECTION; DESIGN AND ANALYSES; DYNAMIC SOFTWARES; EMERGENT BEHAVIORS; HAND MODELS; MODEL BASED TESTING; MONITORING TOOLS; MULTI AGENTS; MULTI-AGENT SYSTEM; SOFTWARE DEVELOPMENTS; SOFTWARE INDUSTRIES; TESTING TOOLS; UML; UNIFIED MODELING;

MULTI AGENT SYSTEMS;

EID: 57649221815     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2008.114     Document Type: Conference Paper

References (23)

1. M. R. Genesereth and P. K. Ketchpel, "Software agents" Commun. ACM vol. 37 pp. 48-53, 1994.
2. F. Bergenti, M.P. Gleizes, and F. Zambonelli, Methodologies and Software Engineering for Agent System vol. 11. New York: Kluwer Academic Publishers, 2004.
3. Object Management Group (OMG), "UML 2.1.1 Superstructure Specification," 2007.
4. S. A. DeLoach, "The MaSE Methodology," in Methodologies and Software Eng. for Agent System. vol. 11, F. Bergenti, M.P. Gleizes, and F. Zambonelli, Eds. New York: Kluwer Academic Publishers, 2004, pp. 107-147.
5. N. Mani, V. Garousi, and B. Far, "Monitoring Multi-agent Systems for Deadlock Detection Based on UML Models," in 21st IEEE Canadian Conference on Electrical and Computer Engineering (CCECE08) Computer Systems and Applications Niagara Falls, Canada, 2008.
6. N. Mani, V. Garousi, and B. Far, "Testing Multi-Agent Systems for Deadlock Detection Based on UML Models," in The 14th International Conference on Distributed Multimedia Systems (DMS08) Boston, USA, 2008.
7. G. M. Saba and E. Santos, "The Multi-Agent Distributed Goal Satisfaction System," in ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce, 2000.
8. J. T. McDonald, M. L. Talbert, and S. A. DeLoach, "Heterogeneous Database Integration Using Agent Oriented Information Systems," in Proceedings of the International Conference on Artificial Intelligence, 2000.
9. P. K. Harmer and G. B. Lamont, "An Agent Architecture for a Computer Virus Immune System," in Genetic and Evolutionary Computation Conference, 2000.
10. A. Elamy and B. Far, "A Statistical Approach for Evaluating and Assembling Agent-Oriented Software Engineering Methodologies," in Agent-Oriented Information Systems IV. vol. 4898/2008 Berlin / Heidelberg: Springer, 2008, pp. 105-122.
11. M. Wooldridge, N. R. Jennings, and D. Kinny, "The Gaia Methodology for Agent-Oriented Analysis and Design," Autonomous Agents and Multi-Agent Systems, vol. 3, pp. 285-312, 2000.
12. F. Giunchiglia, J. Mylopoulos, and A. Perini, "The tropos software development methodology: processes, models and diagrams," in Proceedings of the first international joint conference on Autonomous agents and multiagent systems, Italy, 2002, pp. 35 - 36
13. M. J. Wooldridge and P. Ciancarini, "Agent-Oriented Software Engineering: The State of the Art," in Proc. of the Workshop on Agent-Oriented Soft. Eng., 2000, pp. 1-28.
14. B. Meyer, "Applying Design by Contract," IEEE Computer, vol. 25, pp. 40-51, 1992.
15. H. L. Timothy and S. A. DeLoach, "Automatic Verification of Multiagent Conversations," in the Annual Midwest Artificial Intelligence and Cognitive Science Fayetteville, 2000.
16. M. J. Wooldridge, M. Fisher, M. Huget, and S. Parsons, "Model Checking Multi-Agent Systems with MABLE," in Proc. of the Int. Joint Conf. on Autonomous Agents and Multiagent Systems, 2002, pp. 952-959.
17. G. J. Holzmann, "The Model Checker Spin," IEEE Trans. on Soft. Eng., vol. 23, pp. 279-295, 1997.
18. V. Garousi, L. Briand, and Y. Labiche, "Control Flow Analysis of UML 2.0 Sequence Diagrams," in Model Driven Architecture - Foundations and Applications. vol. LNCS 3748/2005: Springer Berlin / Heidelberg, 2005, pp. 160-174.
19. T. S. Chow, "Testing Software Design Modeled by Finite-State Machines," IEEE Trans. on Software Eng., vol. 4, pp. 178-187 1978.
20. H. S. Hong, Y. G. Kim, S. D. Cha, D. H. Bae, and H. Ural, "A test sequence selection method for statecharts," Software Testing, Verification and Reliability, vol. 10, pp. 203 - 227, 2000.
21. L. C. Briand, Y. Labiche, and Q. Lin, "Improving Statechart Testing Criteria Using Data Flow Information," in Proc. of the 16th IEEE Int. Symposium on Software Reliability Engineering, Washington, DC, USA, 2005, pp. 95 - 104
22. A. T. Chusho, "Test data selection and quality estimation based on the concept of essential branches for path testing," IEEE Transaction on Software Engineering, vol. 13, pp. 509-517, 1987.
23. A. Bertolino and M. Marre, "Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs," IEEE Transaction on Software Engineering, vol. 20, pp. 885-899, 1994.