ストリーム指向システム開発のための対話的仕様記述環境
スポンサーリンク
概要
- 論文の詳細を見る
システムの構造と機能を直観的に理解できる図的な表現方法は、システムの機能仕様の多くに取り入れられている。しかし、現状では、プログラムとして構想し記述する段階で、問題の持つ構造を素直に反映することが困難な文章型記述への写像を余儀なくされる。本稿では、図的な仕様が最も効果的な分散型のストリーム処理を対象に、システムエンジニアが図的な仕様記述段を階的に詳細化することを助ける対話的な仕様変換手法を提案する。そこでは、部分的な仕様記述図が副作用なく解釈できる図的な仕様の特徴を利用した加法的変換手法を採用する。最後には、本手法をCGの位置処理を設計する過程を通じて、その実用性を例証する。
- 一般社団法人情報処理学会の論文
- 1998-11-05
著者
-
村上 孝三
大阪大学大学院情報科学研究科情報ネットワーク学専攻
-
村上 孝三
大阪大学大型計算機センター
-
岩田 誠
高知工科大学大学院工学研究科
-
寺田 浩詔
高知工科大学 情報システム工学科
-
唐澤 圭
大阪大学大学院工学研究科情報システム工学専攻
-
寺田 浩詔
高知工科大学
-
岩田 誠
高知工科大学
-
唐沢 圭
大阪大学大学院工学研究科情報システム工学専攻
-
唐澤 圭
大阪大学大学院工学研究科
-
寺田 浩詔
大阪大学工学部
-
寺田 浩詔
大阪大学
-
村上 孝三
大阪大学大学院工学研究科情報システム工学専攻
-
Tanioka Hideaki
Department Of Information Systems Engineering Graduate School Of Engineering Osaka University
関連論文
- マルチサーバ配信における高信頼Inter/Intra-Stream FEC方式(マルチメディアシステム,通信の未来を担う学生論文)
- マルチサーバ配信における高信頼Inter/Intra-Stream FEC方式の拡張提案(品質管理,サービス管理,ビジネス管理,料金管理,及び一般)
- ネットワーク・端末総合系におけるTCPスループット上限値の導出(基礎理論)
- 空き資源の積極利用を指向したマルチチャネルMACプロトコル(無線通信技術,通信技術の未来を拓く学生論文)
- 分散コンポーネントで構成されたネットワークサービスにおける相互通信遅延を考慮した動的コンポーネント配置手法 (情報通信マネジメント)
- WiMAX/WiFi統合網におけるスループット向上のための遺伝的アルゴリズムを用いた周波数割当方式(有線/無線シームレスネットワーク,ハンドオーバ,リレー,分散MIMO,モバイル・アドホックネットワーク,一般)
- WiMAX/WiFi連携メッシュネットワークにおける効率的な周波数共有手法(モバイルネットワーク)
- 大阪大学情報科学研究科におけるソフトウェアデザイン工学高度人材育成への取り組み
- 複数のチャネルを用いた高密度なZigBeeネットワーク構築手法(ネットワークアーキテクチャ(オーバレイ,P2P,ユビキタスNW,スケールフリーNW,アクティブNW,NGN・新世代NW),次世代パケットトランスポート(高速Ethernet,IPoverWDM,マルチサービスパケット技術,MPLS),グリッド,一般)
- 光パケット交換網におけるファイバ資源の利用状況に応じた経路選択手法
- OPS網におけるネットワーク境界部での波長制約を考慮に入れた事前波長変換法
- QoS指向IPルータにおけるTCPストリーミングに適したバッファ管理機構(品質管理,サービス管理,ビジネス管理,料金管理,及び一般)
- Enhanced Fallback+ : 複数のQoS要求を満たす効率的な経路選択アルゴリズム(映像通信, コンテンツ配信ネットワーク, マルチキャスト, 一般)
- 複数のQoS要求を満たす経路選択アルゴリズムFallback+の提案
- 多対多地点間通信のための経路制御とネットワーク構成法
- B-7-155 複数QoSを考慮した経路選択アルゴリズム
- B-7-151 QoSルーチングのためのネットワークマップ構成法
- Fallback+:複数のQoS要求を満たす経路選択アルゴリズム
- 配信者の転送負荷を低減させるP2Pライブストリーミングシステム(P2P,トラヒック,高度プロトコル・ネットワーキング技術(IP及び高位レイヤルーチング・フィルタリング,マルチキャスト,品質・経路制御),IPNWの利用技術(P2P,P4P,オーバレイ,SIP,NGN),ネットワークシステム関連技術(システム構成法,インタフェース,アーキテクチャ,ハードウェア・ソフトウェア・ミドルウェア),一般)
- マルチサーバ配信における高信頼 Inter/Intra-Stream FEC 方式
- 生物の増殖過程に基づくフラッディング制御と伝搬特性評価(映像通信,コンテンツ配信ネットワーク,マルチキャスト,一般)
- 生物の繁殖過程に基づくフラッディング制御方式の検討(ルーチング,ルータ,光ネットワーク制御・設計,一般)
- HomeMAC環境におけるリアルタイムトラヒックのQoS制御方式
- B-6-104 ホームネットワークにおけるMIBを用いたコネクション別QoS管理方式
- 1B07 産学連携による日本型技術創成システムの構築(イノベーションのジレンマへの日本型の解(1))
- 2A11 研究開発型中小企業との連携による先端研究機器・装置の開発(科学技術政策の形成体制)
- 2A10 学術研究成果の産業技術創成プロセスのモデル化(科学技術政策の形成体制)
- 時間制約付き情報検索における要求結果数を考慮したエージェント実行制御方式(一般,ルーチングシステム(適応ルーチング,QoSルーチング,マルチキャスト),ネットワークアプリケーション(IP-TV,ストリーミング,Web2.0),一般)
- ブロードバンドルータにおける多様な遅延帯域要求を実現するバッファ制御機構の検討((フォトニック)IPネットワーク技術,(光)ノード技術,WDM技術,一般)
- End-to-End遅延保証のためのルータ間連携法(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
- B-6-59 ルータ間連携によるEnd-to-End遅延保証法に関する検討(B-6. ネットワークシステム, 通信2)
- IPルータにおける帯域と遅延の要求を実現するQoS制御機構(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- B-6-140 IPルータにおける遅延保証型QoS制御機構に関する検討(B-6. ネットワークシステム)
- B-12-16 光交換ノードにおける共有型波長変換器の優先利用制御手法の検討(B-12.フォトニックネットワーク,一般講演)
- B-12-12 光パケット交換網におけるイーグレスノードでの波長変換抑制法の検討(B-12. フォトニックネットワーク,一般セッション)
- 光交換ノードにおける共有型衝突回避デバイスの優先利用制御手法((フォトニック)IPネットワーク技術,(光)ノード技術,WDM技術,信号処理技術,一般)
- 無線センサネットワークにおけるシンク周辺の負荷分散を考慮したハイブリッド型ルーティングプロトコル(無線ネットワーク・センサネットワーク)
- 時間制約を伴うランク付き情報検索のためのエージェント実行制御方式(一般)
- B-6-106 制約時間の異なるエージェントのための公平性を考慮したスケジューリング方式(B-6.ネットワークシステム,一般セッション)
- IPネットワークにおけるプログレッシブダウンロードに適したQoS制御機構(QoS制御)
- B-12-33 光WDMネットワークにおける消費エネルギー削減のための波長割当法に関する検討(B-12.フォトニックネットワーク,一般セッション)
- B-6-130 WiMAX/WiFi連携メッシュネットワークのためのチャネル割り当てを考慮した経路制御(B-6.ネットワークシステム,一般セッション)
- WiFi/WiMAX統合ネットワークにおける呼損率予測に基づく動的周波数割り当て手法(無線ネットワーク)
- B-14-2 分散コンポーネントで構成されたネットワークサービスにおけるコンポーネント間通信を考慮した動的配置手法(B-14.情報通信マネジメント,一般セッション)
- エージェントを用いたマルチメディア情報検索のための制限時間の違いを考慮した公平なスケジューリング方式(コア・メトロシステム,フォトニックネットワーク・システム,光ネットワーク運用管理,光ネットワーク設計,トラヒックエンジニアリング,シグナリング,GMPLS,ドメイン間経路制御,ネットワーク監視,イーサネット,光伝達網(OTN),高速インタフェース,光制御(波長変換・スイッチング・ルーチング),光ノード技術,光クロスコネクト(OXC),光分岐挿入多量(OADM),光多重・分離装置,光信号処理,光スイッチ素子
- 配信者の転送負荷を低減させるP2Pストリーミングシステムの離脱耐性評価(コア・メトロシステム,フォトニックネットワーク・システム,光ネットワーク運用管理,光ネットワーク設計,トラヒックエンジニアリング,シグナリング,GMPLS,ドメイン間経路制御,ネットワーク監視,イーサネット,光伝達網(OTN),高速インタフェース,光制御(波長変換・スイッチング・ルーチング),光ノード技術,光クロスコネクト(OXC),光分岐挿入多量(OADM),光多重・分離装置,光信号処理,光スイッチ素子,一般)
- エージェント指向ネットワークアーキテクチャDUETの提案
- 分散コンポーネントで構成されたネットワークサービスにおける相互通信遅延を考慮した動的コンポーネント配置手法(管理機能,理論・運用方法論,及び一般)
- B-6-86 広帯域通信サービスのためのモバイルマルチキャスト経路選択法(B-6. ネットワークシステム, 通信2)
- サービスの連続性を考慮したアクセスポイント情報管理提供法(有線/無線シームレスネットワーク,ネットワーク制御,無線通信,モバイルネットワーキング,Mobile IP,一般)
- サービスの連続性を考慮したアクセスポイント情報管理提供法(有線/無線シームレスネットワーク,ネットワーク制御,無線通信,モバイルネットワーキング,Mobile IP,一般)
- B-6-30 サービスエリアの連続性を考慮した無線システム選択のためのアクセスポイント情報管理提供法(B-6. ネットワークシステム)
- 異種アクセス網間での負荷分散を考慮した無線統合ネットワーク構成法(有線無線シームレス, モバイルネットワーキング, Mobile IP, 無線通信, ネットワーク制御, 一般)
- 異種アクセス網間での負荷分散を考慮した無線統合ネットワーク構成法(有線無線シームレス,モバイルネットワーキング,Mobile lP,無線通信,ネットワーク制御,一般)
- B-6-87 柔軟な帯域割り当てを可能とする無線統合ネットワーク構成法
- 分散コンポーネントで構成されたネットワークサービスのためのマルチレイヤ障害検知手法(障害管理,サービス管理,ビジネス管理,料金管理,及び一般)
- 分散コンポーネント数の自律的な増減による適応負荷分散手法(計測)
- B-14-10 分散コンポーネントで構成されたネットワークサービスのための単一障害検知手法(B-14.情報通信マネジメント,一般セッション)
- 分散Webサービスを管理する多重オーバレイネットワークの動的再構築手法(NW管理,次世代NWアーキテクチャ,次世代NWのオペレーションアーキテクチャ,トラヒック計測・モデリング・品質,オーバレイネットワーク,次世代NWサービス品質,一般)
- 分散Webサービスの障害復旧のための多重オーバレイネットワーク(オーバーレイネットワーク,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- B-6-112 個人規模の配信に適したP2Pライブストリーミングシステムの提案(B-6.ネットワークシステム,一般セッション)
- コンテンツ配信負荷を低減させるCDNとP2Pの融合アーキテクチャ(ルーチング,コンテンツ配信,ルーチングシステム(適応ルーチング,QoSルーチング,マルチキャスト),ネットワークアプリケーション(IP-TV,ストリーミング,Web2.0),一般)
- 制御サーバを用いたフロー管理型パケット廃棄制御(フロー制御,QoS,ルーチングシステム(適応ルーチング,QoSルーチング,マルチキャスト),ネットワークアプリケーション(IP-TV,ストリーミング,Web2.0),一般)
- B-6-27 時間制約付き情報検索における中間結果を考慮したエージェント実行方式(B-6.ネットワークシステム,一般セッション)
- B-6-136 ノード性能の不均質なセンサネットワークのための拡張DSRプロトコル(B-6.ネットワークシステム,一般セッション)
- マルチエージェントシステムのための公平かつ効率的なスケジューリングアルゴリズム(交換)
- エンドツーエンドフィードバック型TCP制御方式(Ethernet関連技術, エミュレーション技術, 一般)
- マルチサーバ配信におけるInter-Stream FEC方式の提案(ユビキタス時代のNWシステム・サービス,シームレス通信サービス,一般)
- Erasure codesを用いたマルチサーバ配信制御(映像通信,コンテンツ配信ネットワーク,マルチキャスト,一般)
- B-6-7 TCPスループット上限値の考察(B-6.ネットワークシステム, 通信2)
- B-7-9 レートベースマルチストリーム TCP の検討
- 分散コンポーネントの動的配置によって安定したQoSを提供するネットワークサービスプラットフォーム(サービス管理)
- 光WDMネットワークにおける自律分散データベース管理を用いた保留時間に基づく波長パス設定法(フォトニックネットワーク関連技術,一般)
- ネットワーク制御とサービス制御を一元化するサービス提供プラットフォーム(ライフログ活用技術,オフィス情報システム,情報通信マネジメント,一般)
- パケット廃棄制御DMFQの拡張実装 : パケット処理高速化(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- パケット廃棄制御DMFQの拡張実装 : パケット処理高速化(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- パケット廃棄制御DMFQの拡張実装 : パケット処理高速化(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
- IPルータにおけるバッファ利用率を安定化させるパケット廃棄制御(映像通信,コンテンツ配信ネットワーク,マルチキャスト,一般)
- B-6-127 IPルータにおけるバッファ利用率の安定化を実現するバッファ管理方式の検討(B-6. ネットワークシステム)
- フロー間の公平性を実現するパケット廃棄制御方式DMFQとそのハードウェア設計(セッション5)
- フロー間の公平性を実現するパケット廃棄制御方式DMFQとそのハードウェア設計(セッション5)
- フロー管理型パケット廃棄制御機構のハードウェア設計(セッションB-4)(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信及び一般)
- フロー管理型パケット廃棄制御機構のハードウェア設計(セッションB-4)(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信及び一般)
- フロー管理型パケット廃棄制御機構のハードウェア設計(セッションB-4)(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信及び一般)
- フロー継続状況を考慮に入れたフロー管理型パケット廃棄制御方式(伝送/中継/トランスポート技術)(インターネットアーキテクチャ技術論文)
- 無線伝搬状態を考慮に入れた伝送補償型パケット転送スケジューリング(有線無線シームレス, モバイルネットワーキング, Mobile IP, 無線通信, ネットワーク制御, 一般)
- 無線伝搬状態を考慮に入れた伝送補償型パケット転送スケジューリング(有線無線シームレス,モバイルネットワーキング,Mobile IP,無線通信,ネットワーク制御,一般)
- B-5-108 無線伝搬状態を考慮に入れた伝送補償型パケット転送スケジューリングに関する検討
- 無線伝搬状況を考慮に入れた高能率TCP転送方式
- B-6-30 フロー状況を考慮したREDのTCP性能改善に関する検討
- 大容量光ネットワークにおける利用可能な資源情報に応じたルーチング性能限界の比較評価
- 動画像ストリーミング配信における復元優先度を考慮した適応的パケット復元方式(ネットワークアーキテクチャ(オーバレイ,P2P,ユビキタスNW,スケールフリーNW,アクティブNW,NGN・新世代NW),次世代パケットトランスポート(高速Ethernet,IPoverWDM,マルチサービスパケット技術,MPLS),グリッド,一般)
- 複数配信木型アプリケーションレベルマルチキャストにおけるハイブリッド障害回復手法(ネットワークアーキテクチャ(オーバレイ,P2P,ユビキタスNW,スケールフリーNW,アクティブNW,NGN・新世代NW),次世代パケットトランスポート(高速Ethernet,IPoverWDM,マルチサービスパケット技術,MPLS),グリッド,一般)
- パケットレベルの畳み込みを用いた効率的なFEC配信方式(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
- 階層型マルチキャストにおける動的なFEC冗長量配分方式(トラフィック制御)(インターネットアーキテクチャ技術論文特集)
- レイヤ2ネットワークにおけるループ障害のリモート診断方式
- フロー単位バッファ制御における高速かつ柔軟なフロー状態管理機構(ネットワーク,通信技術の未来を拓く学生論文)
- B-6-13 QoS指向IPルータにおけるTCPストリーミングに適したバッファ管理機構の検討(B-6. ネットワークシステム,一般セッション)
- サーバのフロー管理を利用した高速・高スケーラブルなIPルータのバッファ制御機構(トラヒック制御・QoS)
- WiFi/WiMAX統合ネットワークにおけるシステム間の公平性を考慮した周波数共有手法(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク, NW安全性,及び一般)