SDLからLOTOSへの変換

• 安藤, 蕉芳

• 大友, 弥生

• 更科, 克幸

• 山野, 敬一郎

• 太田, 正孝

• 高橋, 薫

書誌事項

タイトル別名

• Translation from SDL to LOTOS

抄録

仕様を形式的仕様記述言語を用いて定義することで自動プログラミングや検証と言った機械支援を期待すると共に,仕様の暖昧性の除去・欠落の防止を望む傾向が強くなっている.これに伴い通信ソフトウェアの世界でもCCITT,ISOにおいて形式的仕様記述言語が勧告された.しかし,その発生起源の違いからCCITT勧告のSDLは主に交換ソフトウェアで使用され,ISO勧告のEstelle,LOTOSは主にコンピュータソフトウェアで使用されている.また,その言語の特質としてSDL,Estelleは状態遷移モデルを基盤にしているのに対してLOTOSは時系列表記を基盤にし数学的裏付けを重視して仕様検証を追求している.そこで,本論文ではまず対象とする仕様記述言語の特徴を明確にした後に,交換ソフトウェアのLOTOS的検証の実現を目的として交換ソフトウェア開発に使用されているSDLをLOTOSに変換することを考察する.

収録刊行物

• 全国大会講演論文集

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

詳細情報

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