• compensazioni
• coreografia dei messaggi
• CCSP
• Maude
• LRT
• transazioni a lunga durata
• politiche di compensazione
• processi transazionali
• Sagas
• cCSP

Internet e il World Wide Web (WWW) rendono disponibili un grandissimo
numero di risorse e servizi distribuiti attraverso il mondo.
La composizione di servizi web per l'integrazione dei processi commerciali attrae sia
l'interesse dell'industria, specialmente in termini di standard basati su XML per
interoperabilità, che quello del mondo accademico, per identificare le astrazioni linguistiche e i modelli di studio per
gli aspetti chiave della composizione di servizi, tra i quali:
i flussi di orchestrazione, la coreografia dei messaggi scambiati, la gestione
di errori e di eventi inattesi e l'integrità delle transazioni.
In questa tesi ci concentriamo sullo studio e confronto di politiche di
compensazione per linguaggi di descrizione di processi transazionali di
lunga durata.

Il lavoro prende spunto da due algebre di processi, chiamate
cCSP e Sagas, per le quali erano state già identificate
quattro diverse politiche di compensazione, basate sulle dimensioni
centralizzata/distribuita e con/senza interruzioni, per identificare
una quinta politica di compensazioni coordinate che risulta essere
più aderente a una implementazione distribuita reale e più soddisfacente delle politiche centralizzate.
Dal punto di vista teorico, dimostriamo l'inclusione semantica
(per tracce) delle politiche centralizzate rispetto alla nuova
politica proposta, la non confrontabilità della nuova politica
rispetto a quella distribuita senza interruzioni e l'inclusione
della nuova politica rispetto a quella distribuita con interruzioni.
Dal punto di vista realizzativo, a sostegno e integrazione dei risultati
teorici, abbiamo realizzato un'ambiente formale per lo studio e il
confronto delle diverse politiche basato sul linguaggio per riscrittura chiamato Maude.