Art

J-GLOBAL ID：200902234667934381   Reference number：04A0743958

Composition of Service and Protocol Specifications in Asynchronous Communication System

非同期通信システムにおけるサービスとプロトコル仕様の合成

Author (6)： MANEERAT N (King Mongkut’s Inst. Technol. Ladkrabang, Bankok, THA) ,  VARAKULSIRIPUNTH R (King Mongkut’s Inst. Technol. Ladkrabang, Bankok, THA) ,  BISTA B B (Iwate Prefectural Univ., Iwate-ken, JPN) ,  TAKAHASHI K (Sendai National Coll. Technol., Sendai-shi, JPN) ,  KATO Y (Sendai National Coll. Technol., Sendai-shi, JPN) ,  SHIRATORI N (Tohoku Univ., Sendai-shi, JPN)
Material： IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers)  (IEICE Trans Inf Syst (Inst Electron Inf Commun Eng))
Volume： E87-D  Issue： 10  Page： 2306-2317  Publication year： Oct. 01, 2004 
JST Material Number： L1371A  ISSN： 0916-8532  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： asynchronous processing ,...
Semi thesaurus term： formal description techniques ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=04A0743958&from=J-GLOBAL&jstjournalNo=L1371A") }}

JST classification (2)： Computer networks  (JC03000K) ,  Theory of computation  (JB02000A)

Reference (10)：

• ISO. Information processing systems-Open systems interconnection-LOTOS-A formal description technique based on the temporal ordering of observational behavior. ISO 8807. 1989
• LANGERAK, R. Decomposition of functionality : A correctness preserving LOTOS transformation. Protocol Specification, Testing and Verification. 1990, 203-218
• BISTA, B. B. A compositional approach for constructing communication services and protocols. IEICE Trans. Fundamentals. 1999, E82-A, 11, 2546-2557
• BOCHMANN, G. Deriving protocol specification from service specification. Proc. SIGCOMM'86. 1986, 14, 144-156
• KANT, C. Deriving protocol specifications from service specifications written in LOTOS. Distributed Computing. 1996, 10, 1, 29-47

Terms in the title (4)： 非同期通信 ,  サービス ,  プロトコル ,  仕様