WEKO3
アイテム
実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
https://ipsj.ixsq.nii.ac.jp/records/126803
https://ipsj.ixsq.nii.ac.jp/records/126803117ca903-eaca-4909-a5cd-fb5344b4a263
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001340298.pdf (173.0 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1994-09-20 | |||||
| タイトル | ||||||
| タイトル | 実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | An executable specification language CafeOBJ(4) : A frramework of CafeOBJ animation of Z specification | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 情報処理振興事業協会(IPA)技術センター | ||||||
| 著者所属 | ||||||
| 情報処理振興事業協会(IPA)技術センター:(株)SRAソフトウェア工学研究所 | ||||||
| 著者所属 | ||||||
| (株)SRAソフトウェア工学研究所:北陸先端科学技術大学院大学 | ||||||
| 著者所属 | ||||||
| 情報処理振興事業協会(IPA)技術センター | ||||||
| 著者所属 | ||||||
| 北陸先端科学技術大学院大学 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Information-Technology Promotion Agency,Japan(IPA) Software Technology Center | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Information-Technology Promotion Agency,Japan(IPA) Software Technology Center | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Software Research Associates,Inc. Software Engineering Labolatory | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Information-Technology Promotion Agency,Japan(IPA) Software Technology Center | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Japan Advanced Institute of Science and Technology,Hokuriku | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 仕様を記述する上で、仕様の実行が可能であることは大きなメリットをもたらす。それは、実行により仕様の内容をより深く理解できるからである。Zは集合論に基くmodel-basedな形式仕様言語であり高い表現力を持つが、Zで記述された仕様をそのまま実行することはできない。Z仕様の実行には他言語によるZ仕様のアニメーションが必要となる。本稿では、IPAで開発されている実行可能な形式仕様言語CafeOBJによるZ仕様のアニメーションの枠組みについて述べる。CafeOBJは、代数仕様言語OBJに一方向の書き換え規則を加えたもので、OBJと同様に項書き換え系により実行可能であるという特長を持つ。CafeOBJを用いることにより、Z仕様と同じレベルの抽象度を保ちながらのアニメーションが可能となる。端的にいうと、CafeOBJモジュールは2-categoryを表す。本稿では、まずZ仕様に2-categorica1な解釈を与え、その解釈を基にZ仕様をCafeOBJモジュールで表現するための指針を導くことにより、CafeOBJによるZ仕様のアニメーションの枠組みを明らかにする。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第49回, 号 ソフトウェア, p. 49-50, 発行日 1994-09-20 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
