Abstrakt. Vid hantering av komplexa affärsprocesser (t.ex. i samband med implementering av arbetsflöden eller konfigurationen av något processmedvetet informationssystem) är det viktigt men ibland svårt att avgöra om en process innehåller några fel. Koncepten som annullering och OR-joins förekommer naturligt i affärsscenarier, men närvaron av dessa funktioner i processmodeller innebär nya utmaningar för verifiering. Vi tar oss an utmaningen att hitta nya verifieringstekniker för arbetsflöden med avbokningsregioner och OR-joins. Det föreslagna tillvägagångssättet bygger på återställning av nät och åtkomlighetsanalys. Vi presenterar dessa tekniker i samband med arbetsflödet YAWL som ger direkt stöd för dessa funktioner. Vi har utökat den grafiska redaktören för YAWL med dessa diagnostiska funktioner.
I REF visas att grafen bakåtåtkomlighet kan användas för att bestämma möjligheten för OR-joins i samband med avbokning.
Verifying Workflows with Cancellation Regions and OR-joins : An Approach Based on Reset Nets and Reachability Analysis
{'venue': 'ICALP', 'journal': None, 'mag_field_of_study': ['Computer Science']}