Research on verification of self-adaptive systems using goal-oriented requirements specifications

基于目标导向的需求规范的自适应系统验证研究

• 批准号: 23500039
• 负责人: TAHARA Yasuyuki
• 金额: $ 3.33万
• 依托单位: The University of Electro-Communications
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011 至 2013
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23500039/
• 关键词: ソフトウェア工学; モデル検査; 自己適応システム; 計算機システム; 情報システム; ソフトウェア開発効率化・ 安定化; ソフトウェア学; ディペンダブル・コンピューティング; ソフトウェア検証; ゴール指向要求分析; ディペンダブル・コンピュ ーティング; ソフトウェア開発効率化・安定化

We established an approach to verification of self-adaptive systems with which we can intuitively confirm the verification results with the system requirements by using not only UML models such as statemachine diagrams but also goal-oriented requirements specifications. We implemented tools for transformation and verification. We also established an approach to implementing self-adaptive systems on the basis of the verification results.

我们建立了一种自适应系统的验证方法，我们可以直观地确认验证结果与系统的需求，不仅使用UML模型，如状态机图，但也面向目标的需求规格说明。我们实现了用于转换和验证的工具。我们还建立了一种方法来实现自适应系统的验证结果的基础上。

项目成果

Efficient Execution Path Exploration for Detecting Races in Concurrent Programs

用于检测并发程序中的竞争的高效执行路径探索

• 发表时间: 2013
• 期刊: IAENG International Journal of Computer Science
• 作者: Theodorus E. Setiadi;Akihiko Ohsuga;Mamoru Maekawa
• 通讯作者: Mamoru Maekawa

CGMにおける炎上の同定とその応用

CGM中的火焰识别及其应用

• 发表时间: 2013
• 期刊: 合同エージェントワークショップ＆シンポジウム (JAWS 2013)論文集
• 作者: 岩崎 祐貴;折原 良平;清 雄一;中川 博之;田原 康之;大須賀 昭彦
• 通讯作者: 大須賀 昭彦

Building an earthquake evacuation ontology from twitter

• DOI: 10.1109/grc.2011.6122613
• 发表时间: 2011-11
• 期刊: 2011 IEEE International Conference on Granular Computing
• 作者: Isabel Shizu Miyamae Iwanaga;The-Minh Nguyen;Takahiro Kawamura;Hiroyuki Nakagawa;Yasuyuki Tahara;Akihiko Ohsuga

Transformation Approach from KAOS Goal Models to BPMN Models Using Refinement Patterns

使用细化模式从 KAOS 目标模型到 BPMN 模型的转换方法

• 发表时间: 2014
• 期刊: Proc. of 29th Annual ACM Symposium on Applied Computing
• 作者: Hiroki Horita;Kozo Honda;Yuichi Sei;Hiroyuki Nakagawa;Yasuyuki Tahara;Akihiko Ohsuga
• 通讯作者: Akihiko Ohsuga

ゴール指向要求記述の整形に基づいたソフトウェアシステム進化手法

基于格式化目标导向需求描述的软件系统演化方法

• 发表时间: 2012
• 期刊: 情報処理学会論文誌
• 作者: 中川 博之;大須賀 昭彦;本位田真一
• 通讯作者: 本位田真一