logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-11072010-160135


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

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