Il Laboratorio DISI/ElsagDatamat

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
  dallanalisi 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?
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. 396-434, 2007.
DISI Fondazione Bruno Kessler, Trento
DISI
16
Versante accademico
Atti di convegni e special issue M. Baldoni, C.
Baroglio, J. Bentahar, V. Mascardi.
Organizzazione di MALLOW-AWESOME009, Second
workshop on Agents, Web Services and Ontologies,
Integrated Methodologies, Torino, Settembre 2009.
M. Baldoni, C. Baroglio, V. Mascardi.
Organizzazione di MALLOW-AWESOME007, 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 978-88-6122-061-4. da Seneca Edizioni
(Italy), 2007.
DISI Università degli Studi di Torino
Concordia University, Canada
DISI Università degli Studi di Torino
DISI Università degli Studi di Torino
Università Milano-Bicocca
17
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, 2008. E. Astesiano, G.
Reggio, F. Ricca Modeling Business within a
UML-Based Rigorous Software Development Approach,
in Concurrency, Graphs and Models, LNCS 5065,
p.261-277, 2008. 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.
DISI Fondazione Bruno Kessler, Trento
DISI
DISI
18
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, 2008. 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, 2008. V. Mascardi, P. Rosso e
V. Cordì. Enhancing Communication inside
Multi-Agent Systems - An Approach based on
Alignment via Upper Ontologies. In Proceedings
of MALLOW-AWESOME'007, M. Baldoni, C. Baroglio,
V. Mascardi, eds., pag. 92-107, 2007.
DISI
DISI Ansaldo STS
DISI Univ. Politecnica di Valencia
19
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 Prolog-Based 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,
2008. 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.
55-64, 2007.
DISI DIBE (Univ. di Genova)?
DISI Ansaldo STS
DISI Univ. Politecnica di Valencia
20
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)?

21
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

22
Versante aziendale
Linea 1 risultati concreti Interoperabilità
semantica completato l'Ontology Agent e la sua
integrazione nell'ambiente di prototipazione
rapida DCaseLP (Distributed Complex Application
Specification Environment based on Logic
Programming, realizzato da DISI)? Analisi del
rischio completata la realizzazione di due
prototipi (in Java e Prolog) basati su un modello
ad agenti per lanalisi del rischio di
infrastrutture fisiche complesse (porti,
aeroporti, siti industriali, etc.)? Razionalizzazi
one 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
23
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?
24
Proposte per il prossimo triennio
25
Consolidamento del know-how aziendale

• Nel triennio 2007-2008-2009 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

26
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

27
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)

28
Completamento dei progetti avviati, sviluppo di
progetti nuovi

• Nel triennio 2007-2008-2009 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

29
Quindi...
30
Grazie per l'attenzione