Abstrakt. Vi undersöker, i en process algebraisk inställning, en ny uppfattning om efterlevnad som vi kallar stark service efterlevnad: sammansatta tjänster är starkt överensstämmande om deras sammansättning är både dödläge och livelock fri (detta är den traditionella uppfattningen om efterlevnad) och när ett meddelande kan skickas för att åberopa en tjänst, är denna tjänst säker på att vara redo att tjäna kallelsen. Vi definierar också ett nytt begrepp för förfining, kallat stark förbeställning för underleverantörer, som lämpar sig för stark överensstämmelse: med tanke på en sammansättning av starka tjänster som uppfyller kraven var och en utför enligt vissa specifika avtal, kan vi ersätta tjänsterna med andra tjänster som utför motsvarande starka underentreprenader som bevarar en stark överensstämmelse. Slutligen presenterar vi en karakterisering av den starka underentreprenaden pre-order till teorin om (bör) testa pre-order.
I REF, Bravetti och Zavattaro förbättra deras korrekthet kriterium genom att se till att när ett meddelande kan skickas, den andra tjänsten är redo att ta emot detta meddelande.
A Theory for Strong Service Compliance ⋆
{'venue': 'COORDINATION', 'journal': None, 'mag_field_of_study': ['Computer Science']}