Monitoring Multi-Agent Systems for deadlock detection based on UML models

Canadian Conference on Electrical and Computer Engineering

Volumn , Issue , 2008, Pages 1611-1616

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

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Deadlock detection; Monitoring; Multi agent system; UML

Indexed keywords

COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE; GRAPHIC METHODS; MODELS; RISK ASSESSMENT; SOFTWARE AGENTS; SOFTWARE ENGINEERING; TECHNOLOGY; UNIFIED MODELING LANGUAGE;

BEHAVIORAL MODELING; COMMERCIAL SOFTWARE DEVELOPMENT; DEADLOCK DETECTION; EFFICIENT MONITORING; ELECTRICAL AND COMPUTER ENGINEERING; EMERGENT BEHAVIORS; MAIN STREAM; MONITORING; MULTI AGENTS; MULTI-AGENT SYSTEM; RUN-TIME; SEQUENCE DIAGRAMS; SOFTWARE INDUSTRY; UML; UML MODELING; UML SEQUENCE DIAGRAMS;

MULTI AGENT SYSTEMS;

EID: 51849099129     PISSN: 08407789     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CCECE.2008.4564814     Document Type: Conference Paper

References (18)

1. H. V. D. Parunak, "A Practitioners' Review of Industrial Agent Applications," Journal of Autonomous Agents and Multi-Agent Systems, vol. 3, pp. 389-407, 2000.
2. M. R. Genesereth and P. K. Ketchpel, "Software agents " Commun. ACM vol. 37 pp. 48-53, 1994.
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. F. Bergenti, M.P.Gleizes, and F. Zambonelli, Methodologies and Software Engineering for Agent System vol. 11. New York: Kluwer Academic Publishers, 2004.
6. 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.
7. B. Meyer, "Applying Design by Contract," IEEE Computer, vol. 25, pp. 40-51, 1992.
8. H. L. Timothy and S. A. DeLoach, "Automatic Verification of Multiagent Conversations," in the Annual Midwest Artificial Intelligence and Cognitive Science Fayetteville, 2000.
9. 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.
10. G. J. Holzmann, "The Model Checker Spin," IEEE Trans. on Soft. Eng., vol. 23, pp. 279-295, 1997.
11. V. Gligor and S. Shattuck, "Deadlock detection in distributed systems," IEEE Trans. Soft. Eng., pp. 435-440, 1980.
12. K. M. Chandy, J. Misra, and L. M. Haas, "Distributed Deadlock Detection," ACM Trans. on Computer Systems, vol. 1, pp. 144-156, 1983.
13. A. Tanenbaum, Modern Operating Systems. Englewood Cliffs: Prentice Hall Inc., 1992.
14. H. Suguri, E. Kodama, M. Miyazaki, and I. Kaji, " Assuring interoperability between heterogeneous multi-agent systems with a gateway agent," in Proc. of the 7th IEEE Int. Symp. on High Assurance Systems Eng., 2002, pp. 167-170.
15. T. Finin, R. Fritzson, D. McKay, and R. McEntire, "KQML as an agent communication language," in The Third Int. Conf. on Information and Knowledge Management, Gaithersburg, Maryland, United States, 1994, pp. 456 - 463
16. Foundation for Intelligent Physical Agents (FIPA), "FIPA ACL Message Structure Specification," 2002.
17. D.A. Menasce and R.R. Muntz, "Locking and Deadlock Detection in Distributed Data Bases," IEEE Transactions on Software Eng., vol. 5, pp. 195-202, 1979.
18. V. Garousi, L. Briand, and Y. Labiche, "Analysis and Visualization of Behavioral Dependencies among Distributed Objects based on UML Models," in Proc. of Int. Conf. on Model Driven Engineering Languages and Systems, 2006, pp. 365-379.