ハイパーグラフとしてのゴールグラフの定義
1) 青山学院大学
| Abstract | 形式的要求獲得方法として，ゴール指向要求分析が注目されている．ゴール指向要求分析の成果物は，ゴールグラフと呼ばれる非循環有向グラフである．ゴール指向要求分析では，ゴールグラフに基づいた分析が行われるため，ゴールグラフが厳密に定義されている必要がある．しかしながら，著者の知る限りにおいて，ゴールグラフをハイパーグラフとして定義する試みは未だ行われていない．ゴールグラフはAND/ORグラフであり，AND/ORグラフはハイパーグラフとして定義される．そこで本稿では，AND/ORグラフの定義に基づき，ゴールグラフを数理的になるべく厳密に定義することを試みた結果について述べる． |
|---|---|
| As a formal goal selection method, Goal-Oriented Requirements Engineering (GORE) approach has received much attention. The artifact of GORE is a directed acyclic graph which is called goal graph. Because any analysis in GORE is basically based on goal graph, goal graph needs to be defined strictly. However, as far as author can tell, no attempts to define goal graph as a hypergraph has been done. Goal graph is a AND/OR graph and AND/OR graph is defined by a hypergraph. Therefore, it is valuable to define goal graph as a hypergraph as a foundation to apply existing study results of AND/OR graph to GORE. For this reason, the result of an attempt to define goal graph mathematically as strictly as possible is stated in this paper. | |
| Keywords | ゴールグラフ，ハイパーグラフ，定義 |
| Goal Graph，Hypergraph，Definition |
