書架データスキーマ 次に，書架データスキーマ（LibraryShelves）を定義する． 書架という名前は難しい．貸出可能な本が，書架にあることは期待して良いかもしれない．しかし，貸出中の本は書架にはない．その部分は，書 […]
-
Pages
-
Categories
-
Archives
Category Archives: KAOS
KAOS (102) 状態ベースの仕様 (4.4.3-3)
20/04/2016 – 6:46 AM
図書館登場人物データスキーマ 次のデータスキーマは単純である．図書館システムに関係する登場人物（LibraryAgents）を定義しているデータスキーマである． 図書館利用者（OrdinaryPatron）は，人（Per […]
KAOS (101) 状態ベースの仕様 (4.4.3-2)
19/04/2016 – 6:33 AM
ここからしばらくは，仕様記述言語Zについてである．この言語は，ISOで定義されている ここでの例題は，図書館管理システムである（定番とも云える）． 最初に，無条件に使える集合を宣言しておく． ［Book, BookCop […]