ここでは，原書にある例を幾つか見る． 要求1 列車のドアは，プラットフォーム（駅）間では，閉まっていなければならない．但し，緊急事態のためにプラットフォーム間で停止している間は除く． 対応する様相論理記述 ∀tr: Tr […]
-
Pages
-
Categories
-
Archives
Category Archives: 要求
KAOS (95) 過程ベースの仕様 (4.4.2-7)
14/11/2014 – 8:21 AM
最初は，操作（証明）を行う時に必要な公理である．様相論理の場合は，少し複雑なので，「未来」における例を示す． (0) □ φ → φ (1) ○¬φ ⇔ ¬○φ (2) ○(φ → ψ) ⇔ (○φ → ○ψ) (3) […]
KAOS (94) 過程ベースの仕様 (4.4.2-6)
13/11/2014 – 2:09 PM
今回は，過去を示す演算子である．引き続き教科書から例をとる．ただ，記号が特殊でテキストでは書きづらいので，記号は，KAOS教科書にあるものを使う．このあたりの記号の豊富さが，絵文字に仲間意識を感じるように，魅力的なところ […]