Abstrakt. Inom industrin är många affärsprocesser modellerade och lagrade i Enterprise Information Systems (EIS). Verktyg som stöder verifiering och validering av affärsprocesser kan bidra till att förbättra kvaliteten på dessa affärsprocesser. Befintliga verktyg kan dock inte tillämpas direkt på modeller som används inom industrin. I detta dokument presenterar vi vår strategi för modellverifiering och validering: att översätta industriella modeller till Petrinät och mCRL2, och därefter tillämpa befintliga verktyg på de modeller som härrör från de ursprungliga industriella modellerna. Följande översättningar beskrivs: BPMN modeller till Petri nät och Petri nät till mCRL2. Det visas vad analysen av de härledda modellerna kan avslöja om de ursprungliga modellerna.
Raedts m.fl. presenterade ett tillvägagångssätt REF som omvandlar BPMN-modeller till Petri-nät, och dessa till mCRL2-processens algebraiska språk.
Transformation of BPMN models for Behaviour Analysis
{'venue': 'MSVVEIS', 'journal': None, 'mag_field_of_study': ['Computer Science']}