ここでは，原書にある例の続きである． 要求3 会議参加予定者には，会議開始の少なくとも3週間前までに期日と場所の通知を行うこと． 対応する様相論理記述 ∀p: Person, m: Meeting Holds(m) ∧ […]
-
Pages
-
Categories
-
Archives
Monthly Archives: 11月 2014
KAOS (96) 過程ベースの仕様 (4.4.2-8)
15/11/2014 – 1:58 PM
ここでは，原書にある例を幾つか見る． 要求1 列車のドアは，プラットフォーム（駅）間では，閉まっていなければならない．但し，緊急事態のためにプラットフォーム間で停止している間は除く． 対応する様相論理記述 ∀tr: Tr […]
KAOS (95) 過程ベースの仕様 (4.4.2-7)
14/11/2014 – 8:21 AM
最初は，操作（証明）を行う時に必要な公理である．様相論理の場合は，少し複雑なので，「未来」における例を示す． (0) □ φ → φ (1) ○¬φ ⇔ ¬○φ (2) ○(φ → ψ) ⇔ (○φ → ○ψ) (3) […]