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