| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2012-01-26 11:15 アーキテクチャ点写像による設計・コード間の双方向追跡 ○鵜林尚靖・亀井靖高（九大）  MSS2011-57 SS2011-42 |
|
| 抄録 | （和） | 優れたアーキテクチャ設計は高品質なシステムにつながるが，その一方， 「開発者の意図を反映したアーキテクチャを設計すること」「アーキテクチャ の正しさを保ちつつプログラムを実装すること」は容易ではない．本論文で は，この問題に対処するための方法として，アーキテクチャ点 (Archpoint) と アーキテクチャ点写像 (Archmapping) を提案する． アーキテクチャ点とは，振る舞いおよび構造の観点でアーキテクチャの本質 を表現する「設計上の点」である．アーキテクチャ点写像は，設計とコード の間の双方向追跡を検証するための機構である．追跡性は，設計上のアーキ テクチャ点がコード上のプログラム点に一貫性を保ちつつ写像されるか否か を調べることにより検証される．検証には，SMT (Satisfiability Modulo Theories) ソルバーが使用される． |
| （英） | Well-designed architecture leads to high-quality systems. However, it is not easy to design architecture reflecting the intention of developers and implement the result of design as a program while preserving the architectural correctness. To deal with this problem, this paper proposes two novel ideas: Archpoint (Architectural point) and Archmapping (Archpoint Mapping). Archpoints are points for representing the essence of architectural design in terms of behavioral and structural aspects. Archmapping is a mechanism for checking the bidirectional traceability between design and code. The traceability can be verified by checking whether archpoints in design are consistently mapped to program points in code. For this checking, we use an SMT (Satisfiability Modulo Theories) solver. |
|
| キーワード | （和） | アーキテクチャ / 双方向追跡 / アーキテクチャ点 / SMTソルバー / / / / |
| （英） | Architecture / Bidirectional traceability / Architectural point / SMT solver / / / / | |
| 文献情報 | 信学技報, vol. 111, no. 406, SS2011-42, pp. 15-20, 2012年1月. | |
| 資料番号 | SS2011-42 | |
| 発行日 | 2012-01-19 (MSS, SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2011-57 SS2011-42 |
|
| 研究会情報 | |
| 研究会 | SS MSS |
| 開催期間 | 2012-01-26 - 2012-01-27 |
| 開催地（和） | 高知市文化プラザかるぽーと |
| 開催地（英） | Kochi City Culture-Plaza Cul-Port |
| テーマ（和） | 一般 |
| テーマ（英） | General topics |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2012-01-SS-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | アーキテクチャ点写像による設計・コード間の双方向追跡 |
| サブタイトル（和） | |
| タイトル（英） | Architectual Point Mapping for Bidirectional Traceability between Design and Code |
| サブタイトル（英） | |
| キーワード(1)（和/英） | アーキテクチャ / Architecture |
| キーワード(2)（和/英） | 双方向追跡 / Bidirectional traceability |
| キーワード(3)（和/英） | アーキテクチャ点 / Architectural point |
| キーワード(4)（和/英） | SMTソルバー / SMT solver |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 鵜林 尚靖 / Naoyasu Ubayashi / ウバヤシ ナオヤス |
| 第1著者 所属（和/英） | 九州大学 (略称： 九大) Kyushu University (略称： Kyushu Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 亀井 靖高 / Yasutaka Kamei / カメイ ヤスタカ |
| 第2著者 所属（和/英） | 九州大学 (略称： 九大) Kyushu University (略称： Kyushu Univ.) |
| 第3著者 氏名（和/英/ヨミ） | / / |
| 第3著者 所属（和/英） | (略称： ) (略称： ) |
| 第4著者 氏名（和/英/ヨミ） | / / |
| 第4著者 所属（和/英） | (略称： ) (略称： ) |
| 第5著者 氏名（和/英/ヨミ） | / / |
| 第5著者 所属（和/英） | (略称： ) (略称： ) |
| 第6著者 氏名（和/英/ヨミ） | / / |
| 第6著者 所属（和/英） | (略称： ) (略称： ) |
| 第7著者 氏名（和/英/ヨミ） | / / |
| 第7著者 所属（和/英） | (略称： ) (略称： ) |
| 第8著者 氏名（和/英/ヨミ） | / / |
| 第8著者 所属（和/英） | (略称： ) (略称： ) |
| 第9著者 氏名（和/英/ヨミ） | / / |
| 第9著者 所属（和/英） | (略称： ) (略称： ) |
| 第10著者 氏名（和/英/ヨミ） | / / |
| 第10著者 所属（和/英） | (略称： ) (略称： ) |
| 第11著者 氏名（和/英/ヨミ） | / / |
| 第11著者 所属（和/英） | (略称： ) (略称： ) |
| 第12著者 氏名（和/英/ヨミ） | / / |
| 第12著者 所属（和/英） | (略称： ) (略称： ) |
| 第13著者 氏名（和/英/ヨミ） | / / |
| 第13著者 所属（和/英） | (略称： ) (略称： ) |
| 第14著者 氏名（和/英/ヨミ） | / / |
| 第14著者 所属（和/英） | (略称： ) (略称： ) |
| 第15著者 氏名（和/英/ヨミ） | / / |
| 第15著者 所属（和/英） | (略称： ) (略称： ) |
| 第16著者 氏名（和/英/ヨミ） | / / |
| 第16著者 所属（和/英） | (略称： ) (略称： ) |
| 第17著者 氏名（和/英/ヨミ） | / / |
| 第17著者 所属（和/英） | (略称： ) (略称： ) |
| 第18著者 氏名（和/英/ヨミ） | / / |
| 第18著者 所属（和/英） | (略称： ) (略称： ) |
| 講演者 | 第1著者 |
| 発表日時 | 2012-01-26 11:15:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | MSS2011-57, SS2011-42 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | no.405(MSS), no.406(SS) |
| ページ範囲 | pp.15-20 |
| ページ数 | 6 |
| 発行日 | 2012-01-19 (MSS, SS) |
[研究会発表申込システムのトップページに戻る]