En affärsprocess är en uppsättning strukturerade, relaterade aktiviteter som syftar till att uppfylla ett specifikt organisatoriskt mål för en kund eller marknad. Ett viktigt mått vid utveckling av en affärsprocess är dess grad av parallellism, dvs. det maximala antalet uppgifter som kan genomföras parallellt i den processen. Graden av parallellism bestämmer toppefterfrågan på uppgifter, vilket ger en värdefull vägledning för problemet med resursfördelning i affärsprocesser. I detta dokument undersöker vi hur man automatiskt mäter graden av parallellism för affärsprocesser, som beskrivs med hjälp av BPMN-standardnotationen. Vi presenterar först en formell modell för BPMN-processer i termer av Labelled Transition Systems, som erhålls genom processalgebrakodningar. Vi föreslår sedan ett tillvägagångssätt för att automatiskt beräkna graden av parallellism genom att använda modellkontrolltekniker och dikotomisk sökning. Vi implementerade ett verktyg för att automatisera denna kontroll och vi tillämpade det framgångsrikt på mer än hundra BPMN-processer.
I Ref föreslår författarna ett tillvägagångssätt för att automatiskt mäta graden av parallellism för BPMN-processer.
Quantifying the parallelism in BPMN processes using model checking
{'venue': "CBSE '14", 'journal': None, 'mag_field_of_study': ['Computer Science']}