{"id":"https://openalex.org/W4293801732","doi":"https://doi.org/10.1142/s0129054122420217","title":"Structural Synthesis of PLC Program for Real-Time Specification Patterns","display_name":"Structural Synthesis of PLC Program for Real-Time Specification Patterns","publication_year":2022,"publication_date":"2022-08-31","ids":{"openalex":"https://openalex.org/W4293801732","doi":"https://doi.org/10.1142/s0129054122420217"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054122420217","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054122420217","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","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/A5107809058","display_name":"Kai Xie","orcid":"https://orcid.org/0009-0003-3580-1588"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Kai Xie","raw_affiliation_strings":["School of Computer Science and Engineering, Southeast University, Key Laboratory of Computer Network and Information Integration, Southeast University, Institute of NR Electric Co., Ltd., Nanjing 211102, P. R. China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Southeast University, Key Laboratory of Computer Network and Information Integration, Southeast University, Institute of NR Electric Co., Ltd., Nanjing 211102, P. R. China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066054381","display_name":"Zijian Wei","orcid":"https://orcid.org/0000-0003-2073-4338"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zijian Wei","raw_affiliation_strings":["School of Computer Science and Engineering, Southeast University, Key Laboratory of Computer Network and Information Integration, Southeast University, Institute of NR Electric Co., Ltd., Nanjing 211102, P. R. China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Southeast University, Key Laboratory of Computer Network and Information Integration, Southeast University, Institute of NR Electric Co., Ltd., Nanjing 211102, P. R. China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065696858","display_name":"Kang Yin","orcid":null},"institutions":[{"id":"https://openalex.org/I17442442","display_name":"State Grid Corporation of China (China)","ror":"https://ror.org/05twwhs70","country_code":"CN","type":"company","lineage":["https://openalex.org/I17442442"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kang Yin","raw_affiliation_strings":["Beijing Electric Power Company of National Grid, Beijing 100031, P. R. China"],"affiliations":[{"raw_affiliation_string":"Beijing Electric Power Company of National Grid, Beijing 100031, P. R. China","institution_ids":["https://openalex.org/I17442442"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103924823","display_name":"Songsong Li","orcid":"https://orcid.org/0000-0003-1690-8016"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Songsong Li","raw_affiliation_strings":["School of Computer Science and Engineering, Southeast University, Key Laboratory of Computer Network and Information Integration, Southeast University, Institute of NR Electric Co., Ltd., Nanjing 211102, P. R. China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Southeast University, Key Laboratory of Computer Network and Information Integration, Southeast University, Institute of NR Electric Co., Ltd., Nanjing 211102, P. R. China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062938829","display_name":"Xinyan Yao","orcid":"https://orcid.org/0000-0001-9521-1975"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinyan Yao","raw_affiliation_strings":["School of Computer Science and Engineering, Southeast University, Key Laboratory of Computer Network and Information Integration, Southeast University, Institute of NR Electric Co., Ltd., Nanjing 211102, P. R. China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Southeast University, Key Laboratory of Computer Network and Information Integration, Southeast University, Institute of NR Electric Co., Ltd., Nanjing 211102, P. R. China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102765948","display_name":"Xiaoyu Zhou","orcid":"https://orcid.org/0000-0003-1177-6907"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoyu Zhou","raw_affiliation_strings":["School of Computer Science and Engineering, Southeast University, Key Laboratory of Computer Network and Information Integration, Southeast University, Institute of NR Electric Co., Ltd., Nanjing 211102, P. R. China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Southeast University, Key Laboratory of Computer Network and Information Integration, Southeast University, Institute of NR Electric Co., Ltd., Nanjing 211102, P. R. China","institution_ids":["https://openalex.org/I76569877"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5107809058"],"corresponding_institution_ids":["https://openalex.org/I76569877"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12174602,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"33","issue":"06n07","first_page":"903","last_page":"929"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7952372431755066},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7038294076919556},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.6614924669265747},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.6456105709075928},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.49157342314720154},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.48347026109695435},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4665023684501648},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.4562699496746063},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.45216596126556396},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3303368091583252},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.15539062023162842},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.08780011534690857}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7952372431755066},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7038294076919556},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.6614924669265747},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.6456105709075928},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.49157342314720154},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.48347026109695435},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4665023684501648},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.4562699496746063},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.45216596126556396},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3303368091583252},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.15539062023162842},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.08780011534690857},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054122420217","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054122420217","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4300000071525574,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W143039783","https://openalex.org/W1491420805","https://openalex.org/W1838714828","https://openalex.org/W1984936841","https://openalex.org/W1996832037","https://openalex.org/W2018118431","https://openalex.org/W2033014924","https://openalex.org/W2091158003","https://openalex.org/W2347006063","https://openalex.org/W2602689413","https://openalex.org/W2883588720","https://openalex.org/W2907196303","https://openalex.org/W3104168345","https://openalex.org/W3153343958","https://openalex.org/W3188974984","https://openalex.org/W4226323185"],"related_works":["https://openalex.org/W2122686335","https://openalex.org/W1984757784","https://openalex.org/W590567868","https://openalex.org/W1524314369","https://openalex.org/W2151500255","https://openalex.org/W121407611","https://openalex.org/W4317472576","https://openalex.org/W2101432564","https://openalex.org/W1606762842","https://openalex.org/W4293801732"],"abstract_inverted_index":{"Among":[0],"all":[1],"the":[2,6,9,13,54,63,66,76,85,88,95,103,113,120,139,148,151,161,165,169],"reactive":[3],"synthesis":[4,11,21,35,121,154],"methods,":[5],"results":[7],"of":[8,68,78,97,116,142,150,168],"structural":[10,20,34],"have":[12],"best":[14],"interpretability":[15],"and":[16,28,81,84,99,163],"traceability.":[17],"However,":[18],"existing":[19,176],"method":[22,36,110,155],"cannot":[23],"deal":[24],"with":[25,30,128],"real-time":[26,46],"specifications":[27,29,127],"circular":[31,60,114,129],"dependencies.":[32],"A":[33],"for":[37,87,137],"Programmable":[38],"Logic":[39],"Controller":[40],"programs":[41,86],"is":[42,51,58],"proposed.":[43,52],"First,":[44],"a":[45,69,109],"specification":[47,64,70,89],"pattern":[48],"language,":[49],"RTSPS4Syn,":[50],"Under":[53],"condition":[55],"that":[56,119],"there":[57],"no":[59],"dependency":[61,100],"between":[62],"items,":[65],"implementations":[67],"item":[71],"are":[72,91,173],"assembled":[73],"structurally":[74],"from":[75],"implementation":[77],"its":[79],"scope":[80],"property":[82],"expression;":[83],"items":[90],"concatenated":[92],"according":[93],"to":[94,101,111,126,159],"order":[96],"priority":[98],"obtain":[102],"synthesized":[104],"program.":[105],"This":[106],"paper":[107,133],"presents":[108,134],"eliminate":[112],"dependence":[115],"specifications,":[117],"such":[118],"approach":[122,136],"can":[123],"be":[124],"applied":[125],"dependency.":[130],"Furthermore,":[131],"this":[132],"an":[135],"setting":[138],"preset":[140],"values":[141],"timers":[143],"when":[144],"considering":[145],"tolerance":[146],"on":[147],"duration":[149],"delay.":[152],"The":[153],"does":[156],"not":[157],"need":[158],"check":[160],"conflict":[162],"determine":[164],"nondeterministic":[166],"part":[167],"specifications.":[170],"These":[171],"problems":[172],"solved":[174],"in":[175,181],"research":[177],"by":[178],"constraint":[179],"solving":[180],"PSPACE.":[182]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-08-31T00:00:00"}