| No | 49226 |
|---|---|
| 標題（和） | 仕様の段階的詳細化とグラフ表現に基づく統合型記述支援 |
| 標題（英） | Specification Support System Based on Stepwise Refinement and Graphical Representation |
| 研究会名（和） | 交換システム; 情報ネットワ-ク; 通信方式 |
| 研究会名（英） | Switching Systems Engineering; Information Networks; Communication Systems |
| 開催年月日 | 1993-09-30 |
| 終了年月日 | 1993-10-01 |
| 会議種別コード | 2 |
| 共催団体名（和） | |
| 資料番号 | SSE93-61 // IN93-68 // CS93-84 |
| 抄録（和） | 本論文は,形式的仕様記述言語のLOTOSを核にした通信ソフトウエア設計における仕様記述支援について述べる.仕様記述においては,大規模仕様を容易に記述でき,直感的な理解が得られる表現と記述支援が必要不可欠である.本稿では特に,MSC(メッセ-ジシ-ケンスチャ-ト)とLOTOSのグラフ表現(G-LOTOS)を利用し,構造化設計技法に基づいた段階的な詳細化過程に沿った仕様記述支援に重点を置いている.この目的に対して我々は,詳細化過程の中で適宣用いるMSCとG-LOTOSによる仕様記述を有機的に結合可能とする仕様記述統合支援システムを提供している. |
| 抄録（英） | This paper discusses specification support for communication software design based on the formal description technique LOTOS.In specification description,it is essential to have description support as well as some appropriate representation that can describe large-scale specifications and permit obtaining intuitive understanding.The discussion in this paper focuses on specification support through stepwise refinement based on structured design methods using a message sequence chart(MSC)and LOTOS graphical representation.To this end,we propose an integrated specification support system which provides an organic combination of MSCS,and specification descriptions in G-LOTOS which are used in a stepwise refinement as needed. |
| 収録資料名（和） | 電子情報通信学会技術研究報告 |
| 収録資料の巻号 | Vol.93 No.256,257,258,259,260,261 |
| ページ開始 | 139 |
| ページ終了 | 144 |
| キーワード（和） | グラフィカルロトス |
| キーワード（英） | G-LOTOS |
| 本文の言語 | JPN |
| 著者（和） | 土岐田義明 |
| 著者（ヨミ） | トキタヨシアキ |
| 著者（英） | Tokita Yoshiaki |
| 所属機関（和） | 高度通信システム研究所 |
| 所属機関（英） | Advanced Intelligent Communication System Laboratories |
| 著者（和） | 高橋薫 |
| 著者（ヨミ） | タカハシカオル |
| 著者（英） | Takahashi Kaoru |
| 所属機関（和） | 高度通信システム研究所 |
| 所属機関（英） | Advanced Intelligent Communication System Laboratories |
| 著者（和） | 更科克幸 |
| 著者（ヨミ） | サラシナカツユキ |
| 著者（英） | Sarashina Katsuyuki |
| 所属機関（和） | 高度通信システム研究所 |
| 所属機関（英） | Advanced Intelligent Communication System Laboratories |