2024-03-29T09:01:27Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000359022023-04-27T10:00:04Z01164:02836:02932:02933
MSCによるLOTOS仕様の記述方法Description methods of a LOTOS specification using MSCjpnhttp://id.nii.ac.jp/1001/00035902/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=35902&item_no=1&attribute_id=1&file_no=1Copyright (c) 1992 by the Information Processing Society of Japan高度通信システム研究所高度通信システム研究所東北大学安藤津芳太田正孝高橋, 薫本論文では、これまで通信ソフトウェア設計の補助情報として使われてきたメッセージシーケンスチャートからLOTOSで記述された仕様に解釈する方法とその評価について述べる.まず本論文で使用するメッセージシーケンスチャートの定義を示した後に,LOTOS仕様への解釈方法とその評価を述べる。解釈は、単一のメッセージシーケンスチャートをLOTOS記述に変換した後に統合するという方法を取っており、現状では個々の変換より統合に多く問題が残っているが、試用した結果の総合的な評価では、これまでの様に直接エディタ等を用いて仕様記述言語で記述するよりも、遥かに効率的で漏れのないものができることがわかった。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.AN10116224情報処理学会研究報告マルチメディア通信と分散処理(DPS)199291(1992-DPS-058)991061992-11-192009-06-30