Nyligen har begreppet webbtjänster orkestrering införts för att ta itu med några frågor som rör webbtjänster sammansättning, det är sättet att definiera en komplex tjänst av enklare. Flera förslag för att beskriva orkestrering för affärsprocesser har presenterats under de senaste åren och många av dessa språk använder sig av begrepp som långvariga transaktioner och kompensationer för att hantera felhantering. WS-BPEL 2.0, den mest krediterade kandidaten för att bli standard, erbjuder tre olika mekanismer som gör det möjligt att hantera onormala situationer: undantag, händelse- och kompensationshantering. Denna komplexitet gör det svårt att formellt definiera ramen, vilket begränsar det formella resonemanget om de utformade tillämpningarna. I detta dokument förespråkar vi att tre olika mekanismer för felhantering inte är nödvändiga och vi formaliserar ett nytt orkestreringsspråk baserat på idén om händelseanmälan som den unika felhanteringsmekanismen. I detta syfte definierar vi formellt de tre BPEL-mekanismerna när det gäller vår beräkning. Det är möjligt att utnyttja denna formella beskrivning på två sätt. För det första utgör detta språk i sig ett förslag om förenkling av WS-BPEL 2.0 med en entydig specifikation. För det andra skulle en implementator av en verklig WS-BPEL 2.0 orkestrering motor helt enkelt kunna genomföra denna enda mekanism som ger alla de återstående genom sammanställning. Med detta försök har vi för avsikt att konkret bidra till att förbättra kvaliteten på BPEL-specifikationen, tillämpligheten av själva BPEL och genomförandet av verkliga orkestreringsmotorer. Slutligen, som en fallstudie anser vi att några av de hundratals öppna frågor som möts av WS-BPEL designers och vi föreslår en lösning som utnyttjar den erfarenhet som vunnits utveckla vår algebra.
Lucchi och Mazzara REF introducerar ett orkestreringsspråk, kallat webb, som bygger på idén om händelseanmälan som den unika felhanteringsmekanismen.
A pi-calculus based semantics for ws-bpel
{'venue': 'Journal of Logic and Algebraic Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}