ここまでで様々な図式を見てきた．手法を考えるとき，単一の図式だけを用いることは少なく，通常は複数の図式を組み合わせることになる（KAOSもそうである）．システムを記述するには，異なるビューが必要で，各ビューには適切な書き […]
-
Pages
-
Categories
-
Archives
Category Archives: 要求工学
KAOS (73) 図式を使用する: 状態機械図 (4.3.7ｰ4)
19/10/2014 – 12:32 PM
我々のモデリングアプローチ，特にステートチャート言語は，反応型のシステムに有効である．そのふるまいは複雑で，よく知られているように，見つけにくい誤りに満ちた仕様上の問題を引き起こす．多くのリアルタイムシステムは，相当する […]
KAOS (72) 図式を使用する: 状態機械図 (4.3.7ｰ3)
18/10/2014 – 10:39 AM
今回は，Mealy風の会議スケジュール管理システムの例である（原書からは変更している）． Mealy風にアクション（初期の状態機械の例だと出力）は，遷移に付随している． Moore風に書くこともできる．但し，Moore型 […]