Proposta di Tesi: Analisi e Validazione di Protocolli di Cooperazione

Proposta di Tesi
Analisi e Validazione di Protocolli di Cooperazione
Durata prevista: 6/8 mesi
Aspetti applicativi: implementazione di tecniche di analisi e validazione dei
protocolli di collaborazione all’interno di un sistema per l’integrazione digitale
destinato ai distretti industriali su piattaforma J2EE
Aspetti teorici: studio di linguaggi e strumenti per la modellazione ed analisi di
sistemi dinamici e concorrenti
Prerequisiti: progettazione e programmazione OO, Java, XML, analisi e
progettazione di basi di dati, fondamenti di informatica teorica e sistemi informativi
Scenario: Con la diffusione di tecnologie di integrazione per sistemi informativi
basate sulla rete Internet, un numero sempre maggiore di organizzazioni, in
particolare aziende, decidono di implementare protocolli di collaborazione mediati da
tali strumenti con i propri partner (e-commerce) a supporto dei propri processi
produttivi (ad es., gestione degli approvvigionamenti, coordinamento della
produzione, ecc.). Ciò ha comportato una notevole attenzione agli aspetti legati alla
definizione degli standard e sviluppo di soluzioni tecnologiche nell’ambito di quella
che viene definita l’integrazione business-to-business. Nell’implementazione di tali
processi di collaborazione è necessario, pur garantendo ai diversi attori coinvolti la
maggior autonomia possibile nella definizione dei propri processi interni, assicurare la
correttezza e la consistenza del protocollo di collaborazione, per evitare il verificarsi
di situazioni anomale. A tale proposito, esistono diversi approcci in letteratura, basati
su tecniche sviluppate nell’ambito della validazione formale di sistemi concorrenti (ad
es., transition system, process algebra, reti di Petri, logiche temporali, model
checking, ecc.), che forniscono strumenti algoritmici/metodologici di supporto
all’analisi ed alla progettazione.
L’obiettivo della Tesi è lo studio di tali soluzioni in funzione dell’impiego per
l’integrazione intra-aziendale nell’ambito dei distretti industriali e la prototipazione di
moduli software a supporto dell’attività di progettista.
Riferimenti:
• Electronic Commerce <http://en.wikipedia.org/wiki/Electronic_commerce>
• David Mertz. Understanding ebXML
<http://www-128.ibm.com/developerworks/xml/library/x-ebxml/>
• W.M.P. van der Aalst. Inheritance of Interorganizational Workflows: How to
agree to disagree without loosing control? (2000)
<http://is.tm.tue.nl/staff/wvdaalst/publications/p109.pdf>
Per informazioni e candidature contattare:
Dott. Ing. Luigi Dragone
Centro Sviluppo Prodotti e Soluzioni
CM Sistemi S.p.A.
v. Simone Martini, 126 - 00142 Roma - Italy
Tel.: +39 06 952831
Mail: [email protected]