{"created":"2023-05-15T08:43:56.671899+00:00","id":9101,"links":{},"metadata":{"_buckets":{"deposit":"6543305d-c063-4080-94b9-c524db90d701"},"_deposit":{"created_by":13,"id":"9101","owners":[13],"pid":{"revision_id":0,"type":"depid","value":"9101"},"status":"published"},"_oai":{"id":"oai:uec.repo.nii.ac.jp:00009101","sets":["6"]},"author_link":["24800","24801","24802"],"control_number":"9101","item_10001_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2010-09-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"9","bibliographicPageEnd":"1764","bibliographicPageStart":"1751","bibliographicVolumeNumber":"51","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌","bibliographic_titleLang":"ja"}]}]},"item_10001_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"近年，ソフトウェアの利用環境が広がり，状況の変化に応じて自発的に振舞いや構成を変化させる自己適応システムの実現に対する期待が高まっている．自己適応システムは様々な関心事に対応するための並行プロセスにより構成されるが，状況によって振舞いやそれを構成するプロセス群が変わる可能性があることから，プロセス間で発生する競合に対しては，対処法の検討だけでなくその検出さえも困難である．そこで本研究では，システム開発の早期段階における分析・検証技術に着目し，自己適応システムに対する要求モデルと形式仕様を用いた競合検出法と，競合を検出するための形式仕様構築法を提案する．また，提案手法の有効性を仕様構築実験の実験結果から評価する．本提案手法により，自己適応システム構築に対する早期段階での競合への対応が期待できる．","subitem_description_type":"Abstract"},{"subitem_description":"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.","subitem_description_type":"Abstract"}]},"item_10001_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会"}]},"item_10001_relation_17":{"attribute_name":"関連サイト","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://id.nii.ac.jp/1001/00070348/","subitem_relation_type_select":"URI"}}]},"item_10001_rights_15":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"(c) 2010 Information Processing Society of Japan. 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。"}]},"item_10001_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"18827764","subitem_source_identifier_type":"ISSN"}]},"item_10001_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"中川, 博之","creatorNameLang":"ja"},{"creatorName":"ナカガワ, ヒロユキ","creatorNameLang":"ja-Kana"},{"creatorName":"Nakagawa, Hiroyuki","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"大須賀, 昭彦","creatorNameLang":"ja"},{"creatorName":"オオスガ, アキヒコ","creatorNameLang":"ja-Kana"},{"creatorName":"Ohsuga, Akihiko","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"本位田, 真一","creatorNameLang":"ja"},{"creatorName":"ホンイデン, シンイチ","creatorNameLang":"ja-Kana"},{"creatorName":"Honiden, Shinichi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-04-09"}],"displaytype":"detail","filename":"IPSJ-JNL5109026.pdf","filesize":[{"value":"932.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"IPSJ-JNL5109026","url":"https://uec.repo.nii.ac.jp/record/9101/files/IPSJ-JNL5109026.pdf"},"version_id":"e53f401f-cace-4f19-a301-9f48e16d2866"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"プロセス間競合を考慮した自己適応システムの形式仕様構築","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"プロセス間競合を考慮した自己適応システムの形式仕様構築","subitem_title_language":"ja"},{"subitem_title":"Constructing Formal Specifications for Self-adaptive Systems with Handling Conflicts among Processes","subitem_title_language":"en"}]},"item_type_id":"10001","owner":"13","path":["6"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2019-04-09"},"publish_date":"2019-04-09","publish_status":"0","recid":"9101","relation_version_is_last":true,"title":["プロセス間競合を考慮した自己適応システムの形式仕様構築"],"weko_creator_id":"13","weko_shared_id":-1},"updated":"2024-03-01T06:41:06.098560+00:00"}