JIS X 0125:1986 決定表 | ページ 2

                                                                                              5
                                                                                    X 0125-1986
                                     図2 決定表の順番関係
                                     図3 決定表の選択関係

――――― [JIS X 0125 pdf 6] ―――――

6
X 0125-1986
                                     図4 決定表の反復関係

5.4 入れ子関係

 ある表に記述されている条件の判定の間(図5参照)又は動作の実行の間に(図6参
照)他の表の実行が完了するとき,それらの表は入れ子関係にあるという。ここで,入れ子にする表を親,
入れ子にされる表を子という。この関係は,入れ子(JIS X 0001の07.08.04)の定義と同じとする。
  入れ子関係にある親の表は,子を呼ぶ条件又は動作において,子の表を指す何らかの適切な指示子を必
要とする。子の表は,同様にその親の表に戻る動作を必要とする。この動作は,子の表で入れ子関係を保
つすべての規則において,最後に実行されなければならない。親の表においては,条件のときにはその条
件に戻って値を与え,動作のときには次の動作に戻る。
                         図5 決定表の入れ子関係(条件から呼び出す。)
          備考 この例では,表2を実行してから,表1の条件を判定する。

――――― [JIS X 0125 pdf 7] ―――――

                                                                                              7
                                                                                    X 0125-1986
                         図6 決定表の入れ子関係(動作から呼び出す。)

5.5 関係の組合せ

 問題とその解を記述するのに,これらの関係を任意に組み合わせて使用してよい。
    例 :  図7に,幾つもの関係を組み合わせた例を示す。
  表1は,その表の反復を要求する二つの規則,及び表2を直後の表とする二つの規則をもつ。表2は,
更に表3を直後の表とする二つの規則,及び表4を直後の表とする二つの規則をもつ。表3及び表4は,
それぞれ,条件を評価するために表5を入れ子にする。
  表1からの可能な選択は,次のいずれかである。
(1) 表1の反復
(2) 表2,表3(表5を入れ子としている)への順番処理
(3) 表2,表4(表5を入れ子としている)への順番処理

――――― [JIS X 0125 pdf 8] ―――――

8
X 0125-1986
                                    図7 組み合わされた関係

6. 決定表の解釈

6.1 解釈の方式

 決定表の解釈の方式は,次の(1)又は(2)とする。いずれの方式を用いるかは,規定しな
い(4.1参照)。
(1) 列順序方式 (columnar method)   事例を特定しておき,この事例について規則を一つずつ順番に調べ
    ていき,満足する規則を定める。その手順は,次のとおりとする。
  (a) 特定された事例についてすべての条件を判定し,それらすべての値を定める。
  (b) それらの値によって規則を一つずつ順番に調べていく。一致する値の組が見つかったら,その規則
      に指定されているすべての動作を順番に実行する。
  (c) 特定された事例についての値によってどの規則も満足されないなら,補完規則に指定されているす
      べての動作を順番に実行する。
(2) 行順序方式 (linear method)  条件を一つずつ順番に判定していき,満足される規則を定める。その
    手順は,次のとおりとする。

――――― [JIS X 0125 pdf 9] ―――――

                                                                                              9
                                                                                    X 0125-1986
  (a) 最初の条件を判定する。
  (b) この判定によって満足されない規則をすべて無視する。
  (c) 残った規則について次の条件を調べる。その条件が,残った規則の全部について“−”指定をもっ
      ているならば,その条件を無視する。その条件が,残った規則の一部について“−”以外の指定を
      もっているならば,その規則だけについて条件を判定する。
  (d) すべての条件が判定されるか又は無視されるまで,手順(b)及び(c)を繰り返す。
  (e) 条件判定のすべての結果によって満足される一つの規則が適用される。又は,いかなる規則も満足
      されないときには,補完規則が適用される。その規則で指定されたすべての動作を順番に実行する。

6.2 完備性 (completeness)

   定義[2.(2)参照]によって,解釈のいずれの方式においても,満足される
規則がただ一つだけ定まらなければならない。補完規則が表に含まれていても,指定されている規則のう
ちの一つが満足されていれば,定義[2.(5)参照]によって,補完規則が適用されることはない。補完規則
を含む表は,常に完備している。補完規則は,効果としては,省略時適用の規則である。誤って表から書
き落とした規則がある場合は,その代わりに,補完規則が適用されるので,補完規則の使用には注意を要
する。
  補完規則を含まない表は,条件の論理的に可能なすべての組合せを指定しなければならない。そのよう
な表については,すべての組合せを網羅するように,その作成に当たって注意しなければならない。完備
性の検証は,決定表作文の重要な部分である。

――――― [JIS X 0125 pdf 10] ―――――

次のページ PDF 11