貸出操作スキーマ 今回は，操作スキーマを定義する．これまでのデータスキーマは，時間によって変化しないものを示している．操作スキーマが与えるのは，操作による動的な変化である． 操作スキーマでも，既に定義しているデータスキー […]
-
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）を定義する[ref]一部原著から書き換えた（エラーを避けるために，LoanLimitを宣言したのと，述語部の最後の式を分かりやすくした）[/re […]