| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2013-07-25 14:00 設計進度に応じた設計モデルの段階的なシンタックスチェック手法の提案 ○村上正敏・中川雄一郎・西山晴彦・三部良太（日立）  SS2013-16 KBSE2013-16 |
|
| 抄録 | （和） | 設計モデル作成時には規定のシンタックスを遵守するためにシンタックスチェックを行う．既存手法では，適用するシンタックスは１つであり，そのシンタックスに違反する記述を制限している．ラフな記述で試行錯誤しながら設計モデルを書き起こす設計初期工程に対して，詳細に定義されたシンタックスを適用すると，制約が多すぎて自由に記述できない．一方，設計モデルの品質を高めていく設計後期工程に対して，制約が緩く自由度の高いシンタックスを適用すると，定義過不足や矛盾等の不具合原因となりうる．このように設計進度に応じて必要なシンタックスが異なり，適用可能なシンタックスが１つであると使い勝手が悪い．本稿では，設計進度に応じて段階的に設計モデルに適用するシンタックスを変更可能なシンタックスチェック手法を提案する．提案手法の特徴は，階層的にレベル分けしたシンタックスからレベル毎のサブセットを抽出し，レベル順に段階的にシンタックスチェックを実施することである． |
| （英） | When software designers create design models of software systems, they should check the models with a syntax of them. Existing modeling tools restrict creating the design model which violates the syntax. In early design process, there are too many constraints in a detailed syntax to create design models roughly. On the other hand, in later design process, flexible syntax has too loose to create the design model which has just enough definitions and no contradictions. In this way, necessary syntax is different depending on the progress of creating design models. And checking with only a syntax is very inconvenient for designers. In this paper, we propose a method which enables us to check design models with the syntax depending on the progress incrementally. The characteristics of the proposed method are to extract subsets of a master syntax which is defined by several hierarchy levels and check design models with the subsets in order of their level. | |
| キーワード | （和） | 設計モデル / シンタックスチェック / シンタックス生成 / 差分チェック / / / / |
| （英） | Design Model / Syntax Checking / Syntax Generation / Difference Valiation / / / / | |
| 文献情報 | 信学技報, vol. 113, no. 159, SS2013-16, pp. 19-24, 2013年7月. | |
| 資料番号 | SS2013-16 | |
| 発行日 | 2013-07-18 (SS, KBSE) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2013-16 KBSE2013-16 |
|
| 研究会情報 | |
| 研究会 | SS KBSE |
| 開催期間 | 2013-07-25 - 2013-07-26 |
| 開催地（和） | 北海道立道民活動センター [かでる2.7] 710会議室（7階） |
| 開催地（英） | |
| テーマ（和） | 一般 |
| テーマ（英） | Genaral session |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2013-07-SS-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | 設計進度に応じた設計モデルの段階的なシンタックスチェック手法の提案 |
| サブタイトル（和） | |
| タイトル（英） | A Proposal of Incremental Progress-Dependent Syntax Checking of Design Models |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 設計モデル / Design Model |
| キーワード(2)（和/英） | シンタックスチェック / Syntax Checking |
| キーワード(3)（和/英） | シンタックス生成 / Syntax Generation |
| キーワード(4)（和/英） | 差分チェック / Difference Valiation |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 村上 正敏 / Masatoshi Murakami / ムラカミ マサトシ |
| 第1著者 所属（和/英） | 株式会社日立製作所 (略称： 日立) Hitachi, Ltd. (略称： Hitachi) |
| 第2著者 氏名（和/英/ヨミ） | 中川 雄一郎 / Yuichiro Nakagawa / ナカガワ ユウイチロウ |
| 第2著者 所属（和/英） | 株式会社日立製作所 (略称： 日立) Hitachi, Ltd. (略称： Hitachi) |
| 第3著者 氏名（和/英/ヨミ） | 西山 晴彦 / Haruhiko Nishiyama / ニシヤマ ハルヒコ |
| 第3著者 所属（和/英） | 株式会社日立製作所 (略称： 日立) Hitachi, Ltd. (略称： Hitachi) |
| 第4著者 氏名（和/英/ヨミ） | 三部 良太 / Ryota Mibe / ミベ リョウタ |
| 第4著者 所属（和/英） | 株式会社日立製作所 (略称： 日立) Hitachi, Ltd. (略称： Hitachi) |
| 講演者 | 第1著者 |
| 発表日時 | 2013-07-25 14:00:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | SS2013-16, KBSE2013-16 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | no.159(SS), no.160(KBSE) |
| ページ範囲 | pp.19-24 |
| ページ数 | 6 |
| 発行日 | 2013-07-18 (SS, KBSE) |
[研究会発表申込システムのトップページに戻る]