研究者情報 | 神奈川大学

カイヤ　ハルヒコ Kaiya Haruhiko 海谷　治彦所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	英語
発行・発表の年月	2020/07
形態種別	その他論文
査読	査読あり
標題	Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling
執筆形態	共著
掲載誌名	Learning and Analytics in Intelligent Systems
掲載区分	国外
出版社・発行元	Springer
巻・号・頁	19,pp.70-83
担当範囲	Development of the tool
著者・共著者	Haruhiko Kaiya, Wataru FujitaRyotaro YamadaAtsuo HazeyamaShinpei OgataTakao OkuboNobukazu YoshiokaHironori Washizaki
概要	In a complex socio-technical system, a human's goal is delegated to many actors such as human and machines. Because the delegated goal can be decomposed into several sub-goals by each actor, goals are delegated recursively until an actor provides the means to achieve each sub-goal. We have already proposed a notation and a method called GDMA to represent and analyze the issues above. Because GDMA can be represented in a class diagram, software engineers do not have to use specific tools of GDMA models. To confirm whether a goal is properly achieved by suitable means, we have to trace such delegation and decomposition relationships. However, it is not easy to confirm it in a real-world system because of the system's complexity.
DOI	10.1007/978-3-030-53949-8_7