Category Archives: KAOS

KAOS (74) 図式を使用する: 複数のビュー (4.3.8, 4.3.9)

20/10/2014 – 7:31 AM

ここまでで様々な図式を見てきた．手法を考えるとき，単一の図式だけを用いることは少なく，通常は複数の図式を組み合わせることになる（KAOSもそうである）．システムを記述するには，異なるビューが必要で，各ビューには適切な書き […]

By nil | Also posted in 文書, 要求, 要求工学 | KAOS (74) 図式を使用する: 複数のビュー (4.3.8, 4.3.9) はコメントを受け付けていません

KAOS (73) 図式を使用する: 状態機械図 (4.3.7ｰ4)

19/10/2014 – 12:32 PM

我々のモデリングアプローチ，特にステートチャート言語は，反応型のシステムに有効である．そのふるまいは複雑で，よく知られているように，見つけにくい誤りに満ちた仕様上の問題を引き起こす．多くのリアルタイムシステムは，相当する […]

By nil | Also posted in 要求, 要求工学 | Tagged | KAOS (73) 図式を使用する: 状態機械図 (4.3.7ｰ4) はコメントを受け付けていません

KAOS (72) 図式を使用する: 状態機械図 (4.3.7ｰ3)

18/10/2014 – 10:39 AM

今回は，Mealy風の会議スケジュール管理システムの例である（原書からは変更している）． Mealy風にアクション（初期の状態機械の例だと出力）は，遷移に付随している． Moore風に書くこともできる．但し，Moore型 […]

By nil | Also posted in 文書, 要求, 要求工学 | KAOS (72) 図式を使用する: 状態機械図 (4.3.7ｰ3) はコメントを受け付けていません