Formal ReSpecT in the A&A Perspective

Electronic Notes in Theoretical Computer Science

Volumn 175, Issue 2, 2007, Pages 97-117

  Omicini, Andrea ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

A A Meta model; Artifacts for MAS; ReSpecT; Tuple Centres; Tuple based Coordination

Indexed keywords

MATHEMATICAL MODELS; METADATA; MULTI AGENT SYSTEMS;

COORDINATION ARTIFACTS; COORDINATION MODELS; TUPLE BASED COORDINATION; TUPLE CENTRES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34250022550     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.03.006     Document Type: Article

References (32)

1. Arbab F. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14 (2004) 329-366
2. Mehdi Dastani and OSGi-Open Services Gateway Initiatives Consortium. Coordination and Composition of Multi-Agent Systems. Invited talk, 1st International Workshop on Coordination and Organisation (CoOrg 2005), COORDINATION 2005, Namur, Belgium, 23 April 2005
3. Enrico Denti, Antonio Natali, and Andrea Omicini. On the expressive power of a language for programming coordination media. In 1998 ACM Symposium on Applied Computing (SAC'98), pages 169-177, Atlanta, GA, USA, 27 February-1 March 1998. ACM. Special Track on Coordination Models, Languages and Applications
4. Dijkstra E.W. Co-operating sequential processes. In: Hansen P.B. (Ed). The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls (2002), Springer 65-138 chapter 2, Reprinted. 1st edition: 1965
5. Marc Esteva, Bruno Rosell, Juan Antonio Rodríguez-Aguilar, and Josep Lluís Arcos. Ameli: An agent-based middleware for electronic institutions. In Nicholas R. Jennings, Carles Sierra, Liz Sonenberg, and Milind Tambe, editors, 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), volume 1, pages 236-243, New York, USA, 19-23July 2004. ACM
6. Foundation for Intelligent Physical Agents. FIPA home page. http://www.fipa.org
7. Gelernter D. Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7 1 (1985) 80-112
8. David Kirsh. Distributed cognition, coordination and environment design. In Sebastiano Bagnara, editor, 3rd European Conference on Cognitive Science (ECCS'99), pages 1-11, Certosa di Pontignano, Siena, Italy, 1999. Istituto di Psicologia, Consiglio Nazionale delle Ricerche
9. Leontjev A.N. Activity, Consciousness, and Personality (1978), Prentice Hall
10. Molesini A., Omicini A., Denti E., and Ricci A. SODA: A roadmap to artefacts. In: Dikenelli O., Gleizes M.-P., and Ricci A. (Eds). Engineering Societies in the Agents World VI. 6th International Workshop (ESAW 2005), Kuşadasi{dotless}, Aydi{dotless}n, Turkey, 26-28 October 2005. LNAI volume 3963 (June 2006), Springer 49-62 Revised, Selected & Invited Papers
11. Sara Montagna, Alessandro Ricci, and Andrea Omicini. Agents & Artifacts for Systems Biology: Toward a framework based on TuCSoN. In Alessandro Genco, Antonio Gentile, and Salvatore Sorce, editors, Industrial Simulation Conference 2006 (ISC 2006), pages 25-32, Palermo, Italy, 5-7 June 2006. EUROSIS (The European Simulation Society) & ETI (The European Technology Institute)
12. In: Nardi B. (Ed). Context and Consciousness: Activity Theory and Human-Computer Interaction (1996), MIT Press
13. Andrea Omicini. On the semantics of tuple-based coordination models. In 1999 ACM Symposium on Applied Computing (SAC'99), pages 175-182, San Antonio, TX, USA, 28 February-2March 1999. ACM. Special Track on Coordination Models, Languages and Applications
14. Omicini A., and Denti E. Formal ReSpecT. Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000. Electronic Notes in Theoretical Computer Science 48 (June 2001) 179-196
15. Omicini A., and Denti E. From tuple spaces to tuple centres. Science of Computer Programming 41 3 (November 2001) 277-294
16. Omicini A., Ossowski S., and Ricci A. Coordination infrastructures in the engineering of multiagent systems. In: Bergenti F., Gleizes M.-P., and Zambonelli F. (Eds). Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook. Multiagent Systems, Artificial Societies, and Simulated Organizations volume 11 (June 2004), Kluwer Academic Publishers 273-296 chapter 14
17. Omicini A., Ricci A., and Viroli M. Time-aware coordination in ReSpecT. In: Jacquet J.-M., and Picco G.P. (Eds). Coordination Models and Languages. 7th International Conference (COORDINATION 2005), Namur, Belgium, 20-23 April 2005. Proceedings. LNCS volume 3454 (April 2005), Springer-Verlag 268-282
18. Omicini A., Ricci A., and Viroli M. Agens Faber: Toward a theory of artefacts for MAS. 1st International Workshop "Coordination and Organization". Proceedings. (CoOrg 2005), COORDINATION 2005, Namur, Belgium, 22 April 2005. Electronic Notes in Theoretical Computer Sciences 150 3 (29 May 2006) 21-36
19. Omicini A., Ricci A., and Viroli M. Coordination artifacts as first-class abstractions for MAS engineering: State of the research. In: Garcia A.F., Choren R., Lucena C., Giorgini P., Holvoet T., and Romanovsky A. (Eds). Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications. LNAI volume 3914 (April 2006), Springer 71-90 Invited Paper
20. Omicini A., Ricci A., and Viroli M. The multidisciplinary patterns of interaction from sciences to Computer Science. In: Goldin D.Q., Smolka S.A., and Wegner P. (Eds). Interactive Computation: The New Paradigm (September 2006), Springer 395-414
21. Omicini A., Ricci A., and Zaghini N. Distributed workflow upon linkable coordination artifacts. In: Ciancarini P., and Wiklicky H. (Eds). Coordination Models and Languages. 8th International Conference (COORDINATION 2006), Bologna, Italy, 14-16 June 2006. Proceedings. LNCS volume 4038 (June 2006), Springer 228-246
22. Omicini A., and Zambonelli F. Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems 2 3 (September 1999) 251-269 Special Issue: Coordination Mechanisms for Web Agents
23. H. Van Dyke Parunak, Sven Brueckner, and John Sauter. Digital pheromone mechanisms for coordination of unmanned vehicles. In Cristiano Castelfranchi and W. Lewis Johnson, editors, 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), volume 1, pages 449-450, Bologna, Italy, 15-19 July 2002. ACM Press
24. Gian Pietro Picco, Amy L. Murphy, and Gruia-Catalin Roman. Lime: Linda Meets Mobility. In David Garlan, editor, 21st International Conference on Software Engineering (ICSE'99), pages 368-377, Los Angeles, CA, USA, May 1999. ACM Press
25. ReSpecT home page. http://respect.alice.unibo.it
26. Ricci A., Omicini A., Denti E., and Cadoli M. Activity Theory as a framework for MAS coordination. In: Petta P., Tolksdorf R., and Zambonelli F. (Eds). Engineering Societies in the Agents World III. 3rd International Workshop (ESAW 2002), Madrid, Spain, 16-17 September 2002. LNCS volume 2577 (April 2003), Springer-Verlag 96-110 Revised Papers
27. Alessandro Ricci, Andrea Omicini, and Mirko Viroli. Extending ReSpecT for multiple coordination flows. In Hamid R. Arabnia, editor, International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), volume III, pages 1407-1413, Las Vegas, NV, USA, 24-27 July 2002. CSREA Press
28. Ricci A., Viroli M., and Omicini A. Programming MAS with artifacts. In: Bordini R.P., Dastani M., Dix J., and El Fallah Seghrouchni A. (Eds). Programming Multi-Agent Systems. 3rd International Workshop (PROMAS 2005), AAMAS 2005, Utrecht, The Netherlands, 26 July 2005. LNAI volume 3862 (March 2006), Springer 206-221 Revised and Invited Papers
29. Susi T., and Ziemke T. Social cognition, artefacts, and stigmergy: A comparative analysis of theoretical frameworks for the understanding of artefact-mediated collaborative activity. Cognitive Systems Research 2 4 (December 2001) 273-290
30. TuCSoN home page. http://tucson.alice.unibo.it
31. Viroli M., and Omicini A. Coordination as a service. Fundamenta Informaticae 73 4 (2006) 507-534 Special Issue: Best papers of FOCLASA 2002
32. Zambonelli F., and Omicini A. Challenges and research directions in agent-oriented software engineering. Autonomous Agents and Multi-Agent Systems 9 3 (November 2004) 253-283 Special Issue: Challenges for Agent-Based Computing