Tiivistelmä
システムモデリングにおける重要な概念として、推論主義のリソースセマンティクスがどのように適用されるかを説明。
数量使用の読み取りや共有/分離の解釈が示された線形論理と束論理の両方を包括する。
IPLやIMALL、BIなどのロジックへのB-eSアプローチが提供され、それぞれの解釈が具体例で説明されている。
索引:
導入
情報科学におけるシステム概念
論理システムモデリングとサブストラクチャルロジック
ベース拡張意味論(B-eS)
IPL、IMALL、BIに対するB-eSアプローチ
推論主義的リソースセマンティクスへの応用
エアポートセキュリティインフラストラクチャーとMFA
Tilastot
この作業はUK EPSRC助成金EP/S013008/1およびEP/R006865/1に部分的に支援されています。
Lainaukset
"数使用"読み取りはLL(Linear Logic)から派生し、資源振舞を表現します。
"共有/分離"読み取りはBI(Bunched Implications)から派生し、分散システムアーキテクチャをモデル化します。