{"id":"https://openalex.org/W3130811356","doi":"https://doi.org/10.1515/comp-2020-0200","title":"Towards a Formal Specification of Production Processes Suitable for Automatic Execution","display_name":"Towards a Formal Specification of Production Processes Suitable for Automatic Execution","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3130811356","doi":"https://doi.org/10.1515/comp-2020-0200","mag":"3130811356"},"language":"en","primary_location":{"id":"doi:10.1515/comp-2020-0200","is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2020-0200","pdf_url":null,"source":{"id":"https://openalex.org/S4210177004","display_name":"Open Computer Science","issn_l":"2299-1093","issn":["2299-1093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Open Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1515/comp-2020-0200","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048155730","display_name":"Marko Vje\u0161tica","orcid":"https://orcid.org/0000-0003-2368-5818"},"institutions":[{"id":"https://openalex.org/I170726198","display_name":"University of Novi Sad","ror":"https://ror.org/00xa57a59","country_code":"RS","type":"education","lineage":["https://openalex.org/I170726198"]}],"countries":["RS"],"is_corresponding":false,"raw_author_name":"Marko Vje\u0161tica","raw_affiliation_strings":["University of Novi Sad , Faculty of Technical Sciences , Novi Sad , Serbia"],"affiliations":[{"raw_affiliation_string":"University of Novi Sad , Faculty of Technical Sciences , Novi Sad , Serbia","institution_ids":["https://openalex.org/I170726198"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014381403","display_name":"Vladimir Dimitrieski","orcid":"https://orcid.org/0000-0003-3234-6543"},"institutions":[{"id":"https://openalex.org/I170726198","display_name":"University of Novi Sad","ror":"https://ror.org/00xa57a59","country_code":"RS","type":"education","lineage":["https://openalex.org/I170726198"]}],"countries":["RS"],"is_corresponding":true,"raw_author_name":"Vladimir Dimitrieski","raw_affiliation_strings":["University of Novi Sad , Faculty of Technical Sciences , Novi Sad , Serbia"],"affiliations":[{"raw_affiliation_string":"University of Novi Sad , Faculty of Technical Sciences , Novi Sad , Serbia","institution_ids":["https://openalex.org/I170726198"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069709372","display_name":"Milan Pisari\u0107","orcid":"https://orcid.org/0000-0002-0764-4453"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Milan Pisari\u0107","raw_affiliation_strings":["Industrial Automation, KEBA AG Linz , Austria"],"affiliations":[{"raw_affiliation_string":"Industrial Automation, KEBA AG Linz , Austria","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072888576","display_name":"Slavica Kordi\u0107","orcid":"https://orcid.org/0000-0002-3992-0096"},"institutions":[{"id":"https://openalex.org/I170726198","display_name":"University of Novi Sad","ror":"https://ror.org/00xa57a59","country_code":"RS","type":"education","lineage":["https://openalex.org/I170726198"]}],"countries":["RS"],"is_corresponding":false,"raw_author_name":"Slavica Kordi\u0107","raw_affiliation_strings":["University of Novi Sad , Faculty of Technical Sciences , Novi Sad , Serbia"],"affiliations":[{"raw_affiliation_string":"University of Novi Sad , Faculty of Technical Sciences , Novi Sad , Serbia","institution_ids":["https://openalex.org/I170726198"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031516572","display_name":"Sonja Risti\u0107","orcid":"https://orcid.org/0000-0003-0059-6062"},"institutions":[{"id":"https://openalex.org/I170726198","display_name":"University of Novi Sad","ror":"https://ror.org/00xa57a59","country_code":"RS","type":"education","lineage":["https://openalex.org/I170726198"]}],"countries":["RS"],"is_corresponding":false,"raw_author_name":"Sonja Risti\u0107","raw_affiliation_strings":["University of Novi Sad , Faculty of Technical Sciences , Novi Sad , Serbia"],"affiliations":[{"raw_affiliation_string":"University of Novi Sad , Faculty of Technical Sciences , Novi Sad , Serbia","institution_ids":["https://openalex.org/I170726198"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070668584","display_name":"Ivan Lukovi\u0107","orcid":"https://orcid.org/0000-0003-1319-488X"},"institutions":[{"id":"https://openalex.org/I170726198","display_name":"University of Novi Sad","ror":"https://ror.org/00xa57a59","country_code":"RS","type":"education","lineage":["https://openalex.org/I170726198"]}],"countries":["RS"],"is_corresponding":false,"raw_author_name":"Ivan Lukovi\u0107","raw_affiliation_strings":["University of Novi Sad , Faculty of Technical Sciences , Novi Sad , Serbia"],"affiliations":[{"raw_affiliation_string":"University of Novi Sad , Faculty of Technical Sciences , Novi Sad , Serbia","institution_ids":["https://openalex.org/I170726198"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5014381403"],"corresponding_institution_ids":["https://openalex.org/I170726198"],"apc_list":{"value":1000,"currency":"EUR","value_usd":1078},"apc_paid":{"value":1000,"currency":"EUR","value_usd":1078},"fwci":1.5042,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.8461717,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"11","issue":"1","first_page":"161","last_page":"179"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10763","display_name":"Digital Transformation in Industry","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7938446998596191},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6315618753433228},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.6306502819061279},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5601931810379028},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5269292593002319},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.49403196573257446},{"id":"https://openalex.org/keywords/production","display_name":"Production (economics)","score":0.4604104459285736},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.4517107605934143},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4429633319377899},{"id":"https://openalex.org/keywords/industry-4.0","display_name":"Industry 4.0","score":0.43037155270576477},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.4246750473976135},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4246007204055786},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4197455048561096},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.38036665320396423},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.344393253326416},{"id":"https://openalex.org/keywords/manufacturing-engineering","display_name":"Manufacturing engineering","score":0.34378954768180847},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2948901653289795},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.22666707634925842},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.20357918739318848},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12007555365562439},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11293545365333557},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.10994797945022583}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7938446998596191},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6315618753433228},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.6306502819061279},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5601931810379028},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5269292593002319},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.49403196573257446},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.4604104459285736},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.4517107605934143},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4429633319377899},{"id":"https://openalex.org/C2777986313","wikidata":"https://www.wikidata.org/wiki/Q1661989","display_name":"Industry 4.0","level":2,"score":0.43037155270576477},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.4246750473976135},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4246007204055786},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4197455048561096},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.38036665320396423},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.344393253326416},{"id":"https://openalex.org/C117671659","wikidata":"https://www.wikidata.org/wiki/Q11049265","display_name":"Manufacturing engineering","level":1,"score":0.34378954768180847},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2948901653289795},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.22666707634925842},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.20357918739318848},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12007555365562439},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11293545365333557},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.10994797945022583},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1515/comp-2020-0200","is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2020-0200","pdf_url":null,"source":{"id":"https://openalex.org/S4210177004","display_name":"Open Computer Science","issn_l":"2299-1093","issn":["2299-1093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Open Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:rfos.fon.bg.ac.rs:123456789/2194","is_oa":true,"landing_page_url":"https://rfos.fon.bg.ac.rs/handle/123456789/2194","pdf_url":"https://rfos.fon.bg.ac.rs/bitstream/123456789/2194/1/2190.pdf","source":{"id":"https://openalex.org/S4210177004","display_name":"Open Computer Science","issn_l":"2299-1093","issn":["2299-1093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Open Computer Science","raw_type":"article"},{"id":"pmh:oai:doaj.org/article:03e2193fb1464bf2ad871836b3f7f916","is_oa":true,"landing_page_url":"https://doaj.org/article/03e2193fb1464bf2ad871836b3f7f916","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Open Computer Science, Vol 11, Iss 1, Pp 161-179 (2021)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1515/comp-2020-0200","is_oa":true,"landing_page_url":"https://doi.org/10.1515/comp-2020-0200","pdf_url":null,"source":{"id":"https://openalex.org/S4210177004","display_name":"Open Computer Science","issn_l":"2299-1093","issn":["2299-1093"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313990","host_organization_name":"De Gruyter","host_organization_lineage":["https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Open Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W1559012732","https://openalex.org/W1560042744","https://openalex.org/W1597576211","https://openalex.org/W1602301441","https://openalex.org/W1761827578","https://openalex.org/W1969585695","https://openalex.org/W1976175217","https://openalex.org/W1984106787","https://openalex.org/W2013680330","https://openalex.org/W2014596857","https://openalex.org/W2023877257","https://openalex.org/W2035922091","https://openalex.org/W2066322140","https://openalex.org/W2067851275","https://openalex.org/W2155028447","https://openalex.org/W2160227992","https://openalex.org/W2165887572","https://openalex.org/W2253828178","https://openalex.org/W2303531378","https://openalex.org/W2396539749","https://openalex.org/W2464400784","https://openalex.org/W2509381074","https://openalex.org/W2532281363","https://openalex.org/W2538102286","https://openalex.org/W2554758003","https://openalex.org/W2554778863","https://openalex.org/W2570084631","https://openalex.org/W2584792247","https://openalex.org/W2606213502","https://openalex.org/W2735398435","https://openalex.org/W2746518050","https://openalex.org/W2754450961","https://openalex.org/W2767346351","https://openalex.org/W2772562321","https://openalex.org/W2788763050","https://openalex.org/W2789444712","https://openalex.org/W2791987562","https://openalex.org/W2888148872","https://openalex.org/W2906613229","https://openalex.org/W2960995627","https://openalex.org/W2965255719","https://openalex.org/W2974647048","https://openalex.org/W2981159538","https://openalex.org/W3011544819","https://openalex.org/W3036124095","https://openalex.org/W3087663702","https://openalex.org/W4236269380"],"related_works":["https://openalex.org/W2794657471","https://openalex.org/W1970499202","https://openalex.org/W818898529","https://openalex.org/W2252092255","https://openalex.org/W2575875398","https://openalex.org/W2396093860","https://openalex.org/W1759095019","https://openalex.org/W1963927741","https://openalex.org/W2143986775","https://openalex.org/W4245356976"],"abstract_inverted_index":{"Abstract":[0],"Technological":[1],"advances":[2],"and":[3,30,67,93,163,166,203],"increasing":[4],"customer":[5],"need":[6],"for":[7,90,120,188],"highly":[8],"customized":[9],"products":[10],"have":[11],"triggered":[12],"a":[13,76,87,129,136,142,168],"fourth":[14],"industrial":[15],"revolution.":[16],"A":[17,176],"digital":[18,45],"revolution":[19,46],"in":[20,63],"the":[21,41,44,61,98,173,194],"manufacturing":[22,36,134],"industry":[23],"is":[24,47,83,191],"enforced":[25],"by":[26,54],"introducing":[27],"smart":[28,52,101,161],"devices":[29,162],"knowledge":[31],"bases":[32],"to":[33,48,72,79,96,111,148,157,160],"form":[34],"intelligent":[35],"information":[37],"systems.":[38],"One":[39],"of":[40,43,51,180,196],"goals":[42],"allow":[49],"flexibility":[50],"factories":[53],"automating":[55],"shop":[56],"floor":[57],"changes":[58,62],"based":[59],"on":[60,100,131],"input":[64],"production":[65,81,113,150],"processes":[66,82],"ordered":[68],"products.":[69],"In":[70,124],"order":[71],"make":[73],"this":[74,125],"possible,":[75],"formal":[77],"language":[78],"describe":[80],"needed,":[84],"together":[85],"with":[86,193],"code":[88,99,122],"generator":[89],"its":[91],"models":[92,117,153],"an":[94],"engine":[95],"execute":[97],"devices.":[102],"Existing":[103],"process":[104,174,189],"modeling":[105,182,190,199],"languages":[106,183],"are":[107,118,185],"not":[108],"usually":[109],"tailored":[110],"model":[112,149],"processes,":[114],"especially":[115],"if":[116],"needed":[119],"automatic":[121],"generation.":[123],"paper":[126],"we":[127],"propose":[128],"research":[130],"Industry":[132],"4.0":[133],"using":[135],"Domain-Specific":[137],"Modeling":[138],"Language":[139],"(DSML)":[140],"within":[141],"Model-Driven":[143],"Software":[144],"Development":[145],"(MDSD)":[146],"approach":[147],"processes.":[151],"The":[152],"would":[154],"be":[155],"used":[156,187],"generate":[158],"instructions":[159],"human":[164],"workers,":[165],"gather":[167],"feedback":[169],"from":[170],"them":[171],"during":[172],"execution.":[175],"pilot":[177],"comparative":[178],"analysis":[179],"three":[181],"that":[184],"commonly":[186],"given":[192],"goal":[195],"identifying":[197],"supported":[198],"concepts,":[200],"good":[201],"practices":[202],"usage":[204],"patterns.":[205]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2021-03-01T00:00:00"}