WEKO3
-
RootNode
アイテム
LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG
https://ipsj.ixsq.nii.ac.jp/records/119867
https://ipsj.ixsq.nii.ac.jp/records/11986741ab516a-36d3-49d4-82b4-bce08f28baf6
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001341047.pdf (212.4 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1991-02-25 | |||||
| タイトル | ||||||
| タイトル | LOTOSによるCCRサービス定義の形式記述 : 全体報告 : INTAP研究開発委員会プロトコル形式記述WG | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | A Formal Description of CCR Service Definition in LOTOS : Overview | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 日本電気 | ||||||
| 著者所属 | ||||||
| 東芝 | ||||||
| 著者所属 | ||||||
| 電総研 | ||||||
| 著者所属 | ||||||
| 日本IBM | ||||||
| 著者所属 | ||||||
| 沖 | ||||||
| 著者所属 | ||||||
| 富士通 | ||||||
| 著者所属 | ||||||
| 東北大 | ||||||
| 著者所属 | ||||||
| シャープ | ||||||
| 著者所属 | ||||||
| 日立 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| NEC | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Toshiba | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| ETL | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| IBM Japan | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Oki | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Fujitsu | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Tohoku Univ. | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Sharp | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Hitachi | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 我々は、INTAPの形式記述WGの活動として、OSIのCCRのサービス定義をISOで検討された形式記述言語であるLOTSOを用いて記述した。その記述内容を報告し、さらに応用層の仕様を形式的に記述する場合に考感慮すべき点についての考察を述べる。本稿では、記述内容の全体に関する考察点について述べる。プロセス部の記述、データ部の記述の内容については別稿を参照されたい。記述はCCRの規格2nd DPであった頃に書かれた、CCRの形式記述化に関する論文をベースに検討された。型の定義に関してはセションのLOTO記述を参考にしている。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第42回, 号 ネットワーク, p. 145-146, 発行日 1991-02-25 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
