En affärsprocess är en uppsättning strukturerade aktiviteter som tillhandahåller en viss tjänst eller produkt. Affärsprocesser kan modelleras med hjälp av BPMN-standarden, och flera industriella plattformar har utvecklats för att stödja design, modellering och simulering. Detta dokument presenterar en omskrivningslogik körbar specifikation av BPMN med tiden och utvidgas med sannolikheter. Tider och förseningar för uppgifter och flöden kan anges som stokastiska uttryck, medan sannolikheter är förknippade med olika former av förgrening beteende i gateways. Dessa mängder möjliggör diskret-event simulering och automatisk stokastisk verifiering av egenskaper såsom förväntad processtid, förväntad synkroniseringstid vid sammanfogning gateways och domänspecifika kvantitativa påståenden. Mekaniseringen av de stokastiska analysuppgifterna görs med Maudes statistiska modellkontroll PVeStA. Metoden illustreras med ett löpande exempel och ytterligare experimentella resultat omfattar specifikationer från litteraturen.
På senare tid har författarna utvecklat en omskrivningslogik körbar specifikation av BPMN med tid och sannolikheter som stöder den automatiska analysen av stokastiska egenskaper via statistisk modellkontroll REF.
Stochastic Analysis of BPMN with Time in Rewriting Logic
{'venue': 'Sci. Comput. Program.', 'journal': 'Sci. Comput. Program.', 'mag_field_of_study': ['Computer Science']}