| Item type |
学術雑誌論文 / Journal Article(1) |
| 公開日 |
2019-04-09 |
| タイトル |
|
|
タイトル |
プロセス間競合を考慮した自己適応システムの形式仕様構築 |
|
言語 |
ja |
| タイトル |
|
|
タイトル |
Constructing Formal Specifications for Self-adaptive Systems with Handling Conflicts among Processes |
|
言語 |
en |
| 言語 |
|
|
言語 |
jpn |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
| 著者 |
中川, 博之
大須賀, 昭彦
本位田, 真一
|
| 抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
近年，ソフトウェアの利用環境が広がり，状況の変化に応じて自発的に振舞いや構成を変化させる自己適応システムの実現に対する期待が高まっている．自己適応システムは様々な関心事に対応するための並行プロセスにより構成されるが，状況によって振舞いやそれを構成するプロセス群が変わる可能性があることから，プロセス間で発生する競合に対しては，対処法の検討だけでなくその検出さえも困難である．そこで本研究では，システム開発の早期段階における分析・検証技術に着目し，自己適応システムに対する要求モデルと形式仕様を用いた競合検出法と，競合を検出するための形式仕様構築法を提案する．また，提案手法の有効性を仕様構築実験の実験結果から評価する．本提案手法により，自己適応システム構築に対する早期段階での競合への対応が期待できる． |
| 抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
Self-adaptive systems have recently attracted attention as flexible software because they can change their own behaviors to react to changes in their environments. However, these systems usually have multi-processes within them and developers are forced to design and construct these processes deliberately not to induce conflicts. This paper describes our approach to developing self-adaptive systems utilizing a requirements model and formal specification to detect conflicts and design the behavior keeping away the conflicts. The paper also discusses our evaluation of the effectiveness of our development process through a case study. |
| 書誌情報 |
ja : 情報処理学会論文誌
巻 51,
号 9,
p. 1751-1764,
発行日 2010-09-15
|
| 出版者 |
|
|
出版者 |
情報処理学会 |
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
18827764 |
| 権利 |
|
|
権利情報 |
(c) 2010 Information Processing Society of Japan. 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 |
| 関連サイト |
|
|
|
識別子タイプ |
URI |
|
|
関連識別子 |
http://id.nii.ac.jp/1001/00070348/ |
| 著者版フラグ |
|
|
出版タイプ |
VoR |
|
出版タイプResource |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
IPSJ-JNL5109026 (932.0 kB)
