Korrekthet är en viktig aspekt av system för hantering av arbetsflöden. Merparten av arbetsflödeslitteraturen fokuserar dock endast på modelleringsaspekterna och förutsätter att ett arbetsflöde är korrekt om det under utförandet respekterar det kontroll- och databeroende som anges av arbetsflödesdesignern. För att korrekt hantera frågan föreslår vi en ny arbetsflödesmodell baserad på Hoare semantics som gör det möjligt att (1) automatiskt kontrollera om det önskade resultatet av ett arbetsflöde kan produceras genom dess faktiska genomförande, (2) automatiskt syntetisera ett arbetsflöde implementation från arbetsflöde specifikationen och en given uppgift bibliotek. I synnerhet vi: (1) formalisera semantik av arbetsflöden och uppgifter med pre-och postvillkor, (2) för varje kontrollkonstruktion vi ger en uppsättning av sunda inferens regler formalisera dess semantik. Medan de flesta av våra arbetsflöden är standard är två av dem nya: de universella och existentiella konstruktionerna. Vi beskriver sedan algoritmer för att automatiskt kontrollera att arbetsflöden är korrekta och för automatisk generering av arbetsflöden.
En algoritm för validering av en arbetsflödesmodell som representeras i form av en graf föreslås i REF.
Automatic workflow verification and generation
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}