WEKO3
インデックスリンク
アイテム
CafeOBJ 入門 (6) : 通信プロトコルの検証
http://hdl.handle.net/2297/27301
http://hdl.handle.net/2297/27301e9ea79f0-71b9-4a28-9026-ed560b90ec05
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-NAKAMURA-M-93.pdf (175.7 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-03 | |||||
| タイトル | ||||||
| タイトル | CafeOBJ 入門 (6) : 通信プロトコルの検証 | |||||
| タイトル | ||||||
| タイトル | Introducing CafeOBJ (6): Verification of a communication protocol | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
Ogata, Kazuhiro
× Ogata, Kazuhiro× Futatsugi, Kokichi× Nakamura, Masaki |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学理工研究域電子情報学系 | |||||
| 書誌情報 |
Computer Software 巻 26, 号 2, p. 93-106, 発行日 2009-01-01 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0289-6540 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN10075819 | |||||
| 出版者 | ||||||
| 出版者 | Japan Society for Software Science and Technology = 日本ソフトウェア科学会 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | An example of verification of communication protocols with CafeOB J algebraic specification language is shown. The SCP communication protocol is a simplified version of the ABP communication protocol, which uses unreliable cells as communication channels between senders and receivers. The reliable communication property is as follows: when a receiver receives N packets, they are the first N packets that a sender has sent and the order in which the N packets has been sent is preserved. Described is the verification with proof score that the SCP communication protocol satisfies the reliable communication property. | |||||
| 権利 | ||||||
| 権利情報 | (c) Japan Society for Software Science and Technology 2009 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://www.jssst.or.jp/ | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://www.jstage.jst.go.jp/article/jssst/26/2/26_2_93/_article | |||||
