| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2011-10-28 11:15 有限Alloy記述の段階的な構築について ○小飼 敬（茨城高専）・中島 震（NII）・上田賀一（茨城大）  SS2011-36 |
|
| 抄録 | （和） | Alloy記述を作成する過程では，記述の確認を行う繰り返し作業の際に，探索スコープを限定したコマンドで解析することが多い．このようなスコープを指定したコマンドによる解析は，最終的にはAlloy記述へとスコープの意味が反映される必要がある．本研究では，スコープで与えた情報をAlloy記述での多重度へ変換することで，runコマンドの解析結果が同じになるように段階的な仕様の構築方法を提案する． |
| （英） | In a process of creating Alloy descriptions, it is often to analyze the descriptions by scoped Alloy commands. The command is executed repeatedly for validation of the descriptions. It is necessary to express a semantics of a scope to the Alloy descriptions. This work proposes a technique of iterative construction of finite Alloy descriptions by translating a semantics of a scope to a multiplicity of Alloy descriptions. | |
| キーワード | （和） | 軽量形式手法 / 多重度 / スコープ / 有限モデル / / / / |
| （英） | lightweight formal method / multiplicity / scope / finite model / / / / | |
| 文献情報 | 信学技報, vol. 111, no. 268, SS2011-36, pp. 55-60, 2011年10月. | |
| 資料番号 | SS2011-36 | |
| 発行日 | 2011-10-20 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2011-36 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2011-10-27 - 2011-10-28 |
| 開催地（和） | 北陸先端科学技術大学院大学 |
| 開催地（英） | JAIST |
| テーマ（和） | 一般 |
| テーマ（英） | General topics |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2011-10-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 有限Alloy記述の段階的な構築について |
| サブタイトル（和） | |
| タイトル（英） | Iterative Construction of Finite Alloy Descriptions |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 軽量形式手法 / lightweight formal method |
| キーワード(2)（和/英） | 多重度 / multiplicity |
| キーワード(3)（和/英） | スコープ / scope |
| キーワード(4)（和/英） | 有限モデル / finite model |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 小飼 敬 / Kei Kogai / コガイ ケイ |
| 第1著者 所属（和/英） | 茨城工業高等専門学校 (略称： 茨城高専) Ibaraki National College of Technology (略称： Ibaraki National College of Technology) |
| 第2著者 氏名（和/英/ヨミ） | 中島 震 / Shin Nakajima / |
| 第2著者 所属（和/英） | 国立情報学研究所 (略称： NII) National Institute of Informatics (略称： NII) |
| 第3著者 氏名（和/英/ヨミ） | 上田 賀一 / Yoshikazu Ueda / |
| 第3著者 所属（和/英） | 茨城大学 (略称： 茨城大) Ibaraki University (略称： Ibaraki Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2011-10-28 11:15:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | SS2011-36 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | no.268 |
| ページ範囲 | pp.55-60 |
| ページ数 | 6 |
| 発行日 | 2011-10-20 (SS) |
[研究会発表申込システムのトップページに戻る]