WEKO3
アイテム
{"_buckets": {"deposit": "6cc90744-3b11-4538-9898-cec885e4dd17"}, "_deposit": {"created_by": 3, "id": "8525", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "8525"}, "status": "published"}, "_oai": {"id": "oai:uec.repo.nii.ac.jp:00008525", "sets": ["10"]}, "author_link": ["23287"], "control_number": "8525", "item_10006_date_granted_11": {"attribute_name": "学位授与年月日", "attribute_value_mlt": [{"subitem_dategranted": "2017-03-24"}]}, "item_10006_degree_grantor_9": {"attribute_name": "学位授与機関", "attribute_value_mlt": [{"subitem_degreegrantor": [{"subitem_degreegrantor_name": "電気通信大学"}], "subitem_degreegrantor_identifier": [{"subitem_degreegrantor_identifier_name": "12612", "subitem_degreegrantor_identifier_scheme": "kakenhi"}]}]}, "item_10006_degree_name_8": {"attribute_name": "学位名", "attribute_value_mlt": [{"subitem_degreename": "博士(工学)"}]}, "item_10006_description_10": {"attribute_name": "学位授与年度", "attribute_value_mlt": [{"subitem_description": "2016", "subitem_description_type": "Other"}]}, "item_10006_description_7": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "情報システムは様々な企業や官公庁で利用されており,業務を支援している.このような状況では,実際の業務において真に有用な情報システムを開発するためには,情報システムの開発とビジネスプロセスの設計をそれぞれ独立して行うのではなく,組織の目標を達成するためのビジネスプロセスを設計し,それに合わせてビジネスプロセスの実行を効率的に支援するための情報システムを構築する必要がある.これらの設計・構築は要求を体系的・論理的に記述できるゴールモデルや,ビジネスプロセスの流れを記述できるビジネスプロセスモデルを用いることで,効果的に行うことができる.しかし,設計時において前提としていた組織を取り巻く環境は法律の改正や市場の変化等の理由によって変化するため,情報システムやビジネスプロセスは1度構築するだけでは十分ではなく,継続的に現環境において適切なものとなっているのかを検証し,不適切であれば改善する必要がある.また,このように複雑で変化する環境においては,情報システムやビジネスプロセスに求められる要件定義を行うことは難しい.\n 上記のような問題に対処するためには,環境変化が発生しているか確認するために,情報システムの実行ログが望ましい性質を満たしているか検証する技術や,組織の目標やビジネスプロセスに関するモデルを効率的に構築する技術が必要であり,研究が行われているが依然困難である.既存研究においては,実行ログの分析手法については,一般的に時相論理によって成り立つべき性質や成り立つべきでない性質を記述して検証を行うが,時相論理の記述は数理論理学の知識が不足している者やドメイン知識が不足している場合においては,正確に記述することが難しいという問題がある.また,モデルの構築については,組織を取り巻く様々な側面を記述した複数のモデルの整合性がとれた状態で構築する手法が不十分である.\n 本研究で提案するアプローチはこれらの課題の解決を目指し,以下の2 つの内容に取り組んだ.:(1) ゴール指向要求分析手法KAOS によるゴールモデルからビジネスプロセスモデルを導出する手法,(2) 決定木を利用したビジネスプロセス実行ログの検証支援手法.これらを用いることで,要求を的確にビジネスプロセスに反映すること,実行されたビジネスプロセスの問題点を把握することができる.これらの提案手法はロンドンにおける救急車配備システムや電話の修理プロセス等を題材にケーススタディを行いそれぞれ2 つの提案手法について評価し,有効性を確認できた.", "subitem_description_type": "Abstract"}]}, "item_10006_dissertation_number_12": {"attribute_name": "学位授与番号", "attribute_value_mlt": [{"subitem_dissertationnumber": "甲第897号"}]}, "item_10006_text_22": {"attribute_name": "専攻", "attribute_value_mlt": [{"subitem_text_value": "情報システム学研究科"}, {"subitem_text_value": "社会知能情報学専攻"}]}, "item_10006_text_23": {"attribute_name": "学術成果タイプ", "attribute_value_mlt": [{"subitem_text_value": "博士学位論文"}]}, "item_10006_version_type_18": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "堀田, 大貴", "creatorNameLang": "ja"}, {"creatorName": "ホリタ, ヒロキ", "creatorNameLang": "ja-Kana"}, {"creatorName": "Horita, Hiroki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "23287", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-04-24"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "1461004.pdf", "filesize": [{"value": "4.9 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 4900000.0, "url": {"label": "1461004.pdf", "url": "https://uec.repo.nii.ac.jp/record/8525/files/1461004.pdf"}, "version_id": "80fa9823-2398-4b14-94da-5b40e97f2855"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "doctoral thesis", "resourceuri": "http://purl.org/coar/resource_type/c_db06"}]}, "item_title": "ゴール指向要求分析に基づくビジネスプロセスの構築と検証に関する研究", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "ゴール指向要求分析に基づくビジネスプロセスの構築と検証に関する研究", "subitem_title_language": "ja"}]}, "item_type_id": "10006", "owner": "3", "path": ["10"], "permalink_uri": "https://uec.repo.nii.ac.jp/records/8525", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2017-03-24"}, "publish_date": "2017-03-24", "publish_status": "0", "recid": "8525", "relation": {}, "relation_version_is_last": true, "title": ["ゴール指向要求分析に基づくビジネスプロセスの構築と検証に関する研究"], "weko_shared_id": -1}
ゴール指向要求分析に基づくビジネスプロセスの構築と検証に関する研究
https://uec.repo.nii.ac.jp/records/8525
https://uec.repo.nii.ac.jp/records/85258cadfbc2-3bc2-4daf-9d98-15946e031ddb
名前 / ファイル | ライセンス | アクション |
---|---|---|
1461004.pdf (4.9 MB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2017-03-24 | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | ゴール指向要求分析に基づくビジネスプロセスの構築と検証に関する研究 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||
資源タイプ | doctoral thesis | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
堀田, 大貴
× 堀田, 大貴 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 情報システムは様々な企業や官公庁で利用されており,業務を支援している.このような状況では,実際の業務において真に有用な情報システムを開発するためには,情報システムの開発とビジネスプロセスの設計をそれぞれ独立して行うのではなく,組織の目標を達成するためのビジネスプロセスを設計し,それに合わせてビジネスプロセスの実行を効率的に支援するための情報システムを構築する必要がある.これらの設計・構築は要求を体系的・論理的に記述できるゴールモデルや,ビジネスプロセスの流れを記述できるビジネスプロセスモデルを用いることで,効果的に行うことができる.しかし,設計時において前提としていた組織を取り巻く環境は法律の改正や市場の変化等の理由によって変化するため,情報システムやビジネスプロセスは1度構築するだけでは十分ではなく,継続的に現環境において適切なものとなっているのかを検証し,不適切であれば改善する必要がある.また,このように複雑で変化する環境においては,情報システムやビジネスプロセスに求められる要件定義を行うことは難しい. 上記のような問題に対処するためには,環境変化が発生しているか確認するために,情報システムの実行ログが望ましい性質を満たしているか検証する技術や,組織の目標やビジネスプロセスに関するモデルを効率的に構築する技術が必要であり,研究が行われているが依然困難である.既存研究においては,実行ログの分析手法については,一般的に時相論理によって成り立つべき性質や成り立つべきでない性質を記述して検証を行うが,時相論理の記述は数理論理学の知識が不足している者やドメイン知識が不足している場合においては,正確に記述することが難しいという問題がある.また,モデルの構築については,組織を取り巻く様々な側面を記述した複数のモデルの整合性がとれた状態で構築する手法が不十分である. 本研究で提案するアプローチはこれらの課題の解決を目指し,以下の2 つの内容に取り組んだ.:(1) ゴール指向要求分析手法KAOS によるゴールモデルからビジネスプロセスモデルを導出する手法,(2) 決定木を利用したビジネスプロセス実行ログの検証支援手法.これらを用いることで,要求を的確にビジネスプロセスに反映すること,実行されたビジネスプロセスの問題点を把握することができる.これらの提案手法はロンドンにおける救急車配備システムや電話の修理プロセス等を題材にケーススタディを行いそれぞれ2 つの提案手法について評価し,有効性を確認できた. |
|||||
学位名 | ||||||
学位名 | 博士(工学) | |||||
学位授与機関 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 12612 | |||||
学位授与機関名 | 電気通信大学 | |||||
学位授与年度 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 2016 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2017-03-24 | |||||
学位授与番号 | ||||||
学位授与番号 | 甲第897号 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
専攻 | ||||||
情報システム学研究科 | ||||||
専攻 | ||||||
社会知能情報学専攻 | ||||||
学術成果タイプ | ||||||
博士学位論文 |