お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2010-10-14 15:00
形式的洗練パターンによるコンポーネントベース・ゴールモデリング手法
野村 潤成瀬龍人九工大)・外村慶二鵜林尚靖九大)・司代尊裕岩井明史デンソーSS2010-30
抄録 (和) ソフトウェア開発の初期段階において要求の抽出に効果的な分析手法にゴール指向分析法がある.しかし,開発するシステムが多くのコンテキストから影響を受ける場合には,ゴールモデルの巨大化・複雑化という問題が生じる.そこで本研究では,コンポーネントベース・ゴールモデリング手法C-KAOS(Component-based KAOS)を提案する.C-KAOSを用いることで,ゴールモデルをゴールコンポーネントとして分割することができ,再利用可能なゴールコンポーネントをゴールモデルへ合成することができる.C-KAOSでは,すでに正しさが証明された形式的洗練パターンを細分化規則として用いることで,ゴールモデルを正しく分割統治するための方法を提供する. 
(英) Goal-oriented analysis methods are effective for eliciting requirements at the early stages of software development. However, a goal tree tends to be large and complex when we have to take into account the many possible contexts related to a target system. To deal with this problem, we propose C-KAOS (Component-based KAOS), a component-based goal modeling method. Using C-KAOS, we can divide a goal tree into a set of goal components and synthesize reusable goal components. C-KAOS provides a correct divide-and-conquer mechanism by adopting formal refinement patterns whose correctness are already proven.
キーワード (和) ゴール指向要求分析 / KAOS / / / / / /  
(英) goal-oriented requirements engineering / KAOS / / / / / /  
文献情報 信学技報, vol. 110, no. 227, SS2010-30, pp. 13-18, 2010年10月.
資料番号 SS2010-30 
発行日 2010-10-07 (SS) 
ISSN Print edition: ISSN 0913-5685    Online edition: ISSN 2432-6380
著作権に
ついて
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
PDFダウンロード SS2010-30

研究会情報
研究会 SS  
開催期間 2010-10-14 - 2010-10-15 
開催地(和) 岩手県立大学 
開催地(英) Iwate Prefectural Univ. 
テーマ(和) 一般 
テーマ(英) General 
講演論文情報の詳細
申込み研究会 SS 
会議コード 2010-10-SS 
本文の言語 日本語 
タイトル(和) 形式的洗練パターンによるコンポーネントベース・ゴールモデリング手法 
サブタイトル(和)  
タイトル(英) Component-based goal modeling with formal refinement patterns 
サブタイトル(英)  
キーワード(1)(和/英) ゴール指向要求分析 / goal-oriented requirements engineering  
キーワード(2)(和/英) KAOS / KAOS  
キーワード(3)(和/英) /  
キーワード(4)(和/英) /  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 野村 潤 / Jun Nomura / ノムラ ジュン
第1著者 所属(和/英) 九州工業大学 (略称: 九工大)
Kyushu Institute of Technology (略称: Kyushu Inst. of Tech.)
第2著者 氏名(和/英/ヨミ) 成瀬 龍人 / Ryoto Naruse / ナルセ リョウト
第2著者 所属(和/英) 九州工業大学 (略称: 九工大)
Kyushu Institute of Technology (略称: Kyushu Inst. of Tech.)
第3著者 氏名(和/英/ヨミ) 外村 慶二 / Keiji Hokamura / ホカムラ ケイジ
第3著者 所属(和/英) 九州大学 (略称: 九大)
Kyushu University (略称: Kyushu Univ.)
第4著者 氏名(和/英/ヨミ) 鵜林 尚靖 / Naoyasu Ubayashi / ウバヤシ ナオヤス
第4著者 所属(和/英) 九州大学 (略称: 九大)
Kyushu University (略称: Kyushu Univ.)
第5著者 氏名(和/英/ヨミ) 司代 尊裕 / Takahiro Shidai / シダイ タカヒロ
第5著者 所属(和/英) 株式会社デンソー (略称: デンソー)
Denso Corporation (略称: Denso)
第6著者 氏名(和/英/ヨミ) 岩井 明史 / Akihito Iwai / イワイ アキヒト
第6著者 所属(和/英) 株式会社デンソー (略称: デンソー)
Denso Corporation (略称: Denso)
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2010-10-14 15:00:00 
発表時間 30分 
申込先研究会 SS 
資料番号 SS2010-30 
巻番号(vol) vol.110 
号番号(no) no.227 
ページ範囲 pp.13-18 
ページ数
発行日 2010-10-07 (SS) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会