Tesi etd-11072010-160135 |
Link copiato negli appunti
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
| Nome file | Dimensione |
|---|---|
| tesi_emi...ferro.pdf | 2.85 Mb |
Contatta l’autore |
|