Abstrakt. Tjänsteorientering är ett sätt att integrera olika system. Varje resurs, oavsett om det är ett program, ett system eller en handelspartner, kan nås som en tjänst. Den resulterande arkitekturen, ofta kallad SOA, har varit en viktig möjliggörare för interorganiseringsprocesser. Förutom de tekniska frågor som måste tas upp är det viktigt att alla parter som deltar i sådana processer enas om "engagemangsregler". Därför föreslår vi att man använder sig av ett avtal som specificerar sammansättningen av de offentliga åsikterna hos alla deltagande parter. Varje part får därefter genomföra sin del av avtalet så att genomförandet (dvs. den privata sikten) överensstämmer med avtalet. I detta dokument definierar vi en lämplig uppfattning om överensstämmelse inspirerad av tjänsternas asynkrona karaktär. Dessutom lägger vi fram flera omvandlingsregler för att stegvis bygga upp en privat syn så att överensstämmelse med kontraktet garanteras genom konstruktion. Dessa regler omfattar både att lägga till interna uppgifter och att omordna meddelanden och är därför mycket kraftfullare än befintliga regler för att bevara korrektheten.
Ett begrepp om projektionsarv används för de privata arbetsflödena, i stället för begreppet överensstämmelse från REF.
From Public Views to Private Views -- Correctness-by-Design for Services
{'venue': 'WS-FM', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Medicine']}