Il Laboratorio DISI/ElsagDatamat Presentazione del programma, dei risultati conseguiti e delle...

Il Laboratorio Il Laboratorio DISI/ElsagDatamat DISI/ElsagDatamat

Presentazione del programma, Presentazione del programma,

dei risultati conseguiti e delle dei risultati conseguiti e delle proposte proposte

per il prossimo triennioper il prossimo triennio

Workshop ISW, FinMeccanica, RomaWorkshop ISW, FinMeccanica, Roma7 maggio 2009 7 maggio 2009

Il Laboratorio DISI/ElsagDatamat - 07/05/2007

Obiettivi della ricercaObiettivi della ricerca


Linee di ricercaLinee di ricerca

Il laboratorio pubblico privato Il laboratorio pubblico privato DISI/ElsagDatamat della “Iniziativa DISI/ElsagDatamat della “Iniziativa Software Finmeccanica”, attivato il 1° Software Finmeccanica”, attivato il 1° novembre 2006, persegue le seguenti novembre 2006, persegue le seguenti linee di ricerca:linee di ricerca:

►Linea di Ricerca 1: Soluzioni software Linea di Ricerca 1: Soluzioni software per sistemi complessiper sistemi complessi

►Linea di Ricerca 2: Ingegneria del Linea di Ricerca 2: Ingegneria del software software


Obiettivi della ricerca, linea 1Obiettivi della ricerca, linea 1

1.1. Analisi dello stato dell'arte relativo a tecnologie e Analisi dello stato dell'arte relativo a tecnologie e strumenti innovativi per la ingegnerizzazione ed strumenti innovativi per la ingegnerizzazione ed implementazione di sistemi complessi, incluse le implementazione di sistemi complessi, incluse le tecnologie e gli strumenti per la rappresentazione tecnologie e gli strumenti per la rappresentazione della conoscenza e per la specifica e verifica di della conoscenza e per la specifica e verifica di protocolli di interazione tra agentiprotocolli di interazione tra agenti

2. 2. Progettazione di uno strumento software integratoProgettazione di uno strumento software integrato composto da una suite di strumenti a supporto composto da una suite di strumenti a supporto dello dello sviluppatore in ogni fase della ingegnerizzazione sviluppatore in ogni fase della ingegnerizzazione del del sistema complessosistema complesso



5. Implementazione di un caso di studio per dimostrare la 5. Implementazione di un caso di studio per dimostrare la fattibilità e la utilità del prototipo realizzato al punto 4fattibilità e la utilità del prototipo realizzato al punto 4

3. Progettazione ed implementazione di prototipi 3. Progettazione ed implementazione di prototipi dei vari strumenti componenti la suite descritta dei vari strumenti componenti la suite descritta al punto 2 (o estensione di strumenti software al punto 2 (o estensione di strumenti software esistente, tra quelli individuati al p. 1)esistente, tra quelli individuati al p. 1)

4. Integrazione dei prototipi realizzati al punto 3 (o 4. Integrazione dei prototipi realizzati al punto 3 (o di un loro sottoinsieme ritenuto significativo) in di un loro sottoinsieme ritenuto significativo) in un ambiente prototipale di “Computer Aided un ambiente prototipale di “Computer Aided Software Engineering”Software Engineering”



2.2. Tecniche di analisi e progettazione a partire Tecniche di analisi e progettazione a partire dall’analisi del business e secondo un dall’analisi del business e secondo un paradigma orientato ai servizi e con paradigma orientato ai servizi e con metodologie ben fondatemetodologie ben fondate

1.1. Analisi dello stato dell'arte relativo a Analisi dello stato dell'arte relativo a metodologie, tecnologie e strumenti innovativi metodologie, tecnologie e strumenti innovativi per lo sviluppo di applicazioni software, sia dal per lo sviluppo di applicazioni software, sia dal punto di vista del modello di processo sia dal punto di vista del modello di processo sia dal punto di vista dei paradigmi di sviluppo, con punto di vista dei paradigmi di sviluppo, con particolare riferimento al paradigma SOAparticolare riferimento al paradigma SOA



3. Tecniche di testing riferite sia alla progettazione 3. Tecniche di testing riferite sia alla progettazione delle componenti e dei servizi, sia alle applicazionidelle componenti e dei servizi, sia alle applicazioni

4. Dimostrazione delle tecniche su casi di studio di 4. Dimostrazione delle tecniche su casi di studio di interesse aziendaleinteresse aziendale


Obiettivi in sintesi, linea 1Obiettivi in sintesi, linea 1

Agenti intelligenti e MASAgenti intelligenti e MAS(Sistemi Multiagente)(Sistemi Multiagente)

OntologieOntologie


Obiettivi in sintesi, linea 2Obiettivi in sintesi, linea 2

SOA SOA (Service Oriented(Service OrientedArchitecture)Architecture)

Metodi ben fondatiMetodi ben fondati


Agenti e MAS: dove?Agenti e MAS: dove?


Ontologie: dove?Ontologie: dove?


SOA e metodi ben fondati: SOA e metodi ben fondati: dove?dove?

MSMQ Adapter

RegistrazioneDatiCdg

PreAdvisingDispacci

Rete MSMQ Periferici T&T

e NSP

Web Services

QueryUtente

(DoveQuando)

RegistrazioneDatiCdG

PostecomDevice Esternidi Poste

PreAdvisingDispacci

Periferici T&TNuova versione

DB TRACCIATURA(CdG – CIRC)

Oracle Adapter

QueryUtente

(DoveQuando)


Lavoraz. T&T Adapter

AutomazioneT&T

DB LAVORAZIONE(Perif. Consolidato)

DB SQLPeriferici arretrati

SQL Adapter

PreAdvisingDispacci


Store & Forward

Store MessaggiDa spedire

DB STOREMSG

T&T Application Server

AutomazioneT&T

Client SDP Client T&T

http

Parsing XML Routing Store & Forward Business Logic T&T


Agenti, ontologie, SOA, Agenti, ontologie, SOA, metodi ben fondati: perchè?metodi ben fondati: perchè?

Perché sono tematiche trasversali Perché sono tematiche trasversali agli interessi delle aziende del agli interessi delle aziende del gruppo FinMeccanica, ma non solo gruppo FinMeccanica, ma non solo (distretto ligure SIIT)(distretto ligure SIIT)


Risultati conseguitiRisultati conseguiti


Riviste internazionaliRiviste internazionali

A. Marchetto and F. Ricca. A. Marchetto and F. Ricca. From Objects to Services: toward a From Objects to Services: toward a Stepwise Migration Approach for Java ApplicationsStepwise Migration Approach for Java Applications. International . International Journal on Software Tools for Technology Transfer, Springer (to Journal on Software Tools for Technology Transfer, Springer (to appear).appear).

G. Casella e V. Mascardi. G. Casella e V. Mascardi. West2East: exploiting WEb Service West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTwareTechnologies to Engineer Agent-based SofTware. Int. J. of Agent-. Int. J. of Agent-Oriented Software Engineering, Inderscience Publishers, Vol. 1, Oriented Software Engineering, Inderscience Publishers, Vol. 1, No.3/4, pp. 396-434, 2007.No.3/4, pp. 396-434, 2007.

Versante accademicoVersante accademico

DISI + Fondazione Bruno Kessler, TrentoDISI + Fondazione Bruno Kessler, Trento

DISIDISI


Atti di convegni e special issueAtti di convegni e special issue

M. Baldoni, C. Baroglio, J. Bentahar, V. Mascardi. Organizzazione di M. Baldoni, C. Baroglio, J. Bentahar, V. Mascardi. Organizzazione di MALLOW-AWESOME’009MALLOW-AWESOME’009, Second workshop on Agents, Web Services and , Second workshop on Agents, Web Services and Ontologies, Integrated Methodologies, Torino, Settembre 2009. Ontologies, Integrated Methodologies, Torino, Settembre 2009.

M. Baldoni, C. Baroglio, V. Mascardi. Organizzazione di M. Baldoni, C. Baroglio, V. Mascardi. Organizzazione di MALLOW-MALLOW-AWESOME’007AWESOME’007, First workshop on Agents, Web Services and Ontologies, , First workshop on Agents, Web Services and Ontologies, Integrated Methodologies, 2007 (Special issue sulla rivista MAGS in Integrated Methodologies, 2007 (Special issue sulla rivista MAGS in preparazione). preparazione).

M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, V. Mascardi. M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, V. Mascardi. Organizzazione di Organizzazione di WOA 2007WOA 2007, Workshop dagli Oggetti agli Agenti. Atti , Workshop dagli Oggetti agli Agenti. Atti pubblicati con ISBN: 978-88-6122-061-4. da Seneca Edizioni (Italy), 2007. pubblicati con ISBN: 978-88-6122-061-4. da Seneca Edizioni (Italy), 2007.


DISI + Università degli Studi di Torino DISI + Università degli Studi di Torino + Concordia University, Canada+ Concordia University, Canada

DISI + Università degli Studi di TorinoDISI + Università degli Studi di Torino

DISI + Università degli Studi di TorinoDISI + Università degli Studi di Torino+ Università Milano-Bicocca+ Università Milano-Bicocca


Conferenze internazionali revisionateConferenze internazionali revisionate

A. Marchetto and F. Ricca. A. Marchetto and F. Ricca. Transforming a Java application in an Transforming a Java application in an equivalent Web-services based application: toward a Tools equivalent Web-services based application: toward a Tools Supported Stepwise ApproachSupported Stepwise Approach. 10th IEEE International Symposium . 10th IEEE International Symposium on Web Site Evolution, 2008. on Web Site Evolution, 2008.

E. Astesiano, G. Reggio, F. Ricca:E. Astesiano, G. Reggio, F. Ricca: Modeling Business within a UML- Modeling Business within a UML-Based Rigorous Software Development ApproachBased Rigorous Software Development Approach, in Concurrency, , in Concurrency, Graphs and Models, LNCS 5065, p.261-277, 2008. Graphs and Models, LNCS 5065, p.261-277, 2008.

E. Astesiano, M. Cerioli, G. Reggio, F. Ricca, E. Astesiano, M. Cerioli, G. Reggio, F. Ricca, A Phased Highly-A Phased Highly-Interactive Approach to Teaching UML-based Software Interactive Approach to Teaching UML-based Software Development,Development, Educators’ Symposium at ACM/IEEE 10th Educators’ Symposium at ACM/IEEE 10th International Conference on Model Driven Engineering Languages International Conference on Model Driven Engineering Languages and Systems, September 30, 2007 Nashville, TN.and Systems, September 30, 2007 Nashville, TN.


DISI + Fondazione Bruno Kessler, TrentoDISI + Fondazione Bruno Kessler, Trento

DISIDISI

DISIDISI


Conferenze internazionali revisionateConferenze internazionali revisionate

V. Mascardi, M. Martelli, I. Gungui. V. Mascardi, M. Martelli, I. Gungui. DCaseLP: a Prototyping Environment for DCaseLP: a Prototyping Environment for Multi-Language Agent SystemsMulti-Language Agent Systems. In LADS'007 Post-proceedings, M. Dastani, . In LADS'007 Post-proceedings, M. Dastani, A. El Fallah Seghrouchni, J. Leite, P. Torroni eds., LNCS, Springer-Verlag, A. El Fallah Seghrouchni, J. Leite, P. Torroni eds., LNCS, Springer-Verlag, 2008. 2008.

V. Mascardi, D. Briola, M. Martelli, R. Caccia, C. Milani. V. Mascardi, D. Briola, M. Martelli, R. Caccia, C. Milani. Monitoring and Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents.Diagnosing Railway Signalling with Logic-Based Distributed Agents. In In Proceedings of CISIS'08, E. Corchado, R. Zunino eds., Advances in Soft Proceedings of CISIS'08, E. Corchado, R. Zunino eds., Advances in Soft Computing Series, Springer-Verlag, 2008.Computing Series, Springer-Verlag, 2008.

V. Mascardi, P. Rosso e V. Cordì. V. Mascardi, P. Rosso e V. Cordì. Enhancing Communication inside Multi-Enhancing Communication inside Multi-Agent Systems - An Approach based on Alignment via Upper OntologiesAgent Systems - An Approach based on Alignment via Upper Ontologies. In . In Proceedings of MALLOW-AWESOME'007, M. Baldoni, C. Baroglio, V. Proceedings of MALLOW-AWESOME'007, M. Baldoni, C. Baroglio, V. Mascardi, eds., pag. 92-107, 2007. Mascardi, eds., pag. 92-107, 2007.


DISI + Ansaldo STSDISI + Ansaldo STS

DISI + Univ. Politecnica di ValenciaDISI + Univ. Politecnica di Valencia

DISIDISI


Conferenze nazionali revisionateConferenze nazionali revisionate

A. Locoro, V. Mascardi and D. Briola. A. Locoro, V. Mascardi and D. Briola. Ontology Agents in FIPA-compliant Ontology Agents in FIPA-compliant Platforms: a Survey and a New ProposalPlatforms: a Survey and a New Proposal, WOA 2008, Matteo Baldoni, , WOA 2008, Matteo Baldoni, Massimo Cossentino, Flavio De Paoli, Valeria Seidita eds. Massimo Cossentino, Flavio De Paoli, Valeria Seidita eds.

D. Briola, V. Mascardi, M. Martelli, G. Arecco, R. Caccia, C. Milani. D. Briola, V. Mascardi, M. Martelli, G. Arecco, R. Caccia, C. Milani. A Prolog-A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Based MAS for Railway Signalling Monitoring: Implementation and Experiments.Experiments. In Atti del Workshop Dagli Oggetti agli Agenti, WOA'08, M. In Atti del Workshop Dagli Oggetti agli Agenti, WOA'08, M. Baldoni, M. Cossentino, F. De Paoli, V. Seidita eds., Seneca Edizioni, 2008. Baldoni, M. Cossentino, F. De Paoli, V. Seidita eds., Seneca Edizioni, 2008.

V. Mascardi, V. Cordì, P. Rosso. V. Mascardi, V. Cordì, P. Rosso. A Comparison of Upper OntologieA Comparison of Upper Ontologies. Atti del s. Atti del Workshop Dagli Oggetti agli Agenti, WOA 2007, M. Baldoni, A. Boccalatte, F. Workshop Dagli Oggetti agli Agenti, WOA 2007, M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli and V. Mascardi, eds., Seneca Editore, pag. 55-64, De Paoli, M. Martelli and V. Mascardi, eds., Seneca Editore, pag. 55-64, 2007. 2007.


DISI + DIBE (Univ. di Genova)DISI + DIBE (Univ. di Genova)

DISI + Ansaldo STSDISI + Ansaldo STS

DISI + Univ. Politecnica di ValenciaDISI + Univ. Politecnica di Valencia


Versante aziendaleVersante aziendale

Conseguimento di risultati tecnico-scientifici Conseguimento di risultati tecnico-scientifici pronti per lo sfruttamento industrialepronti per lo sfruttamento industriale

Creazione di un solido know-how su agenti, Creazione di un solido know-how su agenti, ontologie, SOA, metodi ben fondati dentro ontologie, SOA, metodi ben fondati dentro l'aziendal'azienda

Attività di formazione del personale aziendale Attività di formazione del personale aziendale (20 persone su SOA, 10 persone su agenti e (20 persone su SOA, 10 persone su agenti e ontologie)ontologie)


Versante aziendaleVersante aziendale Attività con studenti del DISI (tesi di M. Briata Attività con studenti del DISI (tesi di M. Briata

su migrazione verso SOA: motivazioni, su migrazione verso SOA: motivazioni, metodologie e strumenti; laboratorio metodologie e strumenti; laboratorio specialistico di R. Traverso su analisi del rischio specialistico di R. Traverso su analisi del rischio con tecnologie ad agenti)con tecnologie ad agenti)

Consolidamento della consapevolezza sulla Consolidamento della consapevolezza sulla applicabilità di queste tematiche a problemi di applicabilità di queste tematiche a problemi di potenziale interesse per tutte le aziende del potenziale interesse per tutte le aziende del gruppo, grazie alla trasversalità delle gruppo, grazie alla trasversalità delle tematiche stessetematiche stesse

Possibili ricadute positive anche in ambiti Possibili ricadute positive anche in ambiti esterni al gruppo FNM quali il Distretto Ligure esterni al gruppo FNM quali il Distretto Ligure SIITSIIT


Versante aziendaleVersante aziendaleLinea 1: risultati concretiLinea 1: risultati concretiInteroperabilità semanticaInteroperabilità semantica: completato l'Ontology Agent e la sua : completato l'Ontology Agent e la sua

integrazione nell'ambiente di prototipazione rapida DCaseLP integrazione nell'ambiente di prototipazione rapida DCaseLP (Distributed Complex Application Specification Environment based (Distributed Complex Application Specification Environment based on Logic Programming, realizzato da DISI)on Logic Programming, realizzato da DISI)

Analisi del rischioAnalisi del rischio: completata la realizzazione di due prototipi (in : completata la realizzazione di due prototipi (in Java e Prolog) basati su un modello ad agenti per l’analisi del Java e Prolog) basati su un modello ad agenti per l’analisi del rischio di infrastrutture fisiche complesse (porti, aeroporti, siti rischio di infrastrutture fisiche complesse (porti, aeroporti, siti industriali, etc.)industriali, etc.)

Razionalizzazione e miglioramento dell'efficienza di processi Razionalizzazione e miglioramento dell'efficienza di processi in scenari distribuitiin scenari distribuiti: completata la progettazione del caso di : completata la progettazione del caso di studio sull'utilizzo di agenti intelligenti per migliorare il processo studio sull'utilizzo di agenti intelligenti per migliorare il processo di codifica postaledi codifica postale

Monitoraggio di Sistemi di Controllo (con Ansaldo STS)Monitoraggio di Sistemi di Controllo (con Ansaldo STS): : completata la realizzazione di un prototipo di MAS per sistemi di completata la realizzazione di un prototipo di MAS per sistemi di comando e controllo in ambito ferroviariocomando e controllo in ambito ferroviario


Versante aziendaleVersante aziendaleLinea 2: risultati concretiLinea 2: risultati concreti

Integrazione metodologie ben fondateIntegrazione metodologie ben fondate: completato lavoro : completato lavoro sull'incorporazione del BPM (Business Process Management) sull'incorporazione del BPM (Business Process Management) nella metodologia MARS (Model-Based Adaptively Rigorous nella metodologia MARS (Model-Based Adaptively Rigorous Software Development, sviluppata al DISI)Software Development, sviluppata al DISI)

Migrazione di applicazioni tradizionali verso SOAMigrazione di applicazioni tradizionali verso SOA: in via di : in via di completamento la definizione dell'approccio; completata la completamento la definizione dell'approccio; completata la progettazione del caso di studio sull'utilizzo di SOA per il nuovo progettazione del caso di studio sull'utilizzo di SOA per il nuovo sportello postalesportello postale

Progettazione sistemi che integrano componenti legacy Progettazione sistemi che integrano componenti legacy (riuso) e nuove(riuso) e nuove: alcuni casi indirizzati; in via di : alcuni casi indirizzati; in via di completamento la progettazione del caso di studio sull'utilizzo completamento la progettazione del caso di studio sull'utilizzo di SOA per posta ibridadi SOA per posta ibrida


Proposte per il Proposte per il prossimo triennioprossimo triennio


Consolidamento del know-Consolidamento del know-how aziendale how aziendale

Nel triennio 2007-2008-2009 il laboratorio Nel triennio 2007-2008-2009 il laboratorio congiunto DISI-ElsagDatamat ha creato una congiunto DISI-ElsagDatamat ha creato una cultura aziendale su temi di grande attualità e cultura aziendale su temi di grande attualità e valenza scientifica trasversali agli interessi delle valenza scientifica trasversali agli interessi delle aziende del gruppo. Proponiamo di proseguire aziende del gruppo. Proponiamo di proseguire questa attività e di consolidare il know-how suquesta attività e di consolidare il know-how su

agentiagenti ontologieontologie SOASOA metodi ben fondati di ingegnerizzazione del metodi ben fondati di ingegnerizzazione del SWSW tecniche di testingtecniche di testing



Oltre alle tematiche già esplorate, il Oltre alle tematiche già esplorate, il laboratorio congiunto propone di esplorare laboratorio congiunto propone di esplorare ulteriori linee di ricerca, sempre trasversali a ulteriori linee di ricerca, sempre trasversali a interessi di aziende del gruppo:interessi di aziende del gruppo: matching, riconciliazione, integrazione di matching, riconciliazione, integrazione di

ontologieontologie metriche per la qualità del softwaremetriche per la qualità del software auto-adattività degli agenti auto-adattività degli agenti



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


Completamento dei progetti Completamento dei progetti avviati, sviluppo di progetti avviati, sviluppo di progetti

nuovi nuovi Nel triennio 2007-2008-2009 il laboratorio Nel triennio 2007-2008-2009 il laboratorio

congiunto DISI-ElsagDatamat ha completato la congiunto DISI-ElsagDatamat ha completato la progettazione di applicazioni su casi di studio e la progettazione di applicazioni su casi di studio e la realizzazione di prototipi. Proponiamo di realizzazione di prototipi. Proponiamo di proseguire questa attività per arrivare a prototipi proseguire questa attività per arrivare a prototipi di prodotti e a prodottidi prodotti e a prodotti

Proponiamo inoltre di svolgere una analoga Proponiamo inoltre di svolgere una analoga attività di progettazione, prototipazione e attività di progettazione, prototipazione e supporto allo sviluppo di casi di studio nuovi che supporto allo sviluppo di casi di studio nuovi che emergeranno nel prossimo futuroemergeranno nel prossimo futuro


Quindi...Quindi...


Grazie per Grazie per l'attenzionel'attenzione

Il Laboratorio DISI/ElsagDatamat Presentazione del programma, dei risultati conseguiti e delle...

Documents

Transcript of Il Laboratorio DISI/ElsagDatamat Presentazione del programma, dei risultati conseguiti e delle...