{"id":"https://openalex.org/W4378714487","doi":"https://doi.org/10.1109/access.2023.3281304","title":"Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation","display_name":"Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4378714487","doi":"https://doi.org/10.1109/access.2023.3281304"},"language":"en","primary_location":{"id":"doi:10.1109/access.2023.3281304","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1109/access.2023.3281304","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/10005208/10138387.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/10005208/10138387.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064268267","display_name":"Edyta Brzychczy","orcid":"https://orcid.org/0000-0002-0315-5636"},"institutions":[{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Edyta Brzychczy","raw_affiliation_strings":["Faculty of Mechanical Engineering and Robotics, AGH University of Science and Technology, Kraków, Poland"],"raw_orcid":"https://orcid.org/0000-0002-0315-5636","affiliations":[{"raw_affiliation_string":"Faculty of Mechanical Engineering and Robotics, AGH University of Science and Technology, Kraków, Poland","institution_ids":["https://openalex.org/I686019"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037638397","display_name":"Marcin Szpyrka","orcid":"https://orcid.org/0000-0003-4925-3271"},"institutions":[{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Marcin Szpyrka","raw_affiliation_strings":["Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland"],"raw_orcid":"https://orcid.org/0000-0003-4925-3271","affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland","institution_ids":["https://openalex.org/I686019"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015502881","display_name":"Jacek Korski","orcid":null},"institutions":[{"id":"https://openalex.org/I4210142926","display_name":"KOMAG Institute of Mining Technology","ror":"https://ror.org/0528q1h46","country_code":"PL","type":"other","lineage":["https://openalex.org/I4210142926"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Jacek Korski","raw_affiliation_strings":["ITG KOMAG Institute, Gliwice, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ITG KOMAG Institute, Gliwice, Poland","institution_ids":["https://openalex.org/I4210142926"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023890658","display_name":"Grzegorz J. Nalepa","orcid":"https://orcid.org/0000-0002-8182-4225"},"institutions":[{"id":"https://openalex.org/I126596746","display_name":"Jagiellonian University","ror":"https://ror.org/03bqmcz70","country_code":"PL","type":"education","lineage":["https://openalex.org/I126596746"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Grzegorz J. Nalepa","raw_affiliation_strings":["Faculty of Physics, Astronomy and Applied Computer Science, Institute of Applied Computer Science, Jagiellonian University, Kraków, Poland"],"raw_orcid":"https://orcid.org/0000-0002-8182-4225","affiliations":[{"raw_affiliation_string":"Faculty of Physics, Astronomy and Applied Computer Science, Institute of Applied Computer Science, Jagiellonian University, Kraków, Poland","institution_ids":["https://openalex.org/I126596746"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5064268267"],"corresponding_institution_ids":["https://openalex.org/I686019"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.8628,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.87057514,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"11","issue":null,"first_page":"54495","last_page":"54508"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9853000044822693,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.8720791935920715},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8482258915901184},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.79721599817276},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.6112294793128967},{"id":"https://openalex.org/keywords/process-mining","display_name":"Process mining","score":0.5988016724586487},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5563176870346069},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5494798421859741},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5357322692871094},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5322684049606323},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4834478795528412},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.4756336212158203},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3814670741558075},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3447215259075165},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3412454128265381},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.333451509475708},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.32038840651512146},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.3136172294616699},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.25153279304504395},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.15133556723594666},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09617754817008972}],"concepts":[{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.8720791935920715},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8482258915901184},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.79721599817276},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.6112294793128967},{"id":"https://openalex.org/C124670913","wikidata":"https://www.wikidata.org/wiki/Q2608526","display_name":"Process mining","level":5,"score":0.5988016724586487},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5563176870346069},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5494798421859741},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5357322692871094},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5322684049606323},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4834478795528412},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.4756336212158203},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3814670741558075},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3447215259075165},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3412454128265381},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.333451509475708},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.32038840651512146},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.3136172294616699},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.25153279304504395},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.15133556723594666},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09617754817008972},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2023.3281304","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1109/access.2023.3281304","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/10005208/10138387.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:04e826e732da4e5a8a6b771f7df1a68d","is_oa":true,"landing_page_url":"https://doaj.org/article/04e826e732da4e5a8a6b771f7df1a68d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 11, Pp 54495-54508 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2023.3281304","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1109/access.2023.3281304","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/10005208/10138387.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.5400000214576721,"id":"https://metadata.un.org/sdg/8"}],"awards":[{"id":"https://openalex.org/G5434899234","display_name":null,"funder_award_id":"NCN 2018/27/Z/ST6/03392","funder_id":"https://openalex.org/F4320338463","funder_display_name":"CHIST-ERA"}],"funders":[{"id":"https://openalex.org/F4320315427","display_name":"BioDelivery Sciences International","ror":"https://ror.org/0327gbb75"},{"id":"https://openalex.org/F4320322650","display_name":"Narodowym Centrum Nauki","ror":"https://ror.org/03ha2q922"},{"id":"https://openalex.org/F4320324664","display_name":"Akademia G\u00f3rniczo-Hutnicza im. Stanislawa Staszica","ror":"https://ror.org/00bas1c41"},{"id":"https://openalex.org/F4320338463","display_name":"CHIST-ERA","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4378714487.pdf","grobid_xml":"https://content.openalex.org/works/W4378714487.grobid-xml"},"referenced_works_count":56,"referenced_works":["https://openalex.org/W199647382","https://openalex.org/W333982422","https://openalex.org/W641711790","https://openalex.org/W1591360767","https://openalex.org/W1843425376","https://openalex.org/W1857461085","https://openalex.org/W1943545449","https://openalex.org/W1996109622","https://openalex.org/W2042759024","https://openalex.org/W2042780115","https://openalex.org/W2087103691","https://openalex.org/W2101107197","https://openalex.org/W2102899517","https://openalex.org/W2109282045","https://openalex.org/W2121676605","https://openalex.org/W2131284413","https://openalex.org/W2151737601","https://openalex.org/W2160967540","https://openalex.org/W2167405691","https://openalex.org/W2201855181","https://openalex.org/W2279954259","https://openalex.org/W2294807576","https://openalex.org/W2401203661","https://openalex.org/W2475631317","https://openalex.org/W2503470518","https://openalex.org/W2512367924","https://openalex.org/W2516268646","https://openalex.org/W2526184101","https://openalex.org/W2532982923","https://openalex.org/W2562661928","https://openalex.org/W2604313671","https://openalex.org/W2613141550","https://openalex.org/W2803103557","https://openalex.org/W2899237032","https://openalex.org/W2899840054","https://openalex.org/W2963107557","https://openalex.org/W2995593521","https://openalex.org/W3012172671","https://openalex.org/W3093514791","https://openalex.org/W3106595585","https://openalex.org/W3107763258","https://openalex.org/W3111942555","https://openalex.org/W3172942846","https://openalex.org/W3197547685","https://openalex.org/W4225999444","https://openalex.org/W4243932450","https://openalex.org/W4249484115","https://openalex.org/W4251712384","https://openalex.org/W6611329613","https://openalex.org/W6640538730","https://openalex.org/W6676324948","https://openalex.org/W6678496820","https://openalex.org/W6683626748","https://openalex.org/W6712683616","https://openalex.org/W6731115184","https://openalex.org/W6797375370"],"related_works":["https://openalex.org/W2965882148","https://openalex.org/W2989593792","https://openalex.org/W2118474418","https://openalex.org/W2947701849","https://openalex.org/W2157327038","https://openalex.org/W2214978413","https://openalex.org/W2147824728","https://openalex.org/W2896989384","https://openalex.org/W3202975295","https://openalex.org/W4396524754"],"abstract_inverted_index":{"Process":[0],"modeling":[1,19],"is":[2,79],"an":[3,57,67],"important":[4],"and":[5,11,26,72,111,123,139,148,159,162,183,214,231,240],"necessary":[6,279],"step":[7],"for":[8,119,291],"further":[9,181],"analysis":[10,68,110,182],"monitoring":[12],"of":[13,36,45,63,69,86,100,113,137,175,258,267],"industrial":[14,48,107],"processes.":[15],"In":[16,29,128],"the":[17,94,145,172,176,180,189,197,210,247,259,265,268,273,278,284],"process":[18,49,133,198],"two":[20,154],"main":[21,244],"paradigms":[22,39],"exist,":[23],"namely":[24],"imperative":[25,71,138],"declarative":[27,73,140,164,225,274],"ones.":[28],"our":[30,64,101],"work,":[31],"we":[32,130,142,187,201,222,251],"analyzed":[33],"information":[34,280],"potential":[35],"these":[37],"model":[38,199,226,275],"regarding":[40],"to":[41,75,171,179,227,237,281],"conformance":[42,184,228,248],"checking":[43,185,229,249],"task":[44,230],"real":[46,105,254],"life":[47,106],"\u2013":[50],"longwall":[51,269],"shearer":[52,270],"operation":[53,271],"carried":[54],"out":[55],"in":[56,167,246,264],"underground":[58],"coal":[59],"mine.":[60],"The":[61,97],"objective":[62],"work":[65,102],"was":[66],"selected":[70,144,188,203],"models":[74,165,208,261],"discover":[76],"which":[77],"approach":[78,118,213],"more":[80,289],"appropriate":[81,290],"from":[82],"a":[83],"practical":[84,292],"point":[85],"view,":[87],"taking":[88],"into":[89],"consideration":[90],"criteria":[91],"formulated":[92,238],"by":[93,193],"domain":[95],"expert.":[96],"first":[98],"novelty":[99],"rely":[103],"on":[104,218],"sensor":[108],"data":[109],"creation":[112],"event":[114,255],"log":[115],"with":[116,125,206,233],"heuristic":[117],"case":[120,266],"ID":[121],"identification":[122],"labeling":[124],"expert":[126],"rules.":[127],"parallel,":[129],"created":[131,153,192,219,260],"prescribed":[132],"models.":[134],"As":[135,243],"representatives":[136],"languages,":[141],"have":[143],"Petri":[146,155,190,204,234,285],"nets":[147,156],"Declare":[149,207],"models,":[150],"respectively.":[151],"We":[152],"(with":[157],"Inductive":[158],"Heuristic":[160,194],"Miner)":[161],"seven":[163],"differ":[166],"restriction":[168],"power.":[169],"Due":[170],"better":[173,276],"description":[174],"ideal":[177],"cycle,":[178],"task,":[186,250],"net":[191,205,235],"Miner.":[195],"After":[196],"creation,":[200],"compared":[202],"using":[209],"natural":[211],"language":[212],"constraints":[215],"hierarchy.":[216],"Based":[217],"similarity":[220],"measures,":[221],"choose":[223],"one":[224],"comparison":[232],"due":[236],"quantitative":[239],"qualitative":[241],"criteria.":[242],"artifact":[245],"used":[252],"obtained":[253],"log.":[256],"Evaluation":[257],"indicates":[262],"that":[263],"monitoring,":[272],"captures":[277],"decision-makers":[282],"than":[283],"net,":[286],"thus":[287],"being":[288],"use.":[293]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":4}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}