Abstrakt. Referensprocessmodeller fångar upp återkommande affärsverksamhet inom ett visst område, t.ex. upphandling eller logistik. Dessa modeller är avsedda att konfigureras för att passa kraven hos specifika organisationer eller projekt, vilket leder till individualiserade processmodeller som därefter används för domänanalys eller lösningsdesign. Även om fördelarna med att återanvända referensprocessmodeller jämfört med att utforma processmodeller från grunden är allmänt accepterade, de metoder som används för att konfigurera referensprocessmodeller är manuella och felbenägna. I synnerhet analytiker lämnas med bördan att säkerställa korrektheten i de individualiserade processmodeller och att manuellt åtgärda fel. I detta dokument föreslås en grund för konfigurering av referensprocessmodeller stegvis och på ett sätt som säkerställer att de individualiserade processmodellerna är korrekta, både vad gäller syntax och beteendesemantik. Specifikt, förutsatt att referensprocessen modellen är beteendemässigt ljud, de individualiserade processmodeller garanteras att vara ljud.
Det arbete som presenteras i REF visar hur referensprocessmodeller kan konfigureras stegvis och på ett sätt som säkerställer att de konfigurerade processvarianterna är korrekta, både vad gäller syntax och beteendesemantik.
Correctness-preserving configuration of business process models
{'venue': 'IN: PROC. FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}