Abstrakt. Inom ramen för Service Oriented Computing är kontrakt beskrivningar av tjänsters externt observerbara beteende. Med tanke på en grupp samarbetstjänster kan deras kontrakt användas för att kontrollera om deras sammansättning är sund, dvs. tjänsterna uppfyller kraven. I detta dokument relaterar vi teorin om kontrakt med begreppet koreografikonformitet, som används för att kontrollera om en aggregering av tjänster korrekt beter sig enligt en hög nivå specifikation av deras möjliga konversationer. Huvudresultatet av detta dokument är definitionen av ett effektivt förfarande som kan användas för att kontrollera om en tjänst med ett visst kontrakt på ett korrekt sätt kan spela en särskild roll inom en koreografi. Detta förfarande uppnås genom sammansättning av koreografiprojektion och kontraktsförfining.
I REF, samma författare relaterar teorin om kontrakt med begreppet koreografi konformitet, används för att kontrollera om en aggregering av tjänster korrekt beter sig enligt en hög nivå specifikation av deras möjliga samtal baserat på input-och output åtgärder.
Towards a unifying theory for choreography conformance and contract compliance
{'venue': 'In Pre-proceedings of 6th Symposium on Software Composition', 'journal': None, 'mag_field_of_study': ['Computer Science']}