| Presentation | 2018-11-13 Process mining approach for the conformance checking of discrete-event simulation model Kenji Uehara, Kunihiko Hiraishi, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Discrete-event simulation is an effective method to reproduce the target system behavior and to investigate its mechanism. In order to grant the validity of the simulation output, the model must 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 show 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Process Mining / Discrete-event simulation model / Specification conformance / Validity Check |
| Paper # | CAS2018-75,MSS2018-51 |
| Date of Issue | 2018-11-05 (CAS, MSS) |
| Conference Information | |
| Committee | MSS / CAS / IPSJ-AL |
|---|---|
| Conference Date | 2018/11/12(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Morikazu Nakamura(Univ. of Ryukyus) / Hideaki Okazaki(Shonan Inst. of Tech.) |
| Vice Chair | Shigemasa Takai(Osaka Univ.) / Taizo Yamawaki(Hitachi) |
| Secretary | Shigemasa Takai(Toshiba) / Taizo Yamawaki(Osaka Univ.) / (Shonan Inst. of Tech.) |
| Assistant | Hideki Kinjo(Okinawa Univ.) / Motoi Yamaguchi(Renesas Electronics) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Process mining approach for the conformance checking of discrete-event simulation model |
| Sub Title (in English) | |
| Keyword(1) | Process Mining |
| Keyword(2) | Discrete-event simulation model |
| Keyword(3) | Specification conformance |
| Keyword(4) | Validity Check |
| 1st Author's Name | Kenji Uehara |
| 1st Author's Affiliation | Japan Advanced Institute of Science and Technology(JAIST) |
| 2nd Author's Name | Kunihiko Hiraishi |
| 2nd Author's Affiliation | Japan Advanced Institute of Science and Technology(JAIST) |
| Date | 2018-11-13 |
| Paper # | CAS2018-75,MSS2018-51 |
| Volume (vol) | vol.118 |
| Number (no) | CAS-295,MSS-296 |
| Page | pp.pp.121-126(CAS), pp.121-126(MSS), |
| #Pages | 6 |
| Date of Issue | 2018-11-05 (CAS, MSS) |