Abstrakt. BPEL är för närvarande det mest utbredda språket för att komponera webbtjänster, men det saknar formella semantik. YAWL är ett arbetsflödesspråk med en väldefinierad formell semantik som implementerar de vanligaste arbetsflödesmönstren. I detta dokument tillhandahåller vi en metod för att översätta BPEL-processer till YAWL-arbetsflöden, vilket banar väg för formell analys, aggregation och anpassning av BPEL-processer. Det tillvägagångssätt vi föreslår definierar ett YAWL-mönster för varje BPEL-aktivitet. Översättningen av en BPEL process minskar sedan till lämpligt ögonblickliga och sammankopplade mönster för sin verksamhet.
I REF ges en formell semantik för BPEL genom en metod för att översätta BPEL-processer till YAWL-arbetsflöden, vilket banar väg för formell analys, aggregation och anpassning av BPEL-processer.
From BPEL Processes to YAWL Workflows
{'venue': 'In Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM’2006', 'journal': None, 'mag_field_of_study': ['Computer Science']}