{"id":"https://openalex.org/W4323655212","doi":"https://doi.org/10.1515/auto-2022-0103","title":"Enhancements in formal process description by using a formal method","display_name":"Enhancements in formal process description by using a formal method","publication_year":2023,"publication_date":"2023-03-01","ids":{"openalex":"https://openalex.org/W4323655212","doi":"https://doi.org/10.1515/auto-2022-0103"},"language":"en","primary_location":{"id":"doi:10.1515/auto-2022-0103","is_oa":false,"landing_page_url":"https://doi.org/10.1515/auto-2022-0103","pdf_url":null,"source":{"id":"https://openalex.org/S4210170077","display_name":"at - Automatisierungstechnik","issn_l":"0178-2312","issn":["0178-2312","2196-677X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319967","host_organization_name":"R. Oldenbourg Verlag","host_organization_lineage":["https://openalex.org/P4310319967"],"host_organization_lineage_names":["R. Oldenbourg Verlag"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"at - Automatisierungstechnik","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008613558","display_name":"Cheng Xin","orcid":"https://orcid.org/0000-0001-8007-1148"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Cheng Xin","raw_affiliation_strings":["Faculty of Electrical Engineering and Information Technology , Otto-von-Guericke-Universit\u00e4t , Magdeburg , Germany"],"raw_orcid":"https://orcid.org/0000-0001-8007-1148","affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Information Technology , Otto-von-Guericke-Universit\u00e4t , Magdeburg , Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063746273","display_name":"Lukas Grunau","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139457","display_name":"Institut f\u00fcr Automation und Kommunikation","ror":"https://ror.org/04a46sy91","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210139457"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lukas Grunau","raw_affiliation_strings":["IKT & Automation, ifak Institut f\u00fcr Automation und Kommunikation , Magdeburg , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IKT & Automation, ifak Institut f\u00fcr Automation und Kommunikation , Magdeburg , Germany","institution_ids":["https://openalex.org/I4210139457"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077333708","display_name":"Mario Thron","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139457","display_name":"Institut f\u00fcr Automation und Kommunikation","ror":"https://ror.org/04a46sy91","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210139457"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mario Thron","raw_affiliation_strings":["IKT & Automation, ifak Institut f\u00fcr Automation und Kommunikation , Magdeburg , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IKT & Automation, ifak Institut f\u00fcr Automation und Kommunikation , Magdeburg , Germany","institution_ids":["https://openalex.org/I4210139457"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109535375","display_name":"Matthias Riedl","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139457","display_name":"Institut f\u00fcr Automation und Kommunikation","ror":"https://ror.org/04a46sy91","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210139457"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Riedl","raw_affiliation_strings":["IKT & Automation, ifak Institut f\u00fcr Automation und Kommunikation , Magdeburg , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IKT & Automation, ifak Institut f\u00fcr Automation und Kommunikation , Magdeburg , Germany","institution_ids":["https://openalex.org/I4210139457"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5008613558"],"corresponding_institution_ids":["https://openalex.org/I95793202"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02771305,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"71","issue":"3","first_page":"198","last_page":"208"},"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.9987999796867371,"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.9987999796867371,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9969000220298767,"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.9962000250816345,"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.7254101037979126},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6294056177139282},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5576194524765015},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5177892446517944},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46292802691459656},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4461963474750519},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4257190227508545},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.417429655790329},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.41196587681770325},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3629802465438843},{"id":"https://openalex.org/keywords/engineering-drawing","display_name":"Engineering drawing","score":0.320698082447052},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1487240195274353}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7254101037979126},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6294056177139282},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5576194524765015},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5177892446517944},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46292802691459656},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4461963474750519},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4257190227508545},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.417429655790329},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.41196587681770325},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3629802465438843},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.320698082447052},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1487240195274353}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1515/auto-2022-0103","is_oa":false,"landing_page_url":"https://doi.org/10.1515/auto-2022-0103","pdf_url":null,"source":{"id":"https://openalex.org/S4210170077","display_name":"at - Automatisierungstechnik","issn_l":"0178-2312","issn":["0178-2312","2196-677X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319967","host_organization_name":"R. Oldenbourg Verlag","host_organization_lineage":["https://openalex.org/P4310319967"],"host_organization_lineage_names":["R. Oldenbourg Verlag"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"at - Automatisierungstechnik","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W40406893","https://openalex.org/W108052406","https://openalex.org/W788282508","https://openalex.org/W1480909796","https://openalex.org/W1481397690","https://openalex.org/W1970200230","https://openalex.org/W1995008247","https://openalex.org/W2013185675","https://openalex.org/W2013263819","https://openalex.org/W2068034238","https://openalex.org/W2097864578","https://openalex.org/W2103237429","https://openalex.org/W2150773189","https://openalex.org/W2150998213","https://openalex.org/W2524426618","https://openalex.org/W2895331218","https://openalex.org/W3014557069","https://openalex.org/W3042771292","https://openalex.org/W4388435419"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412","https://openalex.org/W2049993111","https://openalex.org/W1536552036"],"abstract_inverted_index":{"Abstract":[0],"To":[1,34],"facilitate":[2],"the":[3,8,22,29,44,50,57,72,76,88,107,111,117,123,130],"planning":[4],"of":[5,24,43,75,87,101,119,132],"product":[6],"processes,":[7],"Formalized":[9],"Process":[10],"Description":[11],"(FPD)":[12],"model":[13,31,60,78,91,126],"was":[14],"proposed.":[15],"It":[16],"enables":[17],"users":[18],"to":[19,67,105],"graphically":[20],"describe":[21],"requirements":[23,120],"a":[25,84,99],"production":[26],"process.":[27],"However,":[28],"FPD":[30,45,52,59,77,90,113,125],"has":[32],"limits.":[33],"overcome":[35],"these":[36],"limits,":[37],"this":[38,82,97],"paper":[39],"describes":[40],"an":[41],"extension":[42],"model,":[46],"which":[47],"is":[48,79,92,103],"called":[49],"Extended":[51,58,89,112,124],"model.":[53,114],"The":[54],"objects":[55],"in":[56,110],"are":[61],"assigned":[62],"types":[63],"and":[64],"logical":[65],"statements":[66],"represent":[68],"their":[69],"specifications.":[70],"Hence,":[71],"expressive":[73],"power":[74],"enhanced.":[80],"In":[81,115],"paper,":[83],"formal":[85,134],"definition":[86],"also":[93,128],"presented.":[94],"Based":[95],"on":[96],"definition,":[98],"set":[100],"rules":[102],"defined":[104],"detect":[106],"contradictions":[108],"automatically":[109],"addition,":[116],"description":[118],"by":[121],"using":[122],"can":[127],"enable":[129],"integration":[131],"more":[133],"verification":[135],"methods.":[136]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}