ABSTRACT Korrekturverifieringen är mycket viktig för arbetsflöden. Det är nära relaterat till både kontrollflöden och dataflöden. Arbetsflödesnät med data (WFD-nät) är ett slags formell modell som kan återspegla några logiska strukturer av arbetsflödessystem, t.ex. val och samstämmighet, och representera vissa åtgärder på data, t.ex. läsa, skriva, och ta bort. Dessa dataoperationer är dock konceptuella i WFD-nät och karakteriserar endast det logiska förhållandet mellan två operationer, t.ex. om en skrivande och en avläsning samtidigt fungerar på en data. De beaktar inte de funktionella kraven på data (dvs. databegränsningar). Därför kan vissa datafel inte hittas via WFD-nät. För att lösa detta problem föreslår vi Workflow-nät med Data Restriktioner (WFDC-nät) och definierar fyra ljudnivåer för att beskriva olika krav på korrekthet. Baserat på tillgängliga grafer av WFDC-nät, verifierar vi ljudnivån. De relaterade algoritmerna föreslås och ett verktyg utvecklas för att visa effektiviteten och användbarheten av vår metod.
WFDC-nät REF är en allmän analysmetod för att kontrollera att arbetsflöden är korrekta genom att beakta databegränsningar.
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints
{'venue': 'IEEE Access', 'journal': 'IEEE Access', 'mag_field_of_study': ['Computer Science']}