マルチランデブを用いたLOTOS仕様の実行の可視化 (<特集>マルチメディア通信と分散処理)
スポンサーリンク
概要
- 論文の詳細を見る
本稿では, 仕様記述言語LOTOSで記述された仕様(プログラム)の実行を可視化するための一手法を提案する. 本手法では,可視化を行うためLOTOSをアニメーションが記述できるよう拡張する. 拡張したLOTOSを用いて, 可視化を行いたいLOTOS仕様(元仕様)に対する可視化用シナリオを記述する. 元仕様とその可視化用シナリオをLOTOSの同期メカニズムを用いて, あるイベントが実行されたときに対応するアニメーションが表示されるように指定する. 元仕様と可視化用シナリオの組は, 我々が開発しているLOTOSコンパイラによりマルチスレッド化プログラムに変換され高速に実行される. 本手法により,元仕様を変更することなく可視化用シナリオを作成でき, 実行状況をリアルタイムで視覚表示可能になる. いくつかのLOTOS仕様の可視化,作成したシステムの性能評価を行い, 本手法の有効性を確認した.
- 1996-05-15
著者
-
松浦 敏雄
大阪市立大学大学院創造都市研究科
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
谷口 健一
大阪大学基礎工学部情報科学科
-
安本 慶一
滋賀大学経済学部情報管理学科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
関連論文
- 高等学校での「プログラミング」教育の導入 : PENを用いて
- プライバシー保護と個人単一IDを両立する認証基盤の提案(セッションA-1:認証技術(1))
- P2Pネットワークを用いた移動端末からの位置情報付き映像配信システム(パラレル,インターネットと情報倫理教育,一般)
- 教育用計算機環境における認証機構
- 遷移の選択が状態訪問回数で決まる有限状態機械対からなる通信系に対する生存性の検証
- 通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法
- 遷移の選択が状態訪問回数に依存する有限状態機械対からなる通信系に対する生存性検証システム
- 階層型VPNにおける仮想リンクの透過的確立手法(Internet/LAN運用管理技術,新しいパラダイムの中での分散システム/インターネット運用・管理)
- 階層型VPNにおける利用者から透過な仮想リンク構成方式の提案(セッション3)
- 階層型VPNにおける効率的なアクセスポリシ管理手法(アクセス制御・認証,再考 分散システム/インターネットの運用・管理)
- 階層型VPNのためのLDAPサーバを用いた経路制御手法(ユビキタス時代のインターネット/分散システムの構築・運用技術)(システム構築・運用技術)
- P2Pネットワークを用いた移動端末からの位置情報付き映像配信システム(パラレル,インターネットと情報倫理教育,一般)
- P2Pネットワークを用いた移動端末からの位置情報付き映像配信システム(パラレル,インターネットと情報倫理教育,一般)
- P2Pネットワークを用いた時刻付き位置情報管理方式の提案
- Z曲線を用いた効率的な2次元位置情報の分散管理手法の提案とその評価
- グループワークを考慮した協調計算システムにおける動作プログラム群の生成と分散実行
- 遷移条件が状態訪問回数に依存する有限状態機械の生存性検証
- 大規模教育用計算機システムにおける授業・運用支援システムの設計と実装
- 多人数教育用計算機環境におけるシステム管理の省力化の一方法
- 授業支援システムOceanの機能と実現法
- 共有メモリ型並列計算機上での正則な項書換え系の一実装法
- 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例 (第54回全国大会 (平成9年前期 於 : 千葉工大) 大会優秀賞受賞論文 (11件)
- レジスタ付きペトリネットを用いた全体動作仕様から分散動作仕様の自動合成とその応用 (コンカレント・コラボレーション技術論文小特集)
- レジスタ付き時間ペトリネットで記述された分散システムの時間制約付き全体仕様からその時間制約を満たす各ノードの動作記述の自動導出(並列・分散)
- あるスタイルに基づく順序機械型記述における詳細化の正しさの証明方法
- 大阪市立大学学術情報総合センターの機能と運用管理について
- 大阪市立大学学術情報総合センター(仮称)とキャンパスLAN
- ファイルシステムを利用した透過性・汎用性の高い連続メディア情報のリモートアクセス手法(セッション1-A:情報配信)
- ファイルシステムを利用した透過性・汎用性の高い連続メディア情報のリモートアクセス手法(セッション1-A:情報配信)
- P2P 基盤ソフトウェアmusasabi の仮想ピアにおける通信方式
- 1Z-7 P2Pネットワーク上でのSkip Graphを用いたキューの実現(P2P,学生セッション,ネットワーク)
- 1Z-6 階層的クラスタを用いたDHTにおけるノード数の偏りによる影響の排除(P2P,学生セッション,ネットワーク)
- プライバシー保護と個人単一IDを両立する認証基盤の提案(セッションA-1:認証技術(1))
- P2P手法によるインターネットノードの階層的クラスタリング(ネットワークシステム運用管理技術,再考 分散システム/インターネットの運用・管理)
- 階層型VPNにおける他ドメインの証明書を用いたユーザ単位のアクセス制御(会場A)
- 分散型マルチメディアシステムSymphonyにおけるQoS指定を含んだシナリオ記述言語の設計
- ファイルアクセスAPIを用いた連続メディア情報のリモートアクセス手法(ネットワークプロトコル)
- ファイルアクセスAPIを用いた連続メディア情報のリモートアクセス手法(ネットワークプロトコル)
- 「次世代のインターネット/分散システムの構築・運用技術」の編集にあたって
- 無線LANにおける利用者認証機構
- P2P基盤ソフトウェア musasabi の仮想ピアにおける通信方式
- LL-008 階層型VPNにおけるQoSおよびアクセスポリシを考慮した経路選択手法(L分野:ネットワークコンピューティング)
- P2Pによるインターネットノードの階層的クラスタリング手法の提案
- 階層型VPNにおける証明書を利用したアクセス制御手法(セッション2)
- セキュリティ対策案選択問題に対するフォールトツリー解析の応用
- 「情報教育用ソフトウェア・コンテンツはどうあるべきか?」
- 2000年以降の情報教育
- IDENT代理サーバによるリモートアクセスユーザ認証機構
- IDENT代理サーバによるリモートアクセスユーザ認証機構
- 初学者用プログラミング学習環境PENの実装と評価(教育用および初心者用言語,情報教育〜理念・理論・実践〜)
- マルチユーザシステムにおける利用者単位でのネットワークアクセス制御手法(アクセス制御・認証,再考 分散システム/インターネットの運用・管理)
- マルチユーザシステムにおける利用者単位でのネットワークアクセス制御手法
- WWWクライアントを対象とした利用者単位のアクセス制御機構(e-Japan時代のインターネット/分散システムの構築運用技術)
- プログラミング入門教育用学習環境PEN
- 組込みシステムとリアルタイムシステム(「組込みシステム技術の最近の動向特集号」)
- 特集「ユビキタス時代のインターネット/分散システムの構築・運用技術」の編集にあたって
- 24-6 統合的AV機器操作環境Violet
- SMILへのQoS保証文の導入とその柔軟な実装法(マルチメディアネットワークシステム)
- 時間拡張LOTOSの処理系を用いたSMIL記述の実行とQoS制御
- 時間拡張LOTOSの処理系を用いたSMIL記述の実行とQoS制御
- メールクライアントに修正を要しない発信者詐称防止方式
- IPアドレス/MACアドレス偽造に対応した情報コンセント不正アクセス防止方式
- 情報コンセントにおける認証とアドレス偽造防止をVLAN機能により実現するシステムLANA2
- 情報コンセントにおける認証とアドレス偽造防止をVLAN機能により実現するシステムLANA2
- リモートアクセス環境における認証サーバを用いた電子メールの発信者詐称防止の一手法
- マルチランデブを用いたLOTOS仕様の実行の可視化 (マルチメディア通信と分散処理)
- LOTOSで記述されたプロトコルの実行の可視化
- 教育目的に応じて観察の抽象度が変更可能な計算機シミュレータECASの計算機構築演習での活用
- 任意の抽象度で動作を観察できる計算機シミュレータの設計
- 任意の抽象度で動作を観察できる計算機シミュレータの設計
- 仮想計算機を用いたWindows/Linuxを同時に利用できる教育用計算機システムとその管理コスト削減(e-Japan時代のインターネット/分散システムの構築運用技術)
- P2PネットワークにおけるSkip GraphとBloom Filterを用いた効率的な複数キーワード検索手法の提案
- P2PネットワークにおけるSkip GraphとBloom Filterを用いた効率的な複数キーワード検索手法の提案
- P2Pネットワークを用いた位置情報付き映像蓄積配信システムの実現
- 既存のプログラムコードをマルチスレッド環境で実行する方式とその実現
- 時間拡張LOTOSコンパイラの作成とマルチメディアアプリケーションへの応用(マルチメディア通信プロトコル)
- UNIXプログラムをスレッドとして動作させるProcThreadライブラリの設計と実現
- 分散環境でのLOTOS仕様の実現とその評価(マルチメディア通信と分散処理)
- ユーザレベル軽量プロセスライブラリにおける効率の良いI/O処理方式
- 周期スレッドを用いた実時間LOTOSコンパイラの設計
- マルチスレッド化された目的コードを生成するLOTOSコンパイラの実現 (マルチメディア分散・協調コンピューティング)
- UNIX上で周期スレッドを実現するユーザレベルスレッドライブラリの実現法
- UNIX上で周期スレッドを実現するユーザレベルスレッドライブラリの実現法
- マルチスレッド機構を用いたLOTOS仕様実行方式とその評価
- マルチスレッド化目的コードを生成するLOTOSコンパイラの評価
- 階層型VPNにおける効率的なアクセスポリシ管理手法
- B-16-10 階層型 VPN における効率的なアクセスポリシ管理手法
- NFSをベースとした異なる管理ドメイン間での安全かつ簡便なファイル共有
- 階層型VPNのためのLDAPサーバを用いた経路制御手法
- LL-3 階層型VPNのためのLDAPサーバを用いた経路制御手法(L. インターネット)
- 学術情報総合センター教育用計算機システムでのソフトウェア配布手法
- 新研究用計算機システムの概要
- 新教育用計算機システムの概要
- 代理ゲートウェイを用いたSOCKSベースの階層的VPN構成法(次世代のインターネット/分散システムの構築・運用技術)
- Chord#における経路表の維持管理コスト削減手法の提案とその評価
- 距離が付加された要素集合をコンパクトに表現できるDistance Bloom Filterの提案とP2Pネットワークにおける最短経路探索への応用(通信制御,インターネットと情報倫理教育,一般)
- 距離が付加された要素集合をコンパクトに表現できるDistance Bloom Filterの提案とP2Pネットワークにおける最短経路探索への応用(通信制御,インターネットと情報倫理教育,一般)
- プログラミング導入教育におけるコースウェアの違いによる学習効果の比較
- OpenBlocksを用いたプログラミング学習用ソフトウェアの開発
- Skip Graphをベースとした高速な挿入と検索が可能な構造化オーバレイの提案(ソーシャル・ネットワーク,セキュリティ管理,災害時情報流通,オーバーレイネットワーク, P2Pネットワーク,自律分散制御及び一般)