{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,28]],"date-time":"2023-10-28T13:40:50Z","timestamp":1698500450691},"reference-count":9,"publisher":"Wiley","issue":"10","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":4097,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp;amp; Computers in Japan"],"published-print":{"date-parts":[[1996,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>As one of the methods to define a large\u2010scale protocol by combining multiple subprotocols, Chow et al. proposed a method in which protocols satisfying a certain condition called phase are serially connected. In their method of connection, however, two conditions for connection are imposed: 1) the protocol machine should be modeled as a finite\u2010state machine; and 2) the two\u2010way channels should both be empty at the termination of the phase.<\/jats:p><jats:p>This paper relaxes those two constraints, and proposes a more general method of phase connection. Using the method proposed in this paper, it is made possible, for example, to define the protocol containing the token passing control by connecting two phases, where the token is fixed in one of the protocol machines.<\/jats:p>","DOI":"10.1002\/scj.4690271004","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T09:55:15Z","timestamp":1183888515000},"page":"33-47","source":"Crossref","is-referenced-by-count":0,"title":["A phase connection method for communication protocols"],"prefix":"10.1002","volume":"27","author":[{"given":"Tetsuo","family":"Sano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Higuchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroyuki","family":"Seki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tadao","family":"Kasami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"issue":"11","key":"e_1_2_1_2_2","first-page":"1363","article-title":"A verification method via invariant for communication protocols modeled as extended communicating finite\u2010state machines","volume":"76","author":"Higuchi M.","year":"1993","journal-title":"IEICE Trans. Commun."},{"issue":"1","key":"e_1_2_1_3_2","first-page":"17","article-title":"A Verification Method for Liveness of Communication Protocol Modeled as ECFSMs","volume":"78","author":"Sugawa S.","year":"1995","journal-title":"Trans. (B\u2010I) I.E.I.C.E., Japan"},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","unstructured":"T. Y.ChoiandR. E.Miller.A Decomposition Method for the Analysis and Design of Finite State Protocols. Proc. 8th ACM\/IEEE Data Comm. Symp. pp.167\u2013176(Oct.1983).","DOI":"10.1145\/964661.800916"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010246"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/12.88459"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/6110.214400"},{"issue":"10","key":"e_1_2_1_8_2","first-page":"1032","article-title":"A method of composing communication protocols with priority service","volume":"75","author":"Higuchi M.","year":"1992","journal-title":"I.E.I.C.E. Trans. Commun."},{"key":"e_1_2_1_9_2","unstructured":"CCITT.Specification and Description Language (SDL). Recommendation Z100 (1989)."},{"key":"e_1_2_1_10_2","unstructured":"ISO.Basic Connection Oriented Session Protocol Specification. ISO 8327."}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690271004","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690271004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T21:09:56Z","timestamp":1698440996000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690271004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":9,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["10.1002\/scj.4690271004"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690271004","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}