Vai al contenuto| Home page|

   Ti trovi in: HOME »Programmi, progetti e risultati »I progetti »PRIN - Programmi di ricerca di Rilevante Interesse Nazionale»Programma di ricerca
INIZIO_TESTO_DA_INDICIZZARE

PROGRAMMA DI RICERCA 2006

italiano - english
Unità di Ricerca
Programmi di ricerca simili:
Classificazione scientifico-disciplinare
Classificazione brevettuale
Classificazione geografica
Bibliografia
Bellifemine, F., Poggi, A., and Rimassa, G., 2001. Developing Multi-agent Systems with a FIPA-Compliant Agent Framework. Software Practice and Experience, 31, pages 103-128
Bellifemine F., Poggi A., and Rimassa G., 1999. JADE - a FIPA-compliant agent framework. In 4th Int. Conf. e and Exhibition on
The Practical Application of Intelligent Agents and Multi-Agent Technology
Bernon, C., Gleizes, M.-P., Picard, G. and Glize, P., 2002, The ADELFE methodology for an intranet system design, Proc. of AOIS workshop 2002
Cabri G., Leonardi L.and Zambonelli F., 2000. MARS: A Programmable Coordination Architecture for Mobile Agents. IEEE Internet Computing, 4(4), 26-35
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A., 2004, Tropos: An Agent-Oriented software development Methodology, Autononuous Agents and Multi-Agent Systems, vol 18, 203-236
Caire, G., Coulier, W., Garijo, F., Gomez, J., Pavon, J., Leal, F., Chainho, P., Kearney, P., Stark, J., Evans, R., Massonet, P., 2001,
Agent oriented analysis using MESSAGE/UML, AOSE II, LNCS 2222, Springer-Verlag
Chella, A., Cossentino, M., Sabatucci, L., and Seidita, V. 2004. From passi to agile passi: Tailoring a design process to meet newneeds. In 2004 IEEE/WIC/ACM Int. Joint Conf. IAT-04
Coleman, D., Arnold, P., Bodoff, S., Dollin, C. and Gilchrist, H., 1994, Object-Oriented Development. The Fusion Method, Prentice Hall
Collinot, A. and Drogoul, A., 1998, Using the Cassiopeia method to design a soccer robot team, AAI Journal, 12(2-3), 127-147
Cossentino, M., 2005. From Requirements to Code with the PASSI Methodology. In Agent-Oriented Methodologies, B. Henderson-Sellers and P. Giorgini (Editors). Idea Group Inc., Hershey, PA, USA.
Cossentino, M., Potts, C., 2002. A CASE tool supported methodology for the design of multi-agent systems. The 2002 Int. Conf. on Software Engineering Research and Practice (SERP'02).
Cossentino, M., Sabatucci, L., and Chella, A. 2004. Patterns reuse in the PASSI methodology. In Engineering Societies in the Agents
World IV, 4th Int. Workshop, ESAW 2003, volume XIII of LNAI. Springer-Verlag.
Debenham, J. and Henderson-Sellers, B., 2003, Designing agent-based process systems - extending the OPEN Process Framework,
Intelligent Agent Software Engineering, Idea Group Publishing
Denti E., Omicini A., Ricci, A., 2002. Coordination tools for MAS development and deployment. Applied Artificial Intelligence, 16(9/10):721-752.
Giorgini, P., Kolp, M., Mylopoulos, J. and Pistore, M., 2004, The Tropos methodology: an overview, in Methodologies And Software
Engineering For Agent Systems, Kluwer
Huget, M.-Ph., 2002, Nemo: an agent-oriented software engineering methodology, in Procs. AOSE Workshop , Sydney.
Iglesias, C.A., Garijo, M., Gonzalez, J.C., Velasco, J.R., 1998, Analysis and design of multi-agent systems using MAS-CommonKADS,
in Intelligent Agents IV: Agent Theories, Architectures, and Languages, LNAI Volume 1365, Springer-Verlag
Kendall, E.A., Malkoun, M.T. and Jiang, C., 1996, A methodology for developing agent based systems for enterprise integration, in
Modelling and Methodologies for Enterprise Integration, Chapman and Hall
Kinny, D., Georgeff, M. and Rao, A., 1996, A methodology and modelling techniques for systems of BDI agents, Agents Breaking Away: Procs. 7th EU Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), 56-71
Kruchten, Ph., 1999, The Rational Unified Process. An Introduction, Addison-Wesley, Reading, MA, USA
Lind, J., 1999, Iterative Software Engineering for Multiagent Systems. The MASSIVE Method, LNAI 1994, Springer-Verlag.
Mamei M., Zambonelli F., 2005, "Programming Stigmergic Coordination with the TOTA Middleware", 4th ACM Int. Joint Conf. on
Autonomous Agents and Multiagent Systems, Utrecht.
Molesini, A., Omicini, A., Denti, E., Ricci, A. (2006). SODA: A Roadmap to Artefacts. In Dikenelli, O., Gleizes, M.-P., Ricci, A., eds.: Engineering Societies in the Agents World VI. Volume 3963 of LNAI, Springer, pages 49-62.
Noriega, P., Sierra, C., and Rodriguez, J. A. 1998. The Fishmarket Project. Reflections on Agent-mediated institutions for
trustworthy E-Commerce. Proc. of the Workshop on Agent Mediated Electronic Commerce (AMEC-98).
Odell, J., Van Dyke Parunak, H. and Bauer, B., 2000, Extending UML for agents, in Procs. AOIS Workshop 2000.
OMG, 2001, OMG Unified Modeling Language Specification, Version 1.4, September 2001.
Omicini A., ZambonelliF., 1999. Coordination for Internet Application Development. Autonomous Agents and Multi-Agent Systems 2(3) Kluwer.
Omicini, A. , Ricci, A., Viroli, M., Cioffi, M., Rimassa, G., 2004 - Multi-agent Infrastructures for Objective and Subjective Coordination. Applied Artificial Intelligence 18(9/10). Taylor & Francis
Omicini, A. (2001). SODA: Societies and infrastructures in the analysis and design of agent-based systems. In Ciancarini, P.,
Wooldridge, M.J., eds.: Agent-Oriented Software Engineering. Volume 1957 of LNCS., Springer-Verlag, pages 185-193.
Omicini, Andrea and Ricci, Alessandro, 2003. Reasoning about organisation: Shaping the infrastructure. AI*IA Notizie, XVI(2):7-16
Omicini, Andrea and Zambonelli, Franco, 1999. Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems, 2(3):251-269
Padgham, L. & Winikoff, M., 2002. Prometheus: A methodology for developing intelligent agents. In Proceedings of AOSE'02.
Pavón, J., Gomez-Sanz, J. and Fuentes, R., 2005, The INGENIAS methodology and tools, Chapter 4, Agent-Oriented Methodologies,Idea Group, Hershey
Rolland, C., Prakash, N. and Benjamen, A., 1999, A multi-model view of process modelling, Requirements Eng. J., 4(4)
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F. and Lorensen, W., 1991, Object-Oriented Modeling and Design, Prentice-Hall
Sturm, A. and Shehory, O., 2004, A framework for evaluating agent-oriented methodologies, Agent-Oriented Systems, LNAI 3030,
Springer-Verlag, Berlin, 94-109
Sycara, Katia, Paolucci, Massimo, van Velsen, Martin, and Giampapa, Joseph, 2003. The RETSINA MAS infrastructure. Autonomous Agents and Multi-Agent Systems, 7(1-2):29-48.
Tambe, M., Pynadath, D. V., Chauvat, N., Das, A., and Kaminka, G. A., 2000. Adaptive Agent Architectures for Heterogeneous Team Members. Proc. of the ICMAS 2000, pages 301-308, Boston, USA
Taveter, K. and Wagner, G., 2005, Towards radical agent-oriented software engineering processes based on AOR modelling, Chapter 10 in Agent-Oriented Methodologies, Idea Group, Hershey, PA, USA
Tran, Q. and Low, G., 2005. Comparison of ten agent-oriented methodologies. Chapter 12 in Agent-Oriented Methodologies , Idea Group, Hershey, PA, USA
Tran, Q.-N.N., Low, G. and Williams, M.-A., 2004, A preliminary comparative feature analysis of multi-agent systems development
methodologies, Procs. AOIS@CAiSE*04, Latvia, 386-398
Wagner, G., 2003, The Agent-Object Relationship metamodel: towards a unified view of state and behaviour, Inf. Systems, 28(5)
Wood, M. and DeLoach, S.A., 2000, An overview of the MultiAgent Systems Engineering methodology, Procs. AOSE 2000
Yu, E., 1995, Modelling Strategic Relationships for Process Reengineering, PhD, University of Toronto, Department of Computer Science
Zambonelli, F., Jennings, N., and Wooldridge M. 2003. Developing Multiagent Systems: the Gaia Methodology. ACM Transactions on Software Engineering and Methodology, Vol. 12, No. 3
Parole Chiave
INGEGNERIA DEL SOFTWARE ORIENTATA AGLI AGENTI, METODOLOGIE ORIENTATE AGLI AGENTI, INFRASTRUTTURE PER AGENTI, META-MODELLI

Metodologie per l’ingegneria dei sistemi software complessi: approccio ad agenti

Università degli Studi di Bologna
Abstract
L’avvento del paradigma ad agenti e dell’ingegneria del software orientata agli agenti (AOSE) sta capovolgendo il tradizionale flusso di evoluzione delle tecnologie informatiche. Se nel passato le astrazioni innovative venivano innanzitutto introdotte tramite i linguaggi di programmazione, e solo successivamente recepite dall’ingegneria del software, oggi la velocità d'evoluzione dei sistemi fa sì che l’ingegnere si trovi sempre più spesso a lavorare con tecnologie che non supportano le astrazioni con cui progetta – o vorrebbe progettare – i sistemi stessi. Per questo, ancora prima della ricerca su tecnologie e linguaggi computazionali, è la ricerca sulle metodologie che diviene punto centrale dell’attività scientifica. Questa ricerca si concentra oggi principalmente sul paradigma ad agenti, la cui espressività e livello di astrazione consentono di affrontare problemi articolati e complessi (quali distribuzione fisica dei componenti, rappresentazione della conoscenza, ragionamento automatico, comunicazione e cooperazione tra entità autonome ed eterogenee) in maniera efficace e integrata.
Esiste un profondo gap tra i più avanzati approcci dell’ingegneria del software, orientati agli agenti, e le tecnologie effettivamente disponibili. Diversamente dal passato, le metodologie orientate agli agenti hanno seguito principalmente un approccio top-down, dove il paradigma ad agenti e la metafora delle organizzazioni umane sono stati utilizzati per analizzare, modellare e >>>

Coordinatore Scientifico del Programma di Ricerca
Andrea Omicini Università degli Studi di BOLOGNA
Obiettivo del Programma di Ricerca
La crescita esplosiva di applicazioni in aree quali commercio elettronico, ERP e mobile computing ha cambiato drasticamente il modo di vedere e concepire i sistemi software. Oggi il software deve basarsi su architetture aperte, che cambiano ed evolvono continuamente al fine di includere nuovi componenti e soddisfare nuovi requisiti. Il software deve poter operare su piattaforme diverse, senza ricompilazioni, con assunzioni minime circa gli ambienti operativi e i possibili utenti, in più esibire proprietà di robustezza e autonomia in modo da esser efficace anche nel caso di utenti inesperti. I paradigmi utilizzati nel campo della tradizionale ingegneria del software non sono in grado di gestire in modo efficace tale complessità, invece il paradigma orientato agli agenti (AO) si è dimostrato maggiormente adatto per affrontare questi scenari. Gli agenti mettono in campo livelli di astrazione e meccanismi di più alto livello rispetto ai paradigmi tradizionali, permettendo di catturare e modellare aspetti come la rappresentazione della conoscenza, forme di ragionamento, comunicazione, coordinazione, cooperazione, percezione e aspetti cognitivi che richiedono una appropriata modellazione concettuale.
Da un lato, l'implementazione concreta di questi concetti conduce a funzionalità avanzate, quali ad esempio la formulazione di risposte a query basate su inferenze, workflow adattativi, brokering e integrazione di sorgenti di informazioni eterogenee, processi di >>>

Durata
24 mesi
Base di partenza scientifica nazionale o internazionale
Le due aree di ricerca rilevanti per il progetto sono: metodologie per l'ingegnerizzazione dei sistemi software ad agenti e strumenti di sviluppo e le infrastrutture per i sistemi multi-agente.

1. Metodologie per l'ingegnerizzazione dei sistemi software ad agenti

Una metodologia (Rolland, Prakash, Benjamen, 1999) è generalmente composta da due componenti fondamentali: una che descrive gli elementi di processo dell'approccio ed una che si focalizza sui prodotti e la loro documentazione. Quest'ultima è la più visibile nell'uso della metodologia e spesso (erroneamente) il linguaggio di modellazione adottato viene confuso con la metodologia stessa, un chiaro esempio è UML (OMG, 2001) che nel mondo object oriented è più conosciuto della stessa metodologia. Nel mondo delle metodologie orientate agli agenti (AO), invece sono adottati svariati formalismi: alcuni usano UML o la sua controparte per agenti AUML (Odell, Parunak, Bauer, 2000), mentre altri, ritenendo questi inadeguati a supportare i concetti degli agenti, usano proprie notazioni e concetti di appoggio. Ciò è conseguenza del fatto che le attuali metodologie AO hanno origini molto diverse tra loro. Alcune sono fondate su idee dell'Intelligenza Artificiale (IA), altre sono state definite come estensione diretta delle metodologie esistenti orientate agli oggetti, mentre altre ancora tentano di integrare i due approcci considerando un approccio pi >>>