Vi underlättar utformningen av samarbetsprocesser som respekterar önskade affärsmål genom den kompositionsalgoritm som presenteras i detta dokument. Sammansättningen av flera parters affärsprocesser görs alltid med ett specifikt mål i åtanke. Inte bara i det positiva fallet, utan även om målet för en affärsprocess inte kan uppfyllas, måste alla deltagande affärsprocesser vara i något förväntat återhämtningstillstånd. Vi föreslår en kompositionsalgoritm som löser uppgiften att utforma en samarbetsprocess samtidigt som en uppsättning primära mål och återhämtningsmål respekteras. I vår modell beskrivs varje affärsprocess som en ändlig tillståndsmaskin. Multiplikationen av alla affärsprocesser i en enda modell av möjliga utföranden skulle leda till en explosion av antalet stater. Därför tolkar vår kompositionsalgoritm direkt de multipla finita tillstånd maskin (FSM) representationer och skapar en samverkande affärsprocess utan att integrera alla FSM i en enda FSM i förskott. Vår kompositionsalgoritm returnerar en orkestrering av de givna affärsprocesserna endast om det kan garanteras att varje utförande endast leder till ett förväntat primärt mål eller återhämtningsmål. För att bevisa våra begrepp definierar vi först matematiskt utförandet av affärsprocesser och orkestreringar genom att tillhandahålla abstrakta statsmaskiner (ASM) representationer för dem. För det andra utför vi ASM i utförandemotorn CoreASM som visar att den genererade orkestreringen styr utförandet av affärsprocesserna som avsett.
I REF beskrivs en kompositionsalgoritm baserad på webbtjänstprocessen ASM:er där formell, matematisk modell av webbtjänster och orkestreringar tillhandahålls.
Composing Web-service-like Abstract State Machines (ASMs)
{'venue': '2007 IEEE Congress on Services (Services 2007)', 'journal': '2007 IEEE Congress on Services (Services 2007)', 'mag_field_of_study': ['Computer Science']}