カイヤ ハルヒコ   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