The aim of this work is to elaborate and develop a prototypal framework that allows to define modular connectors, starting from connector design up to deploy physically them on a real system. The framework will be divided in three main parts. The first one will have to do with connector modeling: users will be able to design and specify through a graphical editor protocol mediators. In the second phase, we can proceed with connector synthesis. Roughly speaking, synthesis process permits to obtain mediators specification, expressed as the composition of independent mediation patterns. In the third part, user could deploy the resulting mediators on real system.

1. MODELLAZIONE E SINTESI DI
CONNETTORI MODULARI TRAMITE
COMPOSIZIONE DI PATTERN DI
MEDIAZIONE
CANDIDATO LAMONACO GIACOMO
RELATORI TIVOLI MASSIMO
AUTILI MARCO
Lamonaco Giacomo| Tesi di laurea magistrale
UNIVERSITA’DEGLI STUDI
DELL’AQUILA
Dipartimento di Ingegneriae Scienze
dell'InformazioneeMatematica
CORSODILAUREAMAGISTRALEIN
INFORMATICA
ANNOACCADEMICO
2013/2014

2. WHAT?
PERVASIVEAND UBIQUOTUSCOMPUTING
Permettere l’accesso e l’elaborazione dei propri dati da qualsiasi parte e in
qualsiasi momento
1
Everywhere
and
anywhere?!

3. WHY?
SOFTWARE COMMUNICATION MISMATCHES
L’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

4. 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

5. GOAL ?
FRAMEWORKDI MODELLAZIONEE SINTESI
Il 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

6. CONNECTOR ALGEBRA?
TEORIA CHE REGOLALA MEDIAZIONETRA PROTOCOLLI
Fornisce primitive di base che regolano incorrispondenze ricorrenti ed
operatori composti che permettono di ottenere connettori modulari
5
Plugging
Alternation
Conjuction
Quotienting
Invert

7. PREVIOUS WORK
CONNECTOR ALGEBRA, EIPe APACHE CAMEL
In 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

8. WHAT TO DO?
SUPPORTARE LA FASE DI MODELLAZIONE
7
1
2
3
Implementazione dell’algebra dei
connetori basata su Apache
Camel
Sintesi automatica di connettori
software
Proporre un framework di
modellazione e sintesi di
connettori software
DONE ✓
FUTURE ?
PRESENT !

9. CONNECTORS MODELING?
STRUTTURA DELFRAMEWORK
La modellazione avviene tramite un editor grafico, che permette di ottenere in
maniera automatica la rappresentazione testuale sottostante.
8
CONNECTORS
MODELING EDITOR
Representation of
synthesized connector CONNECTOR
ALGEBRA LIBRARY
CAMEL ROUTE
Connector Algebra
DSL specificiation
Model to Text Unmarshaling Deploy

10. EDITOR?
EDITOR GRAFICOWEBBASED
L’editor di modellazione viene utilizzato direttamente dal browser
9

11. NEXT?
SUPPORTO INIZIALEALLA SINTESI AUTOMATICA
Algoritmo sperimentale per la sintesi automatica di connettori software
10
SYNTHESIZED
CONNECTORS
CONNECTORS
MANIPULATION
Import
Protocolli sistemi
eterogenei P,Q
Ontologia del
dominio

12. CONCLUSIONI ESVILUPPI FUTURI
Ilframeworkproposto rappresenta unavalidasoluzionedi
sintesi e deploy di connettorisoftware
11
L’algebra deiconnettori,attraverso l’implementazione
proposta, risultaun efficacestrumento dimediazione
ancheinscenari piùcomplessi
Integrarenel frameworkla sintesi automaticadi connettori
softwarepartendo dalla specificadi due protocolli e la
relativaontologia
Inserirelapossibilità di monitorarele rotte deployate

13. GRAZIE PER
L’ATTENZIONE