{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T16:04:06Z","timestamp":1648915446818},"reference-count":10,"publisher":"World Scientific Pub Co Pte Lt","issue":"07","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2012,11]]},"abstract":"<jats:p> The scenario-based specifications are popularly used to capture user requirements. The state-based specifications are very appropriate to capture system design. Recently, there has been increased research interest in connecting these two kinds of specifications, called synthesis. Synthesis is a way to automatically construct the state-based specifications from the scenario-based specifications. There are two kinds of synthesis methods: global synthesis and local synthesis. Global synthesis means constructing a state-based specification for the whole system from the scenario-based specifications, while local synthesis means constructing a state-based specification for each object in the system. The two different synthesis methods have different uses and need to be systematically compared. The contributions of this paper are twofold. Firstly, we propose an improved method supporting the global and the local synthesis of state machines (a kind of state-based specifications) by using a novel algorithm for state machine execution and an algorithm similar to operator priority analysis method, which can fully automate the process of synthesis. Our synthesis method also satisfies two important properties: completeness and soundness. Secondly, to the best of our knowledge, our work does the first attempt to systematically compare global synthesis with local synthesis, and shows some insightful results of the experimental comparison between the two kinds of synthesis methods, which are valuable for the practitioners to choose an appropriate synthesis method for the analysis and verification of the system. <\/jats:p>","DOI":"10.1142\/s0218194012500234","type":"journal-article","created":{"date-parts":[[2013,3,5]],"date-time":"2013-03-05T22:36:16Z","timestamp":1362522976000},"page":"867-890","source":"Crossref","is-referenced-by-count":0,"title":["COMPARING AND IMPROVING THE SYNTHESIS OF STATE-BASED SPECIFICATIONS FROM SCENARIO-BASED SPECIFICATIONS"],"prefix":"10.1142","volume":"22","author":[{"given":"ZHIJIAN","family":"WANG","sequence":"first","affiliation":[{"name":"College of Computer and Information Engineering, Hohai University, Nanjing, Jiangsu 210098, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"WENRUI","family":"LI","sequence":"additional","affiliation":[{"name":"College of Computer and Information Engineering, Hohai University, Nanjing, Jiangsu 210098, P. R. China"},{"name":"School of Mathematics &amp; Information Technology, Nanjing Xiaozhuang University, Nanjing, Jiangsu 211171, P. R. China"},{"name":"State Key Laboratory of Software Engineering, Wuhan University, Wuhan, Hubei 430072, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PENGCHENG","family":"ZHANG","sequence":"additional","affiliation":[{"name":"College of Computer and Information Engineering, Hohai University, Nanjing, Jiangsu 210098, P. R. China"},{"name":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, Jiangsu 210093, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2013,3,5]]},"reference":[{"key":"rf1","volume-title":"Principles of Compiler Design","author":"Aho A.","year":"1977"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.137"},{"key":"rf5","volume-title":"Model Checking","author":"Clarke E.","year":"2000"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054102000935"},{"key":"rf15","volume-title":"An Introduce to Formal Languages and Automata","author":"Linz P.","year":"2001"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.55"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1145\/1005561.1005563"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194012500234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T17:03:26Z","timestamp":1565111006000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194012500234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":10,"journal-issue":{"issue":"07","published-online":{"date-parts":[[2013,3,5]]},"published-print":{"date-parts":[[2012,11]]}},"alternative-id":["10.1142\/S0218194012500234"],"URL":"https:\/\/doi.org\/10.1142\/s0218194012500234","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11]]}}}