形式仕様記述言語は，何らかの数学的な体系に従って，作られている．このうち，よく使用される形式的仕様記述言語は，（公理的）集合論に基づいているものが多い．原書にある集合論に基づく形式的仕様記述言語の例は，以下である． Z, […]
-
Pages
-
Categories
-
Archives
Monthly Archives: 11月 2014
KAOS (99) 過程ベースの仕様 (4.4.2-11)
18/11/2014 – 7:49 AM
これまでの例で見たように，時相論理により，自然言語に近い形で要求や前提を記述することができることが分かる．一方で，常に自然に記述できるというわけではない．少し複雑な式になると，直感的に意味をとりづらくなる． 対処の方法と […]
KAOS (98) 過程ベースの仕様 (4.4.2-10)
17/11/2014 – 7:51 AM
ここまでは，線形時間論理（LTL）と呼ばれる時間を線形でモデル化したときの演算子についてであった．分岐で時間をモデル化する場合もある．代表的なものに，CTL（Computation Tree Logic)がある． 時間 […]