時間変化要素を含む分散型通信システムの記述法

• Item type: SIG Technical Reports(1)
• 公開日: 1995-01-26
• タイトル: 時間変化要素を含む分散型通信システムの記述法
• タイトル / 言語: en
• タイトル: Specification methodologies for distributed communication system including timed primitives.
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 静岡大学工学部
• 著者所属: 静岡大学工学部
• 著者所属: 静岡大学工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Shizuoka University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Shizuoka University
• 著者所属(英): en
• 著者所属(英): Faculty of Engineering, Shizuoka University
• 著者名: 太田, 賢; 渡辺, 尚; 水野, 忠則
• 著者名(英): Ken, Ohta; Takashi, Watanabe; Tadanori, Mizuno
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 分散型通信システムにおいて現在、マルチメディアアプリケーションが注目を集めているが、マルチメディアを扱う際に問題となるのは、その時間変化要素を再生時に保証することである。マルチメディア処理は、各メディアが再生するタイミングを絶対的、あるいは他のメディアに対し相対的に持つような、時間制約を持った並行プロセスである。本研究は、分散システムにおける通信サービス／プロトコルの仕様記述のために開発された形式記述技法を、マルチメディアアプリケーションの仕様記述に適用するものである。また、各メディア再生の時間関係の要求を満たすかの確認及び、そのアプリケーションの動作をシミュレータによりテストする。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In distributed communication systems, many multimedia applications have been proposed and implemented. This paper applies FDT to the specifications of multimedia applications. Each of multimedia data has its timing for playing back absolutely or relatively and works in parallel with other multimedia data. This paper uses LOTOS-T and T-PROMELA to specify the multimedia system including timed primitives. Furthermore it uses T-PROMELA simulator to test user requirements for playing multimedia data and to trace the behavior of multimedia applications.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10116224
• 書誌情報: 情報処理学会研究報告マルチメディア通信と分散処理（DPS）; 巻 1995, 号 13(1994-DPS-068), p. 13-18, 発行日 1995-01-26
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会