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
