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]