Category Archives: KAOS

KAOS (106) 状態ベースの仕様 (4.4.3-7)

長所と短所 前回までで,Z言語を用いた記述法に関して,教科書に沿った内容を記述した(もちろん全部ではない). 最後にまとめである. 以下の良い点を持つ素直なアプローチだとしている. システムの状態空間を説明するための数学 […]

KAOS (105) 状態ベースの仕様 (4.4.3-6)

貸出操作スキーマ 今回は,操作スキーマを定義する.これまでのデータスキーマは,時間によって変化しないものを示している.操作スキーマが与えるのは,操作による動的な変化である. 操作スキーマでも,既に定義しているデータスキー […]

KAOS (104) 状態ベースの仕様 (4.4.3-5)

図書館システムデータスキーマ これまで準備したスキーマを用いて,図書館システム(LibrarySystem)を定義する. 宣言部では,以前に作成したスキーマを利用している(Directory は,101回目で,Libra […]