WEKO3
アイテム
代数仕様言語OBJによる並行分散システムの形式仕様作成法
https://ipsj.ixsq.nii.ac.jp/records/128849
https://ipsj.ixsq.nii.ac.jp/records/1288498e374e09-dd60-4419-b45e-719386663a0f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001335137.pdf (179.3 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1995-09-20 | |||||
| タイトル | ||||||
| タイトル | 代数仕様言語OBJによる並行分散システムの形式仕様作成法 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | Formal Specifications of Concurrent and Distributed Systems with Algebraic Specification Language OBJ | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 北陸先端科学技術大学院大学 情報科学研究科 | ||||||
| 著者所属 | ||||||
| 北陸先端科学技術大学院大学 情報科学研究科 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Department of Information Systems, Japan Advanced Institute of Science and Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Department of Information Systems, Japan Advanced Institute of Science and Technology | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 並行分散システムは逐次に処理が行われるシステムと比較して、その性質を把握するのがはるかに困難である。これは並行分散システムでは処理の流れが一方向でないことによる。よって仕様段階で並行分散システムの性質を解析する事が出来るような形式仕様が望まれる。本研究の目的は並行分散システムに対する形式仕様を代数仕様言語を用いて作成する方法を提案することである。このために、Meseguerが示した書き換え論理を用いた並行オブジェクトモデルの形式化を、さまざまな性質を持つ通信路に対応できるように変更した。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第51回, 号 ソフトウェア工学, p. 231-232, 発行日 1995-09-20 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
