I sistemi basati sul paradigma Service Oriented Architecture consentono la realizzazione di software distribuito e riconfigurabile a partire da unità indipendenti di software lascamente accoppiate che svolgono una funzionalità completa e autoconsistente. Molti risultati di ricerca hanno contribuito alla realizzazione di framework, metodi e tecnologie per la realizzazione di sistemi SOA, ma pochi risultati metodologici supportano la progettazione di sistemi che assicurino caratteristiche garantite quando sono coinvolti servizi di terze parti geograficamente distribuiti.