{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00009282","sets":["581:582:584"]},"path":["584"],"owner":"1","recid":"9282","title":["UMLを用いたシステム運用管理プロセスの形式的表現および妥当性検証"],"pubdate":{"attribute_name":"公開日","attribute_value":"2009-02-15"},"_buckets":{"deposit":"7fabd664-f830-448f-8c03-c155172a662b"},"_deposit":{"id":"9282","pid":{"type":"depid","value":"9282","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"UMLを用いたシステム運用管理プロセスの形式的表現および妥当性検証","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"UMLを用いたシステム運用管理プロセスの形式的表現および妥当性検証"},{"subitem_title":"Formal Description and Verification of System Management Processes Using UML","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"特集：組織における情報システム開発","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"2009-02-15","item_2_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"株式会社富士通研究所"},{"subitem_text_value":"株式会社富士通研究所"},{"subitem_text_value":"株式会社富士通研究所"},{"subitem_text_value":"株式会社富士通研究所"}]},"item_2_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Fujitsu Laboratories Limited.","subitem_text_language":"en"},{"subitem_text_value":"Fujitsu Laboratories Limited.","subitem_text_language":"en"},{"subitem_text_value":"Fujitsu Laboratories Limited.","subitem_text_language":"en"},{"subitem_text_value":"Fujitsu Laboratories Limited.","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/9282/files/IPSJ-JNL5002020.pdf"},"date":[{"dateType":"Available","dateValue":"2011-02-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL5002020.pdf","filesize":[{"value":"1.0 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"8"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"34cbc197-7a95-4012-a45a-99315911c0a1","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2009 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"菊池, 慎司"},{"creatorName":"土屋, 哲"},{"creatorName":"関口, 敦二"},{"creatorName":"勝山, 恒男"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shinji, Kikuchi","creatorNameLang":"en"},{"creatorName":"Satoshi, Tsuchiya","creatorNameLang":"en"},{"creatorName":"Atsuji, Sekiguchi","creatorNameLang":"en"},{"creatorName":"Tsuneo, Katsuyama","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_2_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116647","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_2_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7764","subitem_source_identifier_type":"ISSN"}]},"item_2_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"今日，システムの運用管理においては，その信頼性向上のために，セキュリティや内部統制といった様々な観点からシステム運用管理作業（プロセス）をチェックすることが求められている．しかし現状では，運用管理プロセスは自然言語によって記述されているため，定められたプロセスが，与えられた制約条件を充足できるかどうかを判定するのが非常に困難である．この現状を打破するためには，プロセスと要件を形式的に記述し，その妥当性の機械的判定を可能にすることが必要である．そこで本論文では，UMLを用いたシステム運用管理プロセスの形式的記述方法と，その妥当性をモデル検査により検証する手法を提案する．本手法は，システム運用管理プロセスの内容を，3種類のUML図を用いて厳密に記述することと，それらの図から運用プロセスの挙動モデルを構築することで，図の間の不整合を形式的手法によって検出することを可能にする．また，モデル検査ツールNuSMVを用いて本手法の実装を行い，それを例題に適用することで，短時間で運用プロセスの検証が可能であることを示す．本手法によりシステム運用プロセスの妥当性検証を機械的に支援することで，システム運用管理の信頼性向上が可能になると考えられる．","subitem_description_type":"Other"}]},"item_2_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In order to improve reliability in today's system management tasks, it is required to define system management processes formally and to check the validity of them from various viewpoints such as security or compliance with policies. It is, however, difficult to determine whether system management processes defined in natural language can satisfy given constraints. Therefore, methods to check the system management processes' validity are highly demanded. In this paper, we propose a method to design system management processes and verify their consistency. We first define a formal description method for system management processes using three types of UML diagrams which enable us to design system management processes from different aspects strictly. Next, we construct state transition models representing the processes' behavior. Then, we verify the process definition by applying model checking technique for the models. We implement the verification function using model checker NuSMV and show that our method can check the validity of process in a short period of time through our case study. Our method will be able to contribute to improve the reliability of system management operations by helping system administrators define valid processes.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"650","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"637","bibliographicIssueDates":{"bibliographicIssueDate":"2009-02-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicVolumeNumber":"50"}]},"relation_version_is_last":true,"item_2_alternative_title_2":{"attribute_name":"その他タイトル","attribute_value_mlt":[{"subitem_alternative_title":"情報と情報技術"}]},"weko_creator_id":"1"},"id":9282,"updated":"2025-01-23T03:28:20.993999+00:00","links":{},"created":"2025-01-18T22:44:32.547786+00:00"}