Research on verification of self-adaptive systems using goal-oriented requirements specifications
Research on verification of self-adaptive systems using goal-oriented requirements specifications
基于目标导向的需求规范的自适应系统验证研究
批准号：
23500039
负责人：
TAHARA Yasuyuki
金额：
$3.33万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2011
资助国家：
日本
项目状态：
已结题
起止时间：
2011 至 2013
中文摘要
翻译
我们建立了一种自适应系统的验证方法，不仅可以使用状态机图等UML模型，而且可以使用面向目标的需求规格说明来直观地确认验证结果与系统需求。我们实现了转换和验证工具。我们还根据验证结果建立了一种实现自适应系统的方法。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Efficient Execution Path Exploration for Detecting Races in Concurrent Programs
用于检测并发程序中的竞争的高效执行路径探索
用于检测并发程序中的竞争的高效执行路径探索
DOI：
--
发表时间：
2013
期刊：
IAENG International Journal of Computer Science
影响因子：
--
作者：
[Theodorus E. Setiadi, Akihiko Ohsuga, Mamoru Maekawa]
通讯作者：
Mamoru Maekawa
CGMにおける炎上の同定とその応用
CGM中的火焰识别及其应用
CGM中的火焰识别及其应用
DOI：
--
发表时间：
2013
期刊：
合同エージェントワークショップ＆シンポジウム (JAWS 2013)論文集
影响因子：
--
作者：
[岩崎 祐貴, 折原 良平, 清 雄一, 中川 博之, 田原 康之, 大須賀 昭彦]
通讯作者：
大須賀 昭彦
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]
通讯作者：
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 模型的转换方法
使用细化模式从 KAOS 目标模型到 BPMN 模型的转换方法
DOI：
--
发表时间：
2014
期刊：
Proc. of 29th Annual ACM Symposium on Applied Computing
影响因子：
--
作者：
[Hiroki Horita, Kozo Honda, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga]
通讯作者：
Akihiko Ohsuga
ゴール指向要求記述の整形に基づいたソフトウェアシステム進化手法
基于格式化目标导向需求描述的软件系统演化方法
基于格式化目标导向需求描述的软件系统演化方法
DOI：
--
发表时间：
2012
期刊：
情報処理学会論文誌
影响因子：
--
作者：
[中川 博之, 大須賀 昭彦, 本位田真一]
通讯作者：
本位田真一
共 35 条
Research on Design Verification Process Using Model Checking
-
批准号：19500035
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.66万
-
财政年份：2007
-
负责人：TAHARA Yasuyuki
-
依托单位：
海外基金