COW Contract Oriented Web Presentazione della proposta per un progetto STREP nel Framework 7 Gruppo Lambda

SOA L’architettura Service Oriented è un modo di disegnare sistemi che consente Economia Reimpiego Adattabilità Recupero ed integrazione di software preesistente Gruppo Lambda

Service I servizi (service) sono componenti riutilizzabili che rappresentano attività legate per lo più agli affari: Identificazione del cliente Identificazione di un conto bancario Convalida di una carta di credito Verifica del credito Calcolo degli interessi Cambio valute Ordine di acquisto di prodotti Prenotazione di hotel o viaggi I servizi possono essere Distribuiti tra organizzazioni differenti Riorganizzazione di vecchie procedure in nuovi processi Gruppo Lambda

W3C: WEB service “A Web service is a software system identified by a URI [Uniform Resource Identifier], whose public interfaces and bindings are defined and described using XML. Its definition can be discovered by other software systems. These systems may then interact with the Web service in a manner prescribed by its definition, using XML based messages conveyed by Internet protocols”. Gruppo Lambda

WEB Service Secondo la definizione del W3C, sono sistemi software progettati per supportare l’interoperatività tra elaboratori su di una stessa rete Caratteristica dei servizi WEB è l’uso del protocollo HTTP Gruppo Lambda

Cos’è un’infrastruttura di WEB Services Web tra applicazioni Application B Data Set 1* Purchased Financials Package Web tra persone Format B Load Down Message Extract Program Down queue File program Program Program Load File Screen Purchased Financials Package Load program Application A scrape DB replication Application C Extract program Application B Data Set 1* Format B Program program Extract Load program Program Down queue Message Load Program Data Set 1 Program Program file Transaction Program Program File program Extract Program Program Format A File Load Down Message queue Format C Data Set 1** program Load Application A scrape Screen Application C Extract program DB replication Program Extract program Load program Data Set 1 Program Program file Transaction Program Program Format A queue Message Program Format C Data Set 1** Application B Purchased Financials Package Format B Data Set 1* File Load Down Message program Extract Program queue Program Program File Load Down program Load Application A scrape Screen Application C Extract program Purchased Financials Package Program program Extract DB replication Load program Program Transaction file Program Application B Data Set 1* Program Format B Format A Data Set 1 Program Message Program Message queue Format C Data Set 1** Load Down queue File Extract program Program Program Program Load Down File Extract program program Load Application A scrape Screen DB replication Application C Purchased Financials Package program Extract Load program Application B Data Set 1* Program Program Format B file Transaction Program Program Format A Data Set 1 Program Program Message Message Data Set 1** queue queue Format C Load Down File Extract Program program Program Down File Load Program Load Extract program program Application A scrape Screen DB replication Application C Extract program Load Program program Program Program file Transaction Program Format A Data Set 1 Program Program Message Data Set 1** queue Format C Gruppo Lambda

Standard La fruizione di un servizio da parte di un client si articola in tre fasi: Descrizione e pubblicazione del servizio da parte del server presso un intermediario (registry) Ricerca di un servizio da parte del client (service discovery) Fruizione del servizio (interaction) Gruppo Lambda

Standard Universal Description Discovery and Integration Web Services Description Language Simple Object Access Protocol Gruppo Lambda

Standard UDDI è un registry (ovvero una base dati ordinata ed indicizzata), basato su XML ed indipendente dalla piattaforma hardware, che permette alle aziende la pubblicazione dei propri dati e dei servizi offerti su internet WSDL è un linguaggio basato su XML usato per la creazione di "documenti" descrittivi delle modalità di interfacciamento ed utilizzo del Web Service; SOAP è un protocollo leggero per lo scambio di messaggi tra componenti software. Tutti gli standard si basano su XML, utilizzato tanto per la descrizione e pubblicazione di un servizio, quanto nella fase di interazione con l’host. Gruppo Lambda

Limitazioni Lo standard WSDL risulta troppo povero per la descrizione dell’interoperatività tra sistemi eterogenei, essendo centrato esclusivamente su aspetti di connettività. Le sue estensioni (WSCI e BEPL) descrivono troppo nei dettagli il processo di interazione per consentire l’identificazione automatica di un servizio Non vi è la possibilità di esprimere vincoli essenziali per la corretta interazione col client, come la temporizzazione Gruppo Lambda

Limitazioni La descrizione di un servizio è in buona parte in “plain English” ciò che rende problematico: La verifica automatica dell’adeguatezza del servizio rispetto alla sua descrizione La ricerca e la valutazione automatica a run-time di un servizio in funzione delle esigenze del client Gruppo Lambda

Contratti Gruppo Lambda

Contratti Un contratto è la descrizione di un servizio in cui sono indicati almeno: Tipo dei dati da scambiare Capacità, ossia astrazioni di metodi di elaborazione Protocollo di interazione … ma anche “diritti” e “doveri” delle parti Gruppo Lambda

Proprietà dei contratti Conformità (conformance): se una implementazione di un servizio corrisponde ad un contratto Soddisfazione (compliance): la garanzia per un client di completare senza errore l’interazione con il servizio Compatibilità (compatibility): equivalenza, anche parziale, tra contratti Gruppo Lambda

Contratti come tipi Il concetto chiave per la descrizione di comportamenti attraverso il web è quello di porta Un contratto può vedersi come disciplina nell’uso di una porta Questa è una proprietà del processo di interazione su quella porta, non l’intero processo: è dunque un tipo Gruppo Lambda

Obiettivi della proposta Formalizzazione del concetto di contratto utilizzando calcoli dei processi e tipi Confronto con gli standard e traduzione della formalizzazione utilizzando XML Caratterizzazione della relazione di compliance rispetto a servizi conformi ai contratti Sviluppo di algoritmi di verifica di conformità basati su tecniche di type checking Definizione di criteri di compatibilità tra contratti e di algoritmi per ricerca e verifica Gruppo Lambda

Il consorzio Istituzioni accademiche: Italia: Università di Torino, Bologna, Venezia Francia: Université “Danis Diderot” Paris 7 Regno Unito: London Queen Mary, University of Southempton Portogallo: Università di Lisbona Serbia: Università di Novi Sad Gruppo Lambda

Il consorzio Imprese medio-piccole (SME): Regno Unito: Pi4 Canada: Espirity Serbia: Panos Gruppo Lambda

Collegamenti W3C: alcune istituzioni, SME o singoli ricercatori sono già coinvolti nelle attività di questo organismo Sarebbe della massima importanza vedere accolti (anche parzialmente) i risultati della ricerca nell’ambito di standard emergenti Gruppo Lambda

Il ruolo delle SME Selezionare e proporre casi concreti o tipologie di applicazioni basate su Web Service di nuova concezione Contribuire alla individuazione delle caratteristiche rilevanti che un contratto deve possedere Utilizzare i casi proposti come banco di prova per le soluzioni teoriche e tecniche elaborate nell’ambito del progetto. Gruppo Lambda

L’elaborazione della proposta Occorre innanzitutto articolare il piano di lavoro in Work Packages (WP), definendo obiettivi e metodi di lavoro I WP devono essere corredati dell’indicazione dei prodotti dell’attività (deliverables) Determinare le tappe ed i momenti di decisione sulle attività (milestones) Occorre pianificare le attività rispetto ai WP e fissarne i tempi nell’arco di tre anni. Gruppo Lambda

Scadenze Il 3 Maggio in forma preliminare, se si concorre per un finanziamento FET-Open (il tema della ricerca è libero) L’8 Maggio se si opta per la Call (il tema è indicato da organismi UE) Gruppo Lambda