G-LOTOS の仕様化環境SEGLの構成と試作

スポンサーリンク

概要

論文の詳細を見る
本論文では,ISOが情報通信システム用に勧告している形式的仕厳記述言語LOTOSの図的表現であるG-LOTOSによる仕様記述を効果的に支援するための仕様化支援環境SEGL(Specification Environmentfor G-LOTOS)を試作する.SEGLは,(1)G-LOTOSエディタ,(2)「G→T変換機構」と(3)「T一G変換機構」から構成されている.(1)では,「図形シンボルの内側に再度図形シンボルを記述する」というG-LOTOSの文法の図形的特徴を処理するため,「図形自動配置機能」を提案している(2)はG-mTOS仕様をテキストLODTOS仕様へ変換する機能である.また(3)は,テキストLOTOS仕様をG-LOTOS仕様へ変換する機能であり,特に自励的に変換する手法を提案している.(1),(3)と(3)の機能を用いてSEGLを試作し,具体的なプロトコルの記述などを通して,その有効性を確認している.
一般社団法人情報処理学会の論文
1991-03-15

著者

関連論文

もっと見る

スポンサーリンク