{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T06:41:02Z","timestamp":1698043262667},"reference-count":8,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":6288,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp; Computers in Japan"],"published-print":{"date-parts":[[1990,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A software environment for interactively synthesizing communication protocols without logical errors has been developed. It contains a synthesis algorithm which eliminates the logical errors, and a human interface which has a multiwindow environment, a graphical interface, colors and texts utilities. Moreover, it not only expresses the synthesized protocol as labeled directed graphs, but also provides advices on how to give the input for the protocol designer by using the colors and the texts utilities. Consequently, the protocol design has been facilitated. As an example, a call\u2010establish phase of X.25 has been synthesized by using the software environment.<\/jats:p>","DOI":"10.1002\/scj.4690210104","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T18:36:48Z","timestamp":1183833408000},"page":"34-49","source":"Crossref","is-referenced-by-count":0,"title":["Construction of a protocol synthesis environment and its implementation"],"prefix":"10.1002","volume":"21","author":[{"family":"Norio","sequence":"first","affiliation":[]},{"family":"Yao\u2010Xue Zhang,","sequence":"additional","affiliation":[]},{"family":"Kaoru","sequence":"additional","affiliation":[]},{"given":"Shoichi","family":"Noguchi","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.4659"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094687"},{"key":"e_1_2_1_4_2","first-page":"283","volume-title":"Protocol Specification, Testing, and Verification","author":"Sidhu D. P.","year":"1982"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.4653"},{"issue":"3","key":"e_1_2_1_7_2","first-page":"446","article-title":"EXPA: Validation method of a communication protocol based on perturbation analysis","volume":"26","author":"Shiratori N.","year":"1985","journal-title":"Trans. IPS of Japan"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312985"},{"issue":"4","key":"e_1_2_1_9_2","first-page":"361","article-title":"Finite state description of communication protocols","volume":"2","author":"Bochmann G. V.","year":"1978","journal-title":"Computer Networks"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690210104","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690210104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T07:04:15Z","timestamp":1697958255000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690210104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,1]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,1]]}},"alternative-id":["10.1002\/scj.4690210104"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690210104","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,1]]}}}