MODELLAZIONE E SINTESI DI CONNETTORI MODULARI TRAMITE

COMPOSIZIONE DI PATTERN DI MEDIAZIONE

CANDIDATO LAMONACO GIACOMO

RELATORI TIVOLI MASSIMOAUTILI MARCO

Lamonaco Giacomo| Tesi di laurea magistrale

UNIVERSITA’ DEGLI STUDI DELL’AQUILA

Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica

CORSO DI LAUREA MAGISTRALE IN INFORMATICA

ANNO ACCADEMICO 2013/2014

WHAT ?

PERVASIVE AND UBIQUOTUS COMPUTINGPermettere l’accesso e l’elaborazione dei propri dati da qualsiasi parte e in qualsiasi momento

1

Everywhereand

anywhere?!

WHY ?

SOFTWARE COMMUNICATION MISMATCHESL’utilizzo di servizi software eterogenei e la necessità di fornire interoperabilità può far insorgere problemi di comunicazioni

2

LOGIN !???

Purchase Order Mediation scenario from the Semantic Web Service (SWS) Challenge2

Blue Service

HOW ?

SOFTWARE CONNECTORS La nostra soluzione si basa sull’utilizzo di connettori software, basandoci su una particolare ALGEBRA DEI CONNETTORI

3

LOGIN !START

ORDER

Purchase Order Mediation scenario from the Semantic Web Service (SWS) Challenge2

Blue Service

GOAL ?

FRAMEWORK DI MODELLAZIONE E SINTESIIl nostro obiettivo è di fornire un framework prototipale che permetta la modellazione e sintesi di connettori software, basata sull’algebra dei connettori

4

Modeling

Synthesis

Deploy

CONNECTOR ALGEBRA ?TEORIA CHE REGOLA LA MEDIAZIONE TRA PROTOCOLLIFornisce primitive di base che regolano incorrispondenze ricorrenti ed operatori composti che permettono di ottenere connettori modulari

5

Plugging

Alternation

Conjuction

Quotienting

Invert

PREVIOUS WORKCONNECTOR ALGEBRA , EIP e APACHE CAMELIn un precedente lavoro abbiamo individuato l’analogia tra l’algebra dei connettori e gli Enterprise Integration Pattern, che trovano una ben nota implementazione in un progetto di Apache: CAMEL

6

Message Translator

Message Splitter

Message Aggregator

Message Resequencer

WHAT TO DO ?SUPPORTARE LA FASE DI MODELLAZIONE

7

1

2

3

Implementazione dell’algebra deiconnetori basata su Apache

Camel

Sintesi automatica di connettorisoftware

Proporre un framework di modellazione e sintesi di

connettori software

DONE ✓

FUTURE ?

PRESENT !

CONNECTORS MODELING ?STRUTTURA DEL FRAMEWORKLa modellazione avviene tramite un editor grafico, che permette di ottenere in maniera automatica la rappresentazione testuale sottostante.

8

CONNECTORSMODELING EDITOR

Representation ofsynthesized connector CONNECTOR

ALGEBRA LIBRARY

CAMEL ROUTE

Connector AlgebraDSL specificiation

Model to Text Unmarshaling Deploy

EDITOR ?EDITOR GRAFICO WEB BASEDL’editor di modellazione viene utilizzato direttamente dal browser

9

NEXT?SUPPORTO INIZIALE ALLA SINTESI AUTOMATICAAlgoritmo sperimentale per la sintesi automatica di connettori software

10

SYNTHESIZED CONNECTORS

CONNECTORSMANIPULATION

Import

Protocolli sistemi

eterogenei P,Q

Ontologia del

dominio

CONCLUSIONI E SVILUPPI FUTURI

Il framework proposto rappresenta una valida soluzione di sintesi e deploy di connettori software

11

L’algebra dei connettori, attraverso l’implementazioneproposta, risulta un efficace strumento di mediazioneanche in scenari più complessi

Integrare nel framework la sintesi automatica di connettorisoftware partendo dalla specifica di due protocolli e la relativa ontologia

Inserire la possibilità di monitorare le rotte deployate

GRAZIE PER

L’ATTENZIONE