An approach to rapid prototyping of large multi-agent systems

Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2002, Pages 13-22

  Vasconcelos, W ^a   Sierra, C ^b   Esteva, M ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

BUILDING PROTOTYPES; CONTROLLED SIMULATION; DESIGN FEATURES; DESIGN SPACES; DISTRIBUTED PLATFORMS; ERROR PRONE TASKS; GAINING INSIGHTS; INDIVIDUAL COMPONENTS;

MULTI AGENT SYSTEMS;

EID: 84982943824     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2002.1114987     Document Type: Conference Paper

References (32)

1. J. J. Alferes, P. Dell'Acqua, E. Lamma, J. A. Leite, L. M. Pereira, and F. Riguzzi. A Logic Based Approach to Multi-Agent Systems. ALP Newsletter, 14(3), Aug. 2001.
2. K. R. Apt. From Logic Programming to Prolog. Prentice-Hall, U.K., 1997.
3. M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, and F. Zini. Logic Programming & Multi-Agent Systems: a Synergic Combination for Applications and Semantics. In The Logic Programming Paradigm: a 25-Year Perspective, pages 5-32. Springer Verlag, 1999.
4. G. Bucci and E. Vicario. Rapid Prototyping through Communicating Petri Nets. In N. Kanopoulos, editor, Procs. 3rd Int'l Workshop on Rapid System Prototyping, pages 58-75, Los Alamitos, CA, USA, 1994. IEEE Press.
5. Budde, R. and Kuhlenkamp, K. and Mathiassen, L. and Züllighoven, H., editor. Approaches to Prototyping. Springer-Verlag, New York, NY, USA, 1984.
6. D. Cabeza, M. Hermenegildo, and S. Varma. WWW Programming using Computational Logic Systems (and the PiLLoW/CIAO Library). Technical report, Computer Science Department, Technical University of Madrid, 1996.
7. A. Chavez and P. Maes. Kasbah: An Agent Marketplace for Buying and Selling Goods. In Procs. 1st Int'l Conf. on the Practical Applic. of Intell. Agents & Multi-Agent Technology (PAAM'96), Blackpool, UK, 1996. Practical Application Co.
8. P. Dart, E. Kazmierczak, L. Sterling, M. Martelli, V. Mascardi, F. Zini, and V. Subrahmanian. Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications. In Procs. 9th Software Tech. & Engineering Practice (STEP'99), Pittsburgh, PA, USA, Sept. 1999. IEEE Press.
9. M. Esteva, D. de La Cruz, and C. Sierra. ISLANDER: an Electronic Institution Editor. In Proc. 1st Int'l Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS 2002), Bologna, Italy, 2002. ACM, U.S.A.
10. M. Esteva, J.-A. Rodríguez-Aguilar, C. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. volume 1991 of LNAI. Springer-Verlag, 2001.
11. P. Flener, K.-K. Lau, M. Ornaghi, and J. Richardson. An Abstract Formalisation of Correct Schemas for Program Synthesis. J. Symb. Computation, 30(1), July 2000.
12. A. Franklin and A. Graesser. Is it an Agent, or just a Program? In Intelligent Agents III. Springer-Verlag, Berlin, 1997.
13. N. E. Fuchs. Specifications are (Preferably) Executable. Software Engineering Journal, pages 323-334, Sept. 1992.
14. A. T. Goldberg. Knowledge-Based Programming: A Survey of Program Design and Construction Techniques. IEEE Trans. on Soft. Eng., SE-12(7):752-768, July 1986.
15. V. S. Gordon and J. M. Bieman. Rapid Prototyping: Lessons Learned. IEEE Software, 12(1):85-95, 1995.
16. Hasselbring, W. Programming Languages and Systems for Prototyping Concurrent Applications. ACM Computing Surveys, 32(1):43-79, 2000.
17. G. J. Holzmann, E. Najm, and A. Serhrouchni. SPIN Model Checking: an Introduction. Int. Journal of Software Tools for Technology Transfer, 2(4):321-327, Mar. 2000.
18. R. A. Kowalski and F. Sadri. From Logic Programming Towards Multi-agent Systems. Annals of Mathematics and Articial Intelligence, 25(3-4):391-419, 1999.
19. Luqi. Computer Aided System Prototyping. In Procs. 1st Int'l Workshop on Rapid System Prototyping, pages 50-57, Los Alamitos, CA, USA, 1992. IEEE Press.
20. M. Martelli, V. Mascardi, and F. Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. In Proc. of APPIA-GULP-PRODE, L'Aquila, Italy, Sept. 1999.
21. E-Institutor Project. Islander Graphical Editor. IIIA-CSIC, Bellaterra, Catalonia, Spain, http://e-institutor.iiia.csic.es/e-institutor/software/islander.html, 2002.
22. C. Musciano and B. Kennedy. HTML & XHTML: The Definitive Guide. O'Reilly, USA, 4th edition, 2000.
23. S. Parsons, C. Sierra, and N. R. Jennings. Agents that Reason and Negotiate by Arguing. Journal of Logic and Computation, 8(3):261-292, 1998.
24. J. A. Rodriguez. On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, IIIA-CSIC, Bellaterra, Catalonia, Spain, 2001.
25. C. Sierra, J. Sabater, J. Agustí, and P. Garcia. Evolutionary Computation and Multiagent Systems Design. In Proc. 1st Int'l Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS 2002), Bologna, Italy, 2002. ACM, U.S.A.
26. V. S. Subrahmanian, P. Bonatti, J. Dix, T. Eiter, S. Kraus, F. Ozcan, and R. Ross. Heterogeneous Agent Systems. MIT Press/AAAI Press, Cambridge, MA, 2000.
27. M. Tsvetovatyy and M. Gini. Towards a Virtual Marketplace: Architecture and Strategies. In Procs. 1st Int'l Conf. on the Practical Applic. of Intell. Agents & Multi-Agent Technology (PAAM'96), Blackpool, UK, 1996. Practical Application Co.
28. W. W. Vasconcelos. Logic-Based Electronic Institutions. SLIE Technical Paper, 2002. Available at http://www.dai.ed.ac.uk/groups/ssp/slie.
29. W. W. Vasconcelos and E. X. Meneses. A Practical Approach for Logic Program Analysis and Transformation. In Proc. MICAI'00, volume 1793 of LNCS. Springer-Verlag, 2000.
30. W. W. Vasconcelos, D. Robertson, J. Agustí, C. Sierra, M. Wooldridge, S. Parsons, C. Walton, and J. Sabater. A Lifecycle for Models of Large Multi-Agent Systems. In Proc. 2nd Int'l Workshop on Agent-Oriented Soft. Eng. (AOSE-2001), volume 2222 of LNCS. Springer-Verlag, 2001.
31. W. W. Vasconcelos, J. Sabater, C. Sierra, and J. Querol. Skeleton-based Agent Development for Electronic Institutions. In Proc. 1st Int'l Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS 2002), Bologna, Italy, 2002. ACM, U.S.A.
32. M. Wooldridge and N. R. Jennings. Intelligent Agents: Theory and Practice. The Knowledge Engineering Review, 10(2):115-152, 1995.