MSCによるLOTOS仕様の記述方法

• Item type: SIG Technical Reports(1)
• 公開日: 1992-11-19
• タイトル: MSCによるLOTOS仕様の記述方法
• タイトル / 言語: en
• タイトル: Description methods of a LOTOS specification using MSC
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 高度通信システム研究所
• 著者所属: 高度通信システム研究所
• 著者所属: 東北大学
• 著者所属(英): en
• 著者所属(英): AIC System Laboratories
• 著者所属(英): en
• 著者所属(英): AIC System Laboratories
• 著者所属(英): en
• 著者所属(英): Tohoku University
• 著者名: 安藤津芳; 太田正孝; 高橋, 薫
• 著者名(英): Tsuyoshi, Ando; Masataka, Ohta; Kaoru, Takahashi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では、これまで通信ソフトウェア設計の補助情報として使われてきたメッセージシーケンスチャートからLOTOSで記述された仕様に解釈する方法とその評価について述べる．まず本論文で使用するメッセージシーケンスチャートの定義を示した後に，LOTOS仕様への解釈方法とその評価を述べる。解釈は、単一のメッセージシーケンスチャートをLOTOS記述に変換した後に統合するという方法を取っており、現状では個々の変換より統合に多く問題が残っているが、試用した結果の総合的な評価では、これまでの様に直接エディタ等を用いて仕様記述言語で記述するよりも、遥かに効率的で漏れのないものができることがわかった。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper proposes translation methods from Message Sequence Charts to Formal Description Language, LOTOS. The first section shows translation objects and their background. The second section defines our Message Sequence Chart which is subset of CCITT Message Sequence Chart. The third section proposes translation methods from Message Sequence Charts to LOTOS. The last section shows the estimation of the methods and future studies.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10116224
• 書誌情報: 情報処理学会研究報告マルチメディア通信と分散処理（DPS）; 巻 1992, 号 91(1992-DPS-058), p. 99-106, 発行日 1992-11-19
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会