仕様の段階的詳細化とグラフ表現に基づく統合型記述支援
スポンサーリンク
概要
- 論文の詳細を見る
本論文は,形式的仕様記述言語のLOTOSを核にした通信ソフトウエア設計における仕様記述支援について述べる.仕様記述においては,大規模仕様を容易に記述でき,直感的な理解が得られる表現と記述支援が必要不可欠である.本稿では特に,MSC(メッセージシーケンスチャート)とLOTOSのグラフ表現(G-LOTOS)を利用し,構造化設計技法に基づいた段階的な詳細化過程に沿った仕様記述支援に重点を置いている.この目的に対して我々は,詳細化過程の中で適宣用いるMSCとG-LOTOSによる仕様記述を有機的に結合可能とする仕様記述統合支援システムを提供している.
- 社団法人電子情報通信学会の論文
- 1993-09-30
著者
-
高橋 薫
(株)高度通信システム研究所
-
高橋 薫
高度通信システム研究所(aic)
-
更科 克幸
(株)高度通信システム研究所
-
土岐田 義明
(株)高度通信システム研究所
-
更科 克幸
高度通信システム研究所
-
土岐田 義明
高度通信システム研究所
関連論文
- 通信ソフトウェア設計支援環境(ITECS)の評価
- 通信ソフトウエア設計支援環境:ITCES(4) : 仕様検証支援系(Verifier,vega)
- 仕様の段階的詳細化とグラフ表現に基づく統合型記述支援
- シミュレーション関係を用いた大規模システムの部分検証に関する考察
- 位相的観点からの仕様記述
- 相互接続試験スイートの開発
- 相互接続試験システムの機能検討
- 基本相互接続試験システムの開発
- 相互接続試験システムAICTSにおける試験スイートの検討
- 相互接続試験システムAICTSにおける試験スイートの検討
- 相互接続試験システムAICTSの機能検討
- 相互接続試験への拡張性を考慮した適合性システムの開発
- 適合性試験システムの開発 : IUTシミュレータの開発
- 相互接続試験システムAICTSの開発 : 試験スイートの検討
- 相互接続試験システムAICTSの開発 : プロトタイプの開発
- 通信ソフトウエア設計支援環境 : ITECS(1):システム全体構成
- MSCとLOTOSによる通信システム設計支援システム
- 相互接続試験系列生成システム : TESGEN
- 相互運用性試験に対する試験系列生成方式の検討
- ITECSにおける仕様検証支援
- LOTOS仕様の時間特性検証方法に関する一検討
- 通信ソフトウェア設計支援環境ITECSにおける仕様検証支援
- LOTOSを応用した通信ソフトウェア設計支援環境の研究
- 通信ソフトウエア設計支援環境:TECS(2) : 仕様作成支援系 : ASSISts
- 通信ソフトウエア設計支援環境:lTECS(5) : 試験系列生成支援(TESGEN)
- 通信ソフトウエア設計支援環境:ITECS(3) : 仕様記述支援:GLOER
- プロセス仕様の検証のための模倣性判定法
- シミュレーション関係に基づくLOTOS仕様の検証アルゴリズム
- SDLからLOTOSへの変換
- LOTOSによる交換サービス仕様の記述
- GLOER : G-LOTOSエディタの試作
- LOTOSによる交換ソフトウェア仕様検証について
- 通信ソフトウェア設計支援環境 : ITECS(2) : 仕様作成支援
- 通信ソフトウェア設計支援環境 : ITECS(1) : 全体構成
- LOTOSの図式支援環境について