Dynamic analysis of agent frameworks in support of a multiagent systems reference model

MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007

Volumn Part 1, Issue , 2007, Pages 11-18

  Mongan, William M ^a   Dugan, Christopher J ^a   Lass, Robert N ^a   Hight, Andrew K ^a   Salvage, Jeff ^a   Regli, William C ^a   Modi, Pragnesh J ^a  

^a Drexel University   (United States)

Author keywords

Agent; Architecture; Design; Reverse engineering

Indexed keywords

COMPUTER GRAPHICS; INFORMATION SYSTEMS; INFORMATION USE; INTELLIGENT SYSTEMS; MULTI AGENT SYSTEMS;

AGENT FRAMEWORK; AGENT SYSTEMS; REFERENCE MODELING;

HUMAN COMPUTER INTERACTION;

EID: 85006522346     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. [EJP Software Tool] Extensible java profiler (ejp). http://ejp.sourceforge.net/.
2. [ASRM] Agent systems reference model. Technical report, Drexel University Project ACIN, Waterfront Tech-nology Center, 200 Federal Street, Suite 300 Camden, NJ 08103, 2006.
3. Fabio Bellifemine, Agostino Poggi, and Giovanni Rimassa. JADE — A FIPA-compliant agent framework. In Proceedings of the 4th International Conference on the Practical Applications of Agents and Multi-Agent Systems (PAAM-99), pages 97–108, London, UK, 1999. The Practical Application Company Ltd. URL http://sharon.cselt.it/projects/jade/PAAM.pdf.
4. Paul Clements, David Garlan, Len Bass, Judith Stafford, Robert Nord, James Ivers, and Reed Little. Documenting Software Architectures: Views and Beyond. Pearson Education, 2002. ISBN 0201703726.
5. Michael D. Ernst. Static and dynamic analysis: Synergy and duality. In WODA 2003: ICSE Workshop on Dynamic Analysis, pages 24–27, Portland, OR, May 9, 2003.
6. Roberto A. Flores-Mendez. Towards a standardization of multi-agent system framework.Crossroads,5 (4):18–24, 1999.
7. Philippe Kruchten.Architectural blueprints—The “4+1” view model of software architecture. IEEE Software, 12(6):42–50, November 1995.
8. Jurgen Lind.Iterative Software Engineering for Multiagent Systems: The Massive Method. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2001. ISBN 3540421661.
9. Raphael Malveau and Thomas J. Mowbray. Software Architect Bootcamp. Prentice Hall, 2001.
10. Pragnesh Jay Modi, Spiros Mancoridis, William M. Mongan, William C. Regli, and Israel Mayk. Towards a reference model for agent-based systems. In Nakashima et al. (11), pages 1475–1482. ISBN 1-59593303-4.
11. Balint Molnar, Imre Berenyi, and Bence Siklosi. Function call trap of java codes with the help of aspectj and xml. In CSMR’02: Proceedings of the 6th European Conference on Software Maintenance and Reengineering, pages 207–210, Washington, DC, USA, 2002. IEEE Computer Society. ISBN 0-7695-1438-3.
12. G. Murphy and D. Notkin. Software reflexion models: Bridging the gap between source and high-level models. In Proceedings of the Third Symposium on the Foundations of Software Engineering, 1995.
13. Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, and Peter Stone, editors.5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, 2006. ACM. ISBN 1-59593-303-4.
14. M. Salah and S. Mancoridis. Toward an environment for comprehending distributed systems. In Proceed-ings of the 2003 Working Conference in Reverse Engineering, 2003.
15. Abraham Silberschatz, Peter Galvin, and Gred Gagne.Applied Operating System Concepts. John Wiley and Sons, Inc., 2003. ISBN 0471263141.
16. David Slak, Michal Pucek, Milan Rollo, and Duı. A-globe: Agent development platform with inaccessibility and mobility support. In Rainer Unland, Matthias Klusch, and Monique Calisti, editors, Software Agent-Based Applications, Platforms and Development Kits, pages 21–46. Birkhauser Verlag, 2005. ISBN 3-7643-7347-4.
17. T. Win and M. Ernst. Verifying distributed algorithms via dynamic analysis and theorem proving, 2002. URL citeseer.ist.psu.edu/win02verifying.html.
18. S. H. Yong and S. Horwitz. Using static analysis to reduce dynamic analysis overhead. Form. Methods Syst. Des., 27(3):313–334, 2005. ISSN 0925-9856.