Abstrakt. Grunden för en processmodell ligger i dess reglerflödesspecifikationer. Med hjälp av ett generiskt processmodelleringsspråk för arbetsflöden visar vi hur en kontrollflödesspecifikation kan innehålla vissa strukturella konflikter som kan äventyra dess korrekta utförande. I allmänhet är identifiering av sådana konflikter ett datoriserat problem och kräver utveckling av effektiva algoritmer som är specifika för målsystemspråk. Vi presenterar en visuell verifieringsmetod och algoritm som använder en uppsättning graf reduktionsregler för att identifiera strukturella konflikter i processmodeller för ett generiskt arbetsflöde modellering språk. Vi ger också insikter om riktigheten och komplexiteten i reduktionsprocessen. Papperets viktigaste bidrag är en ny teknik för att uppfylla väldefinierade korrekthetskriterier i processmodeller.
I REF införde författarna en uppsättning minskningsregler för processgrafen som ett sätt att ange riktigheten.
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
{'venue': 'CAiSE', 'journal': None, 'mag_field_of_study': ['Computer Science']}