貸出操作スキーマ 今回は，操作スキーマを定義する．これまでのデータスキーマは，時間によって変化しないものを示している．操作スキーマが与えるのは，操作による動的な変化である． 操作スキーマでも，既に定義しているデータスキー […]
-
Pages
-
Categories
-
Archives
Monthly Archives: 4月 2016
KAOS (104) 状態ベースの仕様 (4.4.3-5)
22/04/2016 – 8:54 PM
図書館システムデータスキーマ これまで準備したスキーマを用いて，図書館システム（LibrarySystem）を定義する． 宣言部では，以前に作成したスキーマを利用している（Directory は，101回目で，Libra […]
KAOS (103) 状態ベースの仕様 (4.4.3-4)
21/04/2016 – 8:18 AM
書架データスキーマ 次に，書架データスキーマ（LibraryShelves）を定義する． 書架という名前は難しい．貸出可能な本が，書架にあることは期待して良いかもしれない．しかし，貸出中の本は書架にはない．その部分は，書 […]