La presentazione è in caricamento. Aspetta per favore

La presentazione è in caricamento. Aspetta per favore

ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - SEDE DI CESENA FACOLTA' DI SCIENZE MATEMATICHE, FISICHE E NATURALI CORSO DI LAUREA SPECIALISTICA IN SCIENZE.

Presentazioni simili


Presentazione sul tema: "ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - SEDE DI CESENA FACOLTA' DI SCIENZE MATEMATICHE, FISICHE E NATURALI CORSO DI LAUREA SPECIALISTICA IN SCIENZE."— Transcript della presentazione:

1 ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - SEDE DI CESENA FACOLTA' DI SCIENZE MATEMATICHE, FISICHE E NATURALI CORSO DI LAUREA SPECIALISTICA IN SCIENZE DELL'INFORMAZIONE IMPLEMENTAZIONE DI UN SISTEMA DI TIPI PER JOLIE Relatore Chiar.mo Prof. Zavattaro Gianluigi Correlatori Dr. Guidi Claudio Dott. Montesi Fabrizio Controrelatore Chiar.mo Prof. Maniezzo Vittorio Presentata da Ciotti Elvis

2 Sommario presentazione JOLIE - panoramica - creazione messaggi e invio SISTEMA DI TIPI PER JOLIE - dichiarazione tipi e controlli di conformità - esportazione tipi XML Schema DEMO - applicazione distribuita JOLIE con sistema di tipi CONCLUSIONI

3 Linguaggio di programmazione Orchestrazione di servizi web Alternativa a WS-BPEL Basato su calcolo formale SOCK (primitive per descrizione meccanismi SOC) Sintassi linguaggio in stile C/Java Interprete rende operativi i servizi Java Orchestration Language Interpreter Engine Alcune caratteristiche Progetto europeo SENSORIA, Università di Bologna

4 Primitive di comunicazione B NOTIFICATION ONE WAY …. A RETERETE SOLICIT RESPONSE REQUEST RESPONSE C …. D RETERETE FAULT …. Operatori di composizione Sequenza Parallelo Scelta non deterministica sugli input

5 ordine.cliente = Mario Rossi; ordine.articoli.prodotto[0] = a128; ordine.articoli.prodotto[0].qta = 1; ordine.articoli.prodotto[1] = b131; ordine.articoli.prodotto[1].qta = 3; Strutture dati ordine> Mario Rossi a128 1 b131 3 Rappresentazione XML Codice JOLIE invio con notification ServizioOrdini( ordine )

6 In questa tesi… Introduzione sistema di tipi per JOLIE - Sintassi per la definizione dei tipi - Controllo di conformità messaggio / tipo - Associazione tipi alle operazioni - Controlli inseriti in ingresso e uscita nelle operazioni Estensione generatore WSDL con tipi XML Schema Strumento per la generazione di documenti WSDL che descrivono servizi JOLIE Tesi di Laurea di Malagoli Davide - a.a. 07/08 Relatore: prof Gorrieri Roberto, Correlatori: Dr, Guidi Claudio, Dott. Montesi Fabrizio

7 Introduzione sistema di tipi 1) Sintassi per la definizione dei tipi dei messaggi TYPE_DECLARATION NATIVE_YPE SUB_TYPE_LIST_N TYPE_LIST_N SUBTYPE CARDINALITY type id: NATIVE_YPE SUB_TYPE_LIST_N void | string | int | double | any | undefined { SUBTYPE TYPE_LIST_N } | { ? } | Є, SUBTYPE TYPE_LIST_N | Є.id CARDINALITY: NATIVE_YPE SUB_TYPE_LIST_N |.id CARDINALITY: idTypeDeclared [NUMBER, NUMBER] | [NUMBER, *] | * | ? | Є

8 Introduzione sistema di tipi Esempio di dichiarazioni di tipo del messaggio ordine type ORDINE_TYPE: void {.cliente: string.articoli: void {.prodotto[1,*]: string {.qta: int } }.altre_info: any {?} } Mario Rossi a128 1 b131 3

9 Introduzione sistema di tipi 2) Algoritmo di controllo conformità messaggio al tipo dichiarato A12 Mario Rossi a128 1 b131 ??? 2008/12/18 type ORDINE_TYPE: void {.cliente: string.articoli: void {.prodotto[1,*]: string {.qta: int } }.altre_info: any {?} }

10 Introduzione sistema di tipi 3) Associazione tipi alle operazioni outputPort OrdiniServicePort { Location: Protocol: soap OneWay: inviaOrdine RequestResponse: opRR throws fault1 fault2 } ( ORDINE_TYPE ) ( TIPO1 )( TIPO2 ) (TIPO3) (TIPO4)

11 Introduzione sistema di tipi 4) Controlli nelle operazioni a tempo di esecuzione A B NOTIFICATION ONE WAY RETE ricezione effettiva solo se il messaggio è conforme al tipo locale … Invio effettivo solo se il messaggio è conforme al tipo locale TypeMismatch …

12 SCANNER PARSER CONTROLLORE SEMANTICO OOIT BUILDER Introduzione sistema di tipi Modifiche apportate allarchitettura JOLIE Codice JOLIE servizio AMBIENTE DI ESECUZIONE GESTORE DELLA COMUNICAZIONE OOIT … op1 opN … … OGGETTI DICHIARAZIONI TIPO INSERITI NELLE OPERAZIONI COMPONENTE CONTROLLO CONFORMITA CONTROLLI IN/OUT OPERAZIONI - TIPI - ASSOCIAZIONI TIPI-OPERAZIONI - ESISTENZA TIPI - CARDINALITA

13 Introduzione sistema di tipi Demo: gestore sessioni esami DATABASE CORSI E VOTI DATABASE ACCOUNTS GESTORE SESSIONI DESAME PROFESSORE 1 PROFESSORE N 1.Autenticazione 2.Creazione sessione (esame, studente) 3.Domande 4.Proposta voto 1.Autenticazione 2.Partecipazione sessione (esame, studente) 3.Risposte a domande 4.Accettazione voto STUDENTE 1 STUDENTE M … … sessione … …

14 Esportazione WSDL … … … outpuPort outPort { Location:… Protocol: soap{.schema=file.xsd... } OneWay: op1 } … TRASFORMATORE JOLIE -> WSDL DICHIARAZIONI XML Schema ESTERNE ESPORTAZIONE TIPI -> XSD type TIPO1 {...} outpuPort outPort { Location:... Protocol: soap OneWay: op1(TIPO1) } … Codice JOLIE del servizio Documento WSDL

15 Conclusioni Sistema di tipi: considerazioni Messaggi strutturalmente corretti: diminuzione anomalie di funzionamento Visualizzazione dettagliata errori di conformità: strumento di debug Dichiarazione tipi molto flessibile: qualsiasi contenuto per sottostruttura del tipo Sviluppi futuri Supporto per altri tipi derivati e costrutti XSD Sviluppo linguaggio di coreografia complementare a JOLIE con supporto tipi Con questa tesi si è introdotto un sistema di tipi per JOLIE che permette la dichiarazione dei tipi dei messaggi ed effettua dei controlli in ingresso e uscita dalle operazioni, in modo che le operazioni inviino e ricevano messaggi conformi ai relativi tipi dichiarati. E stato anche modificato lo strumento per la creazione di documenti WSDL descriventi servizi JOLIE, inserendo lesportazione dei tipi dichiarati in formato XSD nelle relative operazioni.

16 Domande ? Grazie dellattenzione

17 Introduzione sistema di tipi 3) Controlli nelle operazioni a tempo di esecuzione A B SOLICIT RESPONSE REQUEST RESPONSE RETE Invio effettivo solo se il messaggio è conforme al tipo locale Ricezione effettiva solo se il messaggio è conforme al tipo locale Se il messaggio creato non è conforme al tipo locale: invio fault … … … … TypeMismatch IOFault TypeMismatch Received TypeMismatch

18 Orchestrazione WS-BPEL B C Web Services Web service: sistema software Pubblicazione interfaccia servizi: WSDL e UDDI Scambio di messaggi: HTTP e SOAP (XML) Comunicazione nella rete tra sistemi eterogenei Composizione: coreografia e orchestrazione


Scaricare ppt "ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - SEDE DI CESENA FACOLTA' DI SCIENZE MATEMATICHE, FISICHE E NATURALI CORSO DI LAUREA SPECIALISTICA IN SCIENZE."

Presentazioni simili


Annunci Google