ETD system

Electronic theses and dissertations repository

 

Tesi etd-11072010-160135


Thesis type
Tesi di laurea specialistica
Author
FERRO, EMILIO ANTONIO
URN
etd-11072010-160135
Title
Creazione Automatica e Verifica di Servizi Composti in una Architettura Orientata alla Cooperazione Applicativa
Struttura
SCIENZE MATEMATICHE, FISICHE E NATURALI
Corso di studi
INFORMATICA
Commissione
relatore Prof. Corradini, Andrea
Parole chiave
  • creazione automatica di servizi
  • verifica di servizi
  • SOA
  • servizi Web
  • framework concettuale
  • cooperazione applicativa
  • BPMN
  • Reo
  • BPM
Data inizio appello
10/12/2010;
Consultabilità
completa
Riassunto analitico

Viene studiato il processo di creazione automatica di servizi composti, dalla fase di specifica fino all'effettiva esecuzione.
L'obiettivo di tale studio è riuscire ad individuare tecnologie e metodologie applicabili al progetto RUPOS, che si propone
la creazione di una piattaforma SOA per la cooperazione applicativa.
Viene eseguita un'analisi dei linguaggi BPMN e Reo e viene dimostrato come la combinazione dei due riesce a soddisfare i
requisiti di RUPOS rispetto alla creazione automatica e verifica formale di servizi composti.
Viene presentato un framework concettuale per giustificare l'adeguatezza delle scelte effettuate.
File