Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation
Process modeling is an important and necessary step for further analysis and monitoring of industrial processes. In the process modeling two main paradigms exist, namely imperative and declarative ones. In our work, we analyzed information potential of these model paradigms regarding to conformance...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2023-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10138387/ |
| _version_ | 1797808449831043072 |
|---|---|
| author | Edyta Brzychczy Marcin Szpyrka Jacek Korski Grzegorz J. Nalepa |
| author_facet | Edyta Brzychczy Marcin Szpyrka Jacek Korski Grzegorz J. Nalepa |
| author_sort | Edyta Brzychczy |
| collection | DOAJ |
| description | Process modeling is an important and necessary step for further analysis and monitoring of industrial processes. In the process modeling two main paradigms exist, namely imperative and declarative ones. In our work, we analyzed information potential of these model paradigms regarding to conformance checking task of real life industrial process – longwall shearer operation carried out in an underground coal mine. The objective of our work was an analysis of selected imperative and declarative models to discover which approach is more appropriate from a practical point of view, taking into consideration criteria formulated by the domain expert. The first novelty of our work rely on real life industrial sensor data analysis and creation of event log with heuristic approach for case ID identification and labeling with expert rules. In parallel, we created prescribed process models. As representatives of imperative and declarative languages, we have selected the Petri nets and Declare models, respectively. We created two Petri nets (with Inductive and Heuristic Miner) and seven declarative models differ in restriction power. Due to the better description of the ideal cycle, to the further analysis and conformance checking task, we selected the Petri net created by Heuristic Miner. After the process model creation, we compared selected Petri net with Declare models using the natural language approach and constraints hierarchy. Based on created similarity measures, we choose one declarative model to conformance checking task and comparison with Petri net due to formulated quantitative and qualitative criteria. As main artifact in the conformance checking task, we used obtained real event log. Evaluation of the created models indicates that in the case of the longwall shearer operation monitoring, the declarative model better captures the necessary information to decision-makers than the Petri net, thus being more appropriate for practical use. |
| first_indexed | 2024-03-13T06:37:41Z |
| format | Article |
| id | doaj.art-04e826e732da4e5a8a6b771f7df1a68d |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-03-13T06:37:41Z |
| publishDate | 2023-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-04e826e732da4e5a8a6b771f7df1a68d2023-06-08T23:01:12ZengIEEEIEEE Access2169-35362023-01-0111544955450810.1109/ACCESS.2023.328130410138387Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer OperationEdyta Brzychczy0https://orcid.org/0000-0002-0315-5636Marcin Szpyrka1https://orcid.org/0000-0003-4925-3271Jacek Korski2Grzegorz J. Nalepa3https://orcid.org/0000-0002-8182-4225Faculty of Mechanical Engineering and Robotics, AGH University of Science and Technology, Kraków, PolandFaculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, PolandITG KOMAG Institute, Gliwice, PolandFaculty of Physics, Astronomy and Applied Computer Science, Institute of Applied Computer Science, Jagiellonian University, Kraków, PolandProcess modeling is an important and necessary step for further analysis and monitoring of industrial processes. In the process modeling two main paradigms exist, namely imperative and declarative ones. In our work, we analyzed information potential of these model paradigms regarding to conformance checking task of real life industrial process – longwall shearer operation carried out in an underground coal mine. The objective of our work was an analysis of selected imperative and declarative models to discover which approach is more appropriate from a practical point of view, taking into consideration criteria formulated by the domain expert. The first novelty of our work rely on real life industrial sensor data analysis and creation of event log with heuristic approach for case ID identification and labeling with expert rules. In parallel, we created prescribed process models. As representatives of imperative and declarative languages, we have selected the Petri nets and Declare models, respectively. We created two Petri nets (with Inductive and Heuristic Miner) and seven declarative models differ in restriction power. Due to the better description of the ideal cycle, to the further analysis and conformance checking task, we selected the Petri net created by Heuristic Miner. After the process model creation, we compared selected Petri net with Declare models using the natural language approach and constraints hierarchy. Based on created similarity measures, we choose one declarative model to conformance checking task and comparison with Petri net due to formulated quantitative and qualitative criteria. As main artifact in the conformance checking task, we used obtained real event log. Evaluation of the created models indicates that in the case of the longwall shearer operation monitoring, the declarative model better captures the necessary information to decision-makers than the Petri net, thus being more appropriate for practical use.https://ieeexplore.ieee.org/document/10138387/Process modelingpetri netWF-netsdeclare modelsensor datashearer |
| spellingShingle | Edyta Brzychczy Marcin Szpyrka Jacek Korski Grzegorz J. Nalepa Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation IEEE Access Process modeling petri net WF-nets declare model sensor data shearer |
| title | Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation |
| title_full | Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation |
| title_fullStr | Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation |
| title_full_unstemmed | Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation |
| title_short | Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation |
| title_sort | imperative vs declarative modeling of industrial process the case study of the longwall shearer operation |
| topic | Process modeling petri net WF-nets declare model sensor data shearer |
| url | https://ieeexplore.ieee.org/document/10138387/ |
| work_keys_str_mv | AT edytabrzychczy imperativevsdeclarativemodelingofindustrialprocessthecasestudyofthelongwallsheareroperation AT marcinszpyrka imperativevsdeclarativemodelingofindustrialprocessthecasestudyofthelongwallsheareroperation AT jacekkorski imperativevsdeclarativemodelingofindustrialprocessthecasestudyofthelongwallsheareroperation AT grzegorzjnalepa imperativevsdeclarativemodelingofindustrialprocessthecasestudyofthelongwallsheareroperation |