Användningen av processkoreografier och decentraliserade affärsprocesshanteringssystem har utsetts som ett alternativ till centraliserad affärsprocessorkestrering. I koreografier delas kontroll över en processinstans mellan oberoende parter, och ingen part har full kontroll eller kunskap under processens gång. Det är dock nödvändigt att övervaka och kontrollera processfall under körtiden för dokumentation, redovisning eller ersättning. För att uppnå affärsprocess runtime verifiering, utforskar detta arbete lämpligheten av Bitcoin blockchain för att skapa en ny lösning för koreografier. Det resulterande tillvägagångssättet realiseras i en fullt fungerande programvaruprototyp. Denna programvarulösning utvärderas i en kvalitativ jämförelse. Resultaten visar att vårt blockkedjebaserade tillvägagångssätt möjliggör en sömlös utförandeövervakning och verifiering av koreografier, samtidigt som anonymitet och oberoende för processdeltagarna bevaras. Dessutom utvärderas prototypen i en prestandaanalys.
I detta syfte utnyttjar REF blockkedjan Bitcoin för att övervaka och verifiera processkoreografier.
Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}