LOTOSによる交換サービス仕様の記述

• 山野, 敬一郎

• 大友, 弥生

• 更科, 克幸

• 安藤, 津芳

• 太田, 正孝

• 高橋, 薫

書誌事項

タイトル別名

• Specification of Switching System Services in LOTOS

抄録

近年,通信プロトコルの厳密な仕様化を行うために,各種の形式的な記述技法(FDT)が提案されている.このFDTの1つとして開発されたLOTOSは,数学的モデルをベースとしており記述能力が高く,言語自体に検証能力を持つため,その活用が期待されている.しかし,OSIなどへの適用は十分な検討がなされているが,一般的な交換サービスなどについては適用例が少ない.従って本報告では,従来自然言語やSDLによってい記述されていた交換サービスをとりあげ,LOTOSによる形式的仕様記述の評価・検討を行う.これによって,その記述の妥当性を調べるとともに,LOTOSの記述上の特徴をどれだけ交換サービスに生かせるか,さらに検証への適用などを考えていくことを目的とする.

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第42回 (ソフトウェア工学), 171-172, 1991-02-25

詳細情報

• CRID: 1050011097175801856
• NII論文ID: 110002886468
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00120662/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles