講演名 2013-07-25
設計進度に応じた設計モデルの段階的なシンタックスチェック手法の提案
村上 正敏, 中川 雄一郎, 西山 晴彦, 三部 良太,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 設計モデル作成時には規定のシンタックスを遵守するためにシンタックスチェックを行う.既存手法では,適用するシンタックスは1つであり,そのシンタックスに違反する記述を制限している.ラフな記述で試行錯誤しながら設計モデルを書き起こす設計初期工程に対して,詳細に定義されたシンタックスを適用すると,制約が多すぎて自由に記述できない.一方,設計モデルの品質を高めていく設計後期工程に対して,制約が緩く自由度の高いシンタックスを適用すると,定義過不足や矛盾等の不具合原因となりうる.このように設計進度に応じて必要なシンタックスが異なり,適用可能なシンタックスが1つであると使い勝手が悪い.本稿では,設計進度に応じて段階的に設計モデルに適用するシンタックスを変更可能なシンタックスチェック手法を提案する.提案手法の特徴は,階層的にレベル分けしたシンタックスからレベル毎のサブセットを抽出し,レベル順に段階的にシンタックスチェックを実施することである.
抄録(英) 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
資料番号 SS2013-16,KBSE2013-16
発行日

研究会情報
研究会 KBSE
開催期間 2013/7/18(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) 設計進度に応じた設計モデルの段階的なシンタックスチェック手法の提案
サブタイトル(和)
タイトル(英) A Proposal of Incremental Progress-Dependent Syntax Checking of Design Models
サブタイトル(和)
キーワード(1)(和/英) 設計モデル / Design Model
キーワード(2)(和/英) シンタックスチェック / Syntax Checking
キーワード(3)(和/英) シンタックス生成 / Syntax Generation
キーワード(4)(和/英) 差分チェック / Difference Valiation
第 1 著者 氏名(和/英) 村上 正敏 / Masatoshi Murakami
第 1 著者 所属(和/英) 株式会社日立製作所横浜研究所
Hitachi, Ltd.
第 2 著者 氏名(和/英) 中川 雄一郎 / Yuichiro Nakagawa
第 2 著者 所属(和/英) 株式会社日立製作所横浜研究所
Hitachi, Ltd.
第 3 著者 氏名(和/英) 西山 晴彦 / Haruhiko Nishiyama
第 3 著者 所属(和/英) 株式会社日立製作所横浜研究所
Hitachi, Ltd.
第 4 著者 氏名(和/英) 三部 良太 / Ryota Mibe
第 4 著者 所属(和/英) 株式会社日立製作所横浜研究所
Hitachi, Ltd.
発表年月日 2013-07-25
資料番号 SS2013-16,KBSE2013-16
巻番号(vol) vol.113
号番号(no) 160
ページ範囲 pp.-
ページ数 6
発行日