Presentazione del programma, dei risultati conseguiti e delle proposte per il prossimo triennio Workshop ISW, FinMeccanica, Roma 7 maggio 2009

Transcript

1 Il Laboratorio DISI/ElsagDatamat Presentazione del programma, dei risultati conseguiti e delle proposte per il prossimo triennio Workshop ISW, FinMeccanica, Roma 7 maggio 2009

2 Obiettivi della ricerca

3 Linee di ricerca Il laboratorio pubblico privato DISI/ElsagDatamat della Iniziativa Software Finmeccanica, attivato il 1 novembre 2006, persegue le seguenti linee di ricerca: Linea di Ricerca 1: Soluzioni software per sistemi complessi Linea di Ricerca 2: Ingegneria del software

4 Obiettivi della ricerca, linea 1 1. Analisi dello stato dell'arte relativo a tecnologie e strumenti innovativi per la ingegnerizzazione ed implementazione di sistemi complessi, incluse le tecnologie e gli strumenti per la rappresentazione della conoscenza e per la specifica e verifica di protocolli di interazione tra agenti 2. Progettazione di uno strumento software integrato composto da una suite di strumenti a supporto dello sviluppatore in ogni fase della ingegnerizzazione del sistema complesso

5 Obiettivi della ricerca, linea 1 3. Progettazione ed implementazione di prototipi dei vari strumenti componenti la suite descritta al punto 2 (o estensione di strumenti software esistente, tra quelli individuati al p. 1) 4. Integrazione dei prototipi realizzati al punto 3 (o di un loro sottoinsieme ritenuto significativo) in un ambiente prototipale di Computer Aided Software Engineering 5. Implementazione di un caso di studio per dimostrare la fattibilità e la utilità del prototipo realizzato al punto 4

6 Obiettivi della ricerca, linea 2 1. Analisi dello stato dell'arte relativo a metodologie, tecnologie e strumenti innovativi per lo sviluppo di applicazioni software, sia dal punto di vista del modello di processo sia dal punto di vista dei paradigmi di sviluppo, con particolare riferimento al paradigma SOA 2. Tecniche di analisi e progettazione a partire dall analisi del business e secondo un paradigma orientato ai servizi e con metodologie ben fondate

7 Obiettivi della ricerca, linea 2 3. Tecniche di testing riferite sia alla progettazione delle componenti e dei servizi, sia alle applicazioni 4. Dimostrazione delle tecniche su casi di studio di interesse aziendale

8 Obiettivi in sintesi, linea 1 Agenti intelligenti e MAS (Sistemi Multiagente) Ontologie

9 Obiettivi in sintesi, linea 2 Metodi ben fondati SOA (Service Oriented Architecture)

10 Agenti e MAS: dove?

11 Ontologie: dove?

12 SOA e metodi ben fondati: dove? Device Esterni di Poste Rete MSMQ Periferici T&T e NSP Periferici T&T Nuova versione Postecom Client SDP Client T&T http MSMQ Adapter Registrazione Dati Cdg PreAdvising Dispacci Parsing XML Oracle Adapter Query Utente (DoveQuando) Registrazione Dati CdG DB TRACCIATURA (CdG CIRC) Web Services Registrazione Dati CdG PreAdvising Dispacci Routing Lavoraz. T&T Adapter Automazione T&T DB LAVORAZIONE (Perif. Consolidato) T&T Application Server Query Utente (DoveQuando) Store & Forward SQL Adapter Registrazione Dati CdG PreAdvising Dispacci DB SQL Periferici arretrati Automazione T&T Business Logic T&T Store & Forward Store Messaggi Da spedire DB STORE MSG

13 Agenti, ontologie, SOA, metodi ben fondati: perchè? Perché sono tematiche trasversali agli interessi delle aziende del gruppo FinMeccanica, ma non solo (distretto ligure SIIT)

14 Risultati conseguiti

15 Versante accademico Riviste internazionali A. Marchetto and F. Ricca. From Objects to Services: toward a Stepwise Migration Approach for Java Applications. International Journal on Software Tools for Technology Transfer, Springer (to appear). G. Casella e V. Mascardi. West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware. Int. J. of Agent-Oriented Software Engineering, Inderscience Publishers, Vol. 1, No.3/4, pp , 2007.

16 Versante accademico Riviste internazionali A. Marchetto and F. Ricca. From Objects to Services: toward a Stepwise DISI + for Fondazione Bruno Kessler,Journal Trento Migration Approach Java Applications. International on Software Tools for Technology Transfer, Springer (to appear). G. Casella e V. Mascardi. West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware. DISI Int. J. of Agent-Oriented Software Engineering, Inderscience Publishers, Vol. 1, No.3/4, pp , 2007.

17 Versante accademico Atti di convegni e special issue M. Baldoni, C. Baroglio, J. Bentahar, V. Mascardi. Organizzazione di MALLOW-AWESOME 009, Second workshop on Agents, Web Services and Ontologies, Integrated Methodologies, Torino, Settembre M. Baldoni, C. Baroglio, V. Mascardi. Organizzazione di MALLOWAWESOME 007, First workshop on Agents, Web Services and Ontologies, Integrated Methodologies, 2007 (Special issue sulla rivista MAGS in preparazione). M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, V. Mascardi. Organizzazione di WOA 2007, Workshop dagli Oggetti agli Agenti. Atti pubblicati con ISBN: da Seneca Edizioni (Italy), 2007.

18 Versante accademico Atti di convegni e special issue M. Baldoni, C. Baroglio, J. Bentahar, V. Mascardi. Organizzazione di DISI + Università degli StudiondiAgents, Torino MALLOW-AWESOME 009, Second workshop Web Services and + Concordia University, Canada2009. Ontologies, Integrated Methodologies, Torino, Settembre M. Baldoni, C. Baroglio, V. Mascardi. Organizzazione di MALLOWAWESOME 007 workshop on Agents, WebdiServices DISI, First + Università degli Studi Torinoand Ontologies, Integrated Methodologies, 2007 (Special issue sulla rivista MAGS in preparazione). M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, V. Mascardi. DISI + Università degli Studi di Torino Organizzazione di WOA 2007, Workshop dagli Oggetti agli Agenti. Atti + Università Milano-Bicocca pubblicati con ISBN: da Seneca Edizioni (Italy), 2007.

19 Versante accademico Conferenze internazionali revisionate A. Marchetto and F. Ricca. Transforming a Java application in an equivalent Web-services based application: toward a Tools Supported Stepwise Approach. 10th IEEE International Symposium on Web Site Evolution, E. Astesiano, G. Reggio, F. Ricca: Modeling Business within a UML-Based Rigorous Software Development Approach, in Concurrency, Graphs and Models, LNCS 5065, p , E. Astesiano, M. Cerioli, G. Reggio, F. Ricca, A Phased Highly-Interactive Approach to Teaching UML-based Software Development, Educators Symposium at ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, September 30, 2007 Nashville, TN.

20 Versante accademico Conferenze internazionali revisionate A. Marchetto and F. Ricca. Transforming a Java application in an equivalent Web-services application: toward a Tools Supported DISIbased + Fondazione Bruno Kessler, Trento Stepwise Approach. 10th IEEE International Symposium on Web Site Evolution, E. Astesiano, G. Reggio, F. Ricca: Modeling Business within a UML-Based Rigorous Software Development Approach DISI, in Concurrency, Graphs and Models, LNCS 5065, p , E. Astesiano, M. Cerioli, G. Reggio, F. Ricca, A Phased Highly-Interactive Approach to Teaching UML-based Software Development, Educators DISI Symposium at ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, September 30, 2007 Nashville, TN.

21 Versante accademico Conferenze internazionali revisionate V. Mascardi, M. Martelli, I. Gungui. DCaseLP: a Prototyping Environment for Multi-Language Agent Systems. In LADS'007 Post-proceedings, M. Dastani, A. El Fallah Seghrouchni, J. Leite, P. Torroni eds., LNCS, Springer-Verlag, V. Mascardi, D. Briola, M. Martelli, R. Caccia, C. Milani. Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents. In Proceedings of CISIS'08, E. Corchado, R. Zunino eds., Advances in Soft Computing Series, Springer-Verlag, V. Mascardi, P. Rosso e V. Cordì. Enhancing Communication inside MultiAgent Systems - An Approach based on Alignment via Upper Ontologies. In Proceedings of MALLOW-AWESOME'007, M. Baldoni, C. Baroglio, V. Mascardi, eds., pag , 2007.

22 Versante accademico Conferenze internazionali revisionate V. Mascardi, M. Martelli, I. Gungui. DCaseLP: a Prototyping Environment for Multi-Language Agent Systems. DISI In LADS'007 Post-proceedings, M. Dastani, A. El Fallah Seghrouchni, J. Leite, P. Torroni eds., LNCS, Springer-Verlag, V. Mascardi, D. Briola, M. Martelli, R. Caccia, C. Milani. Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents. In DISI + Ansaldo STS Proceedings of CISIS'08, E. Corchado, R. Zunino eds., Advances in Soft Computing Series, Springer-Verlag, V. Mascardi, P. Rosso e V. Cordì. Enhancing Communication inside MultiAgent Systems - An+Approach based on Alignment via Upper Ontologies. In DISI Univ. Politecnica di Valencia Proceedings of MALLOW-AWESOME'007, M. Baldoni, C. Baroglio, V. Mascardi, eds., pag , 2007.

23 Versante accademico Conferenze nazionali revisionate A. Locoro, V. Mascardi and D. Briola. Ontology Agents in FIPA-compliant Platforms: a Survey and a New Proposal, WOA 2008, Matteo Baldoni, Massimo Cossentino, Flavio De Paoli, Valeria Seidita eds. D. Briola, V. Mascardi, M. Martelli, G. Arecco, R. Caccia, C. Milani. A PrologBased MAS for Railway Signalling Monitoring: Implementation and Experiments. In Atti del Workshop Dagli Oggetti agli Agenti, WOA'08, M. Baldoni, M. Cossentino, F. De Paoli, V. Seidita eds., Seneca Edizioni, V. Mascardi, V. Cordì, P. Rosso. A Comparison of Upper Ontologies. Atti del Workshop Dagli Oggetti agli Agenti, WOA 2007, M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli and V. Mascardi, eds., Seneca Editore, pag , 2007.

24 Versante accademico Conferenze nazionali revisionate A. Locoro, V. Mascardi and D. Briola. Ontology Agents in FIPA-compliant Platforms: a Survey and a New Proposal, WOA 2008, Matteo Baldoni, DISI + DIBE (Univ. di Genova) Massimo Cossentino, Flavio De Paoli, Valeria Seidita eds. D. Briola, V. Mascardi, M. Martelli, G. Arecco, R. Caccia, C. Milani. A PrologBased MAS for Railway Signalling Monitoring: Implementation and DISI + Ansaldo STS Experiments. In Atti del Workshop Dagli Oggetti agli Agenti, WOA'08, M. Baldoni, M. Cossentino, F. De Paoli, V. Seidita eds., Seneca Edizioni, V. Mascardi, V. Cordì, P. Rosso. A Comparison of Upper Ontologies. Atti del Workshop Dagli Oggetti agli Agenti, WOA 2007, M. Baldoni, A. Boccalatte, F. DISI + Univ. Politecnica di Valencia De Paoli, M. Martelli and V. Mascardi, eds., Seneca Editore, pag , 2007.

25 Versante aziendale Conseguimento di risultati tecnico-scientifici pronti per lo sfruttamento industriale Creazione di un solido know-how su agenti, ontologie, SOA, metodi ben fondati dentro l'azienda Attività di formazione del personale aziendale (20 persone su SOA, 10 persone su agenti e ontologie)

26 Versante aziendale Attività con studenti del DISI (tesi di M. Briata su migrazione verso SOA: motivazioni, metodologie e strumenti; laboratorio specialistico di R. Traverso su analisi del rischio con tecnologie ad agenti) Consolidamento della consapevolezza sulla applicabilità di queste tematiche a problemi di potenziale interesse per tutte le aziende del gruppo, grazie alla trasversalità delle tematiche stesse Possibili ricadute positive anche in ambiti esterni al gruppo FNM quali il Distretto Ligure SIIT

27 Versante aziendale Linea 1: risultati concreti Interoperabilità semantica: completato l'ontology Agent integrazione nell'ambiente di prototipazione rapida DCaseLP Complex Application Specification Environment based Programming, realizzato da DISI) e la sua (Distributed on Logic Analisi del rischio: completata la realizzazione di due prototipi (in Java e Prolog) basati su un modello ad agenti per l analisi del rischio di infrastrutture fisiche complesse (porti, aeroporti, siti industriali, etc.) Razionalizzazione e miglioramento dell'efficienza di processi in scenari distribuiti: completata la progettazione del caso di studio sull'utilizzo di agenti intelligenti per migliorare il processo di codifica postale Monitoraggio di Sistemi di Controllo (con Ansaldo STS): completata la realizzazione di un prototipo di MAS per sistemi di comando e controllo in ambito ferroviario

28 Versante aziendale Linea 2: risultati concreti Integrazione metodologie ben fondate: completato lavoro sull'incorporazione del BPM (Business Process Management) nella metodologia MARS (Model-Based Adaptively Rigorous Software Development, sviluppata al DISI) Migrazione di applicazioni tradizionali verso SOA: in via di completamento la definizione dell'approccio; completata la progettazione del caso di studio sull'utilizzo di SOA per il nuovo sportello postale Progettazione sistemi che integrano componenti legacy (riuso) e nuove: alcuni casi indirizzati; in via di completamento la progettazione del caso di studio sull'utilizzo di SOA per posta ibrida

29 Proposte per il prossimo triennio

30 Consolidamento del know-how aziendale Nel triennio il laboratorio congiunto DISI-ElsagDatamat ha creato una cultura aziendale su temi di grande attualità e valenza scientifica trasversali agli interessi delle aziende del gruppo. Proponiamo di proseguire questa attività e di consolidare il know-how su agenti ontologie SOA metodi ben fondati di ingegnerizzazione del SW tecniche di testing

31 Consolidamento del know-how aziendale Oltre alle tematiche già esplorate, il laboratorio congiunto propone di esplorare ulteriori linee di ricerca, sempre trasversali a interessi di aziende del gruppo: matching, riconciliazione, integrazione di ontologie metriche per la qualità del software auto-adattività degli agenti

32 Consolidamento del know-how aziendale Le tematiche proposte, comuni ad ambiti applicativi quali automazione, sicurezza, trasporti, logistica, difesa, e trasversali agli interessi di ElsagDatamat, delle aziende del gruppo e di altre organizzazioni quali il Distretto Ligure SIIT, trovano applicabilità alla soluzione di innumerevoli problematiche quali: interoperabilità semantica integrabilità di piattaforme riuso di codice migrazione verso SOA simulazione di scenari altamente dinamici ed impredicibili erogazione di servizi all'utente via web (PA)

33 Completamento dei progetti avviati, sviluppo di progetti nuovi Nel triennio il laboratorio congiunto DISI-ElsagDatamat ha completato la progettazione di applicazioni su casi di studio e la realizzazione di prototipi. Proponiamo di proseguire questa attività per arrivare a prototipi di prodotti e a prodotti Proponiamo inoltre di svolgere una analoga attività di progettazione, prototipazione e supporto allo sviluppo di casi di studio nuovi che emergeranno nel prossimo futuro

34 Grazie per l'attenzione