Process mining approach for the conformance checking of discrete-event simulation model
- Resource Type
- Conference
- Authors
- Uehara, Kenji; Hiraishi, Kunihiko
- Source
- 2019 58th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE) Instrument and Control Engineers of Japan (SICE), 2019 58th Annual Conference of the Society of. :615-620 Sep, 2019
- Subject
- Aerospace
Bioengineering
Components, Circuits, Devices and Systems
General Topics for Engineers
Power, Energy and Industry Applications
Robotics and Control Systems
Signal Processing and Analysis
Petri nets
Data mining
PROM
Analytical models
Data models
Atmospheric modeling
Safety
Process Mining
Conformance Checking
Model Checking
Discrete-event simulation
- Language
Discrete-event simulation is an effective method to reproduce the target system behavior and to investigate its mechanism. In order to grant the validity to the simulation output, the model has to show the compliance with specification and design. However, the test process to prove the validity would impose heavy workload on developers. In this paper, we introduce a new approach to prove the specification-conformance of the simulation model by using Process Mining method and attempt to alleviate the developers' workload in the test phase.