{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T02:29:18Z","timestamp":1747189758025,"version":"3.40.5"},"reference-count":19,"publisher":"World Scientific Pub Co Pte Ltd","issue":"06n07","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2022,9]]},"abstract":"<jats:p> Among all the reactive synthesis methods, the results of the structural synthesis have the best interpretability and traceability. However, existing structural synthesis method cannot deal with real-time specifications and specifications with circular dependencies. A structural synthesis method for Programmable Logic Controller programs is proposed. First, a real-time specification pattern language, RTSPS4Syn, is proposed. Under the condition that there is no circular dependency between the specification items, the implementations of a specification item are assembled structurally from the implementation of its scope and property expression; and the programs for the specification items are concatenated according to the order of priority and dependency to obtain the synthesized program. This paper presents a method to eliminate the circular dependence of specifications, such that the synthesis approach can be applied to specifications with circular dependency. Furthermore, this paper presents an approach for setting the preset values of timers when considering tolerance on the duration of the delay. The synthesis method does not need to check the conflict and determine the nondeterministic part of the specifications. These problems are solved in existing research by constraint solving in PSPACE. <\/jats:p>","DOI":"10.1142\/s0129054122420217","type":"journal-article","created":{"date-parts":[[2022,8,31]],"date-time":"2022-08-31T15:10:50Z","timestamp":1661958650000},"page":"903-929","source":"Crossref","is-referenced-by-count":0,"title":["Structural Synthesis of PLC Program for Real-Time Specification Patterns"],"prefix":"10.1142","volume":"33","author":[{"given":"Kai","family":"Xie","sequence":"first","affiliation":[{"name":"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"}]},{"given":"Zijian","family":"Wei","sequence":"additional","affiliation":[{"name":"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"}]},{"given":"Kang","family":"Yin","sequence":"additional","affiliation":[{"name":"Beijing Electric Power Company of National Grid, Beijing 100031, P. R. China"}]},{"given":"Songsong","family":"Li","sequence":"additional","affiliation":[{"name":"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"}]},{"given":"Xinyan","family":"Yao","sequence":"additional","affiliation":[{"name":"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"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1177-6907","authenticated-orcid":false,"given":"Xiaoyu","family":"Zhou","sequence":"additional","affiliation":[{"name":"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"}]}],"member":"219","published-online":{"date-parts":[[2022,8,31]]},"reference":[{"key":"S0129054122420217BIB001","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2398877"},{"journal-title":"REFSQ Workshops","year":"2021","author":"Becker S.","key":"S0129054122420217BIB002"},{"key":"S0129054122420217BIB003","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_45"},{"key":"S0129054122420217BIB004","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS2018.2018.00027"},{"key":"S0129054122420217BIB005","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_6"},{"key":"S0129054122420217BIB006","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_23"},{"key":"S0129054122420217BIB007","doi-asserted-by":"publisher","DOI":"10.1145\/192218.192226"},{"key":"S0129054122420217BIB008","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"key":"S0129054122420217BIB009","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"S0129054122420217BIB010","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_26"},{"key":"S0129054122420217BIB011","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2021.106590"},{"key":"S0129054122420217BIB013","first-page":"372","volume-title":"Proc. 27th Int. Conf. Software Engineering","author":"Konrad S.","year":"2005"},{"key":"S0129054122420217BIB015","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"S0129054122420217BIB016","first-page":"566","author":"L\u00facio L.","year":"2017","journal-title":"Models (Satellite Events)"},{"key":"S0129054122420217BIB017","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_21"},{"key":"S0129054122420217BIB018","first-page":"364","volume-title":"Int. Workshop on Verification, Model Checking, and Abstract Interpretation","author":"Piterman N.","year":"2006"},{"key":"S0129054122420217BIB019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19858-8_17"},{"key":"S0129054122420217BIB020","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"S0129054122420217BIB021","doi-asserted-by":"publisher","DOI":"10.1007\/BF02302381"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054122420217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T06:01:10Z","timestamp":1666159270000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0129054122420217"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,31]]},"references-count":19,"journal-issue":{"issue":"06n07","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["10.1142\/S0129054122420217"],"URL":"https:\/\/doi.org\/10.1142\/s0129054122420217","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"type":"print","value":"0129-0541"},{"type":"electronic","value":"1793-6373"}],"subject":[],"published":{"date-parts":[[2022,8,31]]}}}