Abstrakt. En koreografi beskriver samspelet mellan tjänsterna. Det kan användas för specifikationsändamål, t.ex. som ett kontrakt vid utformningen av en interorganisatorisk affärsprocess. Vanligtvis är inte alla describable interaktioner vettigt som motiverar studien av realizability problem för en given koreografi. I detta dokument visar vi att genomförbarheten kan spåras tillbaka till problemet med kontrollbarhet som frågar om en tjänst har kompatibla partnerprocesser. Detta sätt att tänka gör algoritmer för kontrollbarhet tillgängliga för resonemang om realiserbarhet. Dessutom föreslås alternativa definitioner för genomförbarhet. Vi diskuterar flera förslag för att definiera genomförbarhet som skiljer sig åt i graden av täckning av den angivna interaktionen.
Lohmann och Wolf REF visar hur realizability kan verifieras med hjälp av befintliga tekniker för kontrollbarhetsproblem, som kontrollerar om en tjänst har kompatibla partnerprocesser.
Realizability is controllability
{'venue': 'ZEUS', 'journal': None, 'mag_field_of_study': ['Materials Science', 'Computer Science', 'Mathematics']}