A component-based model for building reliable multi-agent systems

Proceedings - 28th Annual NASA Goddard Software Engineering Workshop, SEW 2003

Volumn , Issue , 2004, Pages 41-50

  Filho, A H ^a   Von Staa, A ^a   Lucena, C ^a  

^a PONTIFICAL CATHOLIC UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

agent framework; agent reliability; MAS quality control; multi agent systems

Indexed keywords

FORMAL SPECIFICATION; NASA; RELIABILITY; SOFTWARE AGENTS; SOFTWARE ENGINEERING; SPECIFICATIONS; TECHNICAL PRESENTATIONS; XML;

AGENT FRAMEWORK; AGENT ORIENTED SOFTWARE ENGINEERING; COMPONENT-BASED MODELING; DESIGN AND DEVELOPMENT; FORMAL DEVELOPMENT; FORMAL SPECIFICATION METHOD; SPECIFICATION MODELING; STRUCTURAL MODELING;

MULTI AGENT SYSTEMS;

EID: 84954438754     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2003.1270724     Document Type: Conference Paper

References (41)

1. Azarmi N., Thompson S. ZEUS: A Toolkit for Building Multi-Agent Systems. Proceedings of Fifth Annual Embracing Complexity Conference, Paris April 2000.
2. Bigus J. et al. "Constructing Intelligent Agents Using Java". John Wiley & Sons, Inc. New York, 2001.
3. Bosch, J., Molin P., Mattsson M.; Bengtsson P.; Fayad M. Framework problem and experiences in M. Fayad, Building Application Frameworks, John Willey and Sons, p. 55-82, 1999.
4. Caminada N., Haendchen Filho A., Godoy R., Staa A.v. "Applying Frameworks and Design Patterns for Component Development." Proceedings of 3rd. Workshop on Component-Based Development. UFSC, São Paulo, Brasil, 2003.
5. Evans R. (Editor) "MESSAGE: Methodology for Engineering Systems of Software Agents". Deliverable 1, July 2000.
6. Fayad M.E. et al. "Building Application Frameworks". John Wiley & Sons, Inc. New York, 1999.
7. Ferber et al. "A Meta-model for the Analysis and Design of Organizations in Multi-Agent Systems". Proceedings of ICMAS, Paris, 1998.
8. Fewster M. "Software Test Automation: Effective Use of Test Execution Tools". Addison Wesley, New York, 1999.
9. FIPA -Reference FIPA-OS V2.1.0. Nortel Networks Corporation, Ontario, Canada, 2000. FIPA-OS site http://www.emorphia.com/home.htm.
10. Fujiwara S. "Test Selection Based on Finite State Models". IEEE Transactions on Software Engineering, 1991.
11. Gamma E. et al. "Design patterns - elements of reusable object-oriented software." Addison-Wesley Longman, Inc., 1995.
12. Gelfond M. "Representing Action and Change by Logic Programs". The Journal of Logic Programming. Elsevier Science Publishing Co, New York 1993.
13. Griss M.L., Kessler R.R. "Achieving the Promise of Reuse with Agent Component." Software Engineering for Large-Scale Multi-Agent Systems. Springer, LNCS 2603, Germany, 2003.
14. Guttag J. et al. "The Larch family of specifications languages". IEEE Software, 2(5), p. 24-36, 1985.
15. Haendchen Filho A., Staa A.v., Lucena C. "A conceptual role-based model for building multi-agent software testing". Proceedings of SELMAS-2002 - in conjuntion with ICSE-2002. Orlando, Florida, USA, May 2002.
16. Hoare C.A.R. "Communicating Sequential
17. Jennings N., Sycara K. and Wooldridge M. "A Roadmap of Agent Research and Development". Autonomous Agents and Multi-Agent Systems, 1(1), 1998.
18. Jones C.B. "Systematic Software Development Using VDM". Prentice-Hall, Londres, 1986.
19. Khoumsi A. "A Temporal Approach for Testing Distributed Systems". IEEE Transactions on Software Engineering, vol. 28, N. 11, Nov. 2002.
20. Larman C. "Applying UML and Patterns". Prentice Hall PTR. Upper Saddle River, NJ, USA, 1998.
21. Long B. et al. "Tool Support for Testing Concurrent Java Components". IEEE Transactions on Software Engineering, vol. 29, N. 6, June 2003.
22. Milner R. "A Calculus of Communicating Systems". Springer Verlag, 1980.
23. Plasil F. et al. "Behavior Protocols for Software Components". IEEE Transactions on Software Engineering, Vol. 28, N. 11, November 2002.
24. Plasil F. et al. "SOFA/DCUP - Architecture for Component Trading and Dynamic Updating". Proceedings Fourth Conference Configurable Distributed Systems (ICCDS'98), 1998.
25. Paton N.W. "Supporting Production Rules Using ECA-Rules in an Object-Oriented Context". Department of Computer Science. Technical Report. University of Manchester, UK, 1995.
26. Peterson J.L. "Petri Net Theory and the Modeling of Systems. McGraw-Hill, New York, 1981.
27. Potter B., Sinclair J., Till D. "Introduction to Formal Specification in Z". Prentice Hall PTR, 1997.
28. Pree, W. Hot-spot-driven development in M. Fayad, R. Johnson, D. Schmidt. Building Application Frameworks: Object-Oriented Foundations of Framework Design, John Willey and Sons, p. 379-393, 1999.
29. Prowell S.J., Trammel C.J. "Cleanroom software engineering: technology and process". Addison-Wesley, 1999.
30. Roberts D., Johnson R. Evolving frameworks: A pattern language for developing object-oriented frameworks in Martin R.C., Riehle D., Buschmann F. Addison-Wesley, , 1998.
31. Roscoe A.W. "The Theory and Practice of Concurrency". Prentice Hall, 1998.
32. Shaw M., Garlang D. "Software architecture: perspectives on an emerging discipline." Prentice Hall, 1996.
33. SOFA Project. http://nenya.ms.mff.cuni.cz/thegroup/SOFA/sofa.html, 2000.
34. Sommerville I. "Software Engineering. Pearson Education Limited". Addison Wesley, England, 2001.
35. Spivey J.M. "The Z Notation: a Reference Manual". Prentice-Hall, Londres, 1999.
36. Staa A. v. "Modular Programming". Editora Campus Ltda. Rio de Janeiro, Brasil, 2000.
37. Szyperski C. "Component Software - Beyond Object-Oriented Programming." Addison-Wesley and ACM Press, 2000.
38. Vitaglione G., Quarta F., Cortese E. Scalability and Performance of JADE Message Transport System. Proceedings of AAMAS Workshop on AgentCities, Bologna, 16th July, 2002.
39. rd International Conference on Autonomous Agents, Seatle, WA, 1999.
40. Wordsworth J. "Software Engineering with B". Addison Wesley, New York, 1996.
41. Yu L. et al. "A Conceptual Framework for Agent Oriented and Role Based Workflow Modeling." Technical report, Institute for Media and Communications Management.