プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用(モバイルコンピューティング)
スポンサーリンク
概要
- 論文の詳細を見る
パーベイシブコンピューティングの実現を目指す取り組みにおいて,センサやデバイスをサービスによりカプセル化するアプローチがある.パーベイシブコンピューティングにおいては状況に応じての利用サービスの選択や,状況の変化に応じての実行中断,サービスの切替えが必要となる.しかしそれらを合成フローに交えてすべて手続き的に記述してしまうと,その制御フローは複雑で再利用が困難なものとなってしまう.一方サービス指向コンピューティングのための枠組みでは,サービス合成プロセスとサービス選択機構を分離して扱うことができるが,実行時のサービスの切替えなどには対応できない.そこで本研究においては,サービスの切替えや実行の中断を考慮した形で再利用可能な合成プロセスを定義するためのモデルを提案するとともに,パートナの選択や切替えに関する指定を別途与えるための枠組みを提案する.この枠組みを用いることにより,中断時のサービスへのキャンセルの送信なども含めた形で合成プロセスを再利用可能とし,環境や嗜好に応じて容易にサービスの選択や切替えのロジックを与えたり差し替えたりすることができる.
- 一般社団法人情報処理学会の論文
- 2007-04-15
著者
-
石川 冬樹
国立情報学研究所
-
本位田 真一
東京大学
-
本位田 真一
国立情報学研究所
-
本位田 真一
(株)東芝研究開発センター
-
吉岡 信和
国立情報学研究所
-
石川 冬樹
国立情報学研究所コンテンツ科学研究系
-
石川 冬樹
東京大学大学院情報理工学系研究科
-
吉岡 信和
国立情報学研究所graceセンター
-
吉岡 信和
総合研究大学院大学 国立情報学研究所
-
本位田 真一
東芝研究開発センター
-
石川 冬樹
国立情報学研究所graceセンター
関連論文
- マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
- 適応エージェントのためのユビキタスコンピューティングミドルウェア(エージェント)
- MANETにおける省資源性を考慮した位置依存情報収集手法(ネットワーク)
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
- CSTソリューションコンペティション2007 : 評価実験の詳細報告(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
- 組込み機器向け知的移動エージェントμPlangentを用いた電力系統巡視システム
- 第21回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告
- ソフトウェア設計に対するモデル駆動型検証プロセス(ソフトウェア分析・設計技法)
- 分散システム開発におけるモデル検査への視覚的支援手法(プロトコルと開発ツール)(新時代の分散処理とネットワーク(WebサービスとP2P))
- モデリングは教育できるか?(要求/教育)
- 多数のノード取得攻撃に対応した無線センサネットワークにおける不正イベントの検知(センサネットワーク・P2Pネットワーク,ネットワークを支えるソフトウェア技術論文)
- 高安全モバイルエージェントシステムアーキテクチャ
- 物理的相互作用に着目したスマート空間の形式仕様記述と検証
- プロセス間競合を考慮した自己適応システムの形式仕様構築
- ASE2004参加報告
- Folksonomyマイニングに基づくWebページ推薦システム(エージェント応用システム,マルチエージェントの理論と応用)
- A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
- AP-2-5 CSTソリューションコンペティション2007(概要)(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- センシングプログラムの退避行動を考慮した柔軟なセンサーネットワーク構築(センサネット)
- センシングプログラムの退避行動を考慮した柔軟なセンサーネットワーク構築(センサネット)
- モバイルエージェントによるバッテリ切れ避難システム : EASTER(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- 携帯電話上で記述・即時動作可能なネットワークスクリプトの開発
- 共生/寄生エージェント・モデルによる発展的P2Pアプリケーション構築法(オブジェクト指向技術)
- 知的移動エージェントによる低消費電力なワイヤレスセンサネットワークアプリケーションの構築(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- 知的移動エージェントによるマルチパーパスワイヤレスセンサネットワークアプリケーション(モバイルアプリケーション,ユビキタス時代を支えるモバイル通信と高度交通システム)
- ユビキタスアプリケーション向け移動エージェントの相互運用
- ソフトウェア工学におけるエージェントベースアプローチ
- ユビキタス環境のためのエージェント指向ソフトウェアの開発と応用(ユビキタス社会の実現特集号)
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- Event Calculusに基づく合意を用いたモバイルエージェントの協調(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用(モバイルコンピューティング)
- 階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム(分散協調とエージェント)
- Webサービス連携のためのモバイルエージェント動作記述(オブジェクト指向とWeb技術)
- ビヘイビア記述に基づく自己適応システム実装フレームワークの提案
- ソフトウェア論文座談会
- フェロモンモデル : 交通渋滞予測への適用(モデル/理論, ソフトウェアエージェントとその応用論文)
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- タグに関連づけられた時間・場所の概念抽出(「Webインテリジェンス」及び一般)
- 8.パネル討論:エージェントの社会的インパクト(社会に向き合うエージェントシステム)
- マルチエージェントフレームワークBee-gentを用いた電力系統作業停止計画向け分散スケジューリングシステムの開発
- エージェントフレームワークを用いた車載端末向け情報提供システムの構築と評価(ユビキタスコンピューティングと情報家電)(ユビキタス環境のモバイル通信システムとITS)
- ユビキタス環境におけるContext-Awareなパーソナルエージェントの構築とその実証実験(ソフトウェアエージェントとその応用論文)
- JADEを利用したマルチエージェントシステムの開発(研究のツールボックス 第6回)
- 契約による設計を用いたインタラクションの実装(エージェント・アーキテクチャ,マルチエージェントの理論と応用)
- 要求の重要度を用いたマルチエージェントシステムの分析モデル検証(モデル/理論,ソフトウェアエージェントとその応用論文)
- IMPULSE:KAOSを利用したマルチエージェントシステムの分析モデル構築(分析・設計技法,ソフトウェア工学の理論と実践)
- ゴール指向要求分析を用いたself-adaptiveシステムの構築
- MIC方式を用いたモバイル環境に適したエージェントの多重管理方式の提案
- アドホックネットワークにおけるエージェント間共同作業のための認証機構(次世代ネットワークソフトウェア論文特集)
- モバイル環境向けエージェント移動制御
- モバイル環境向けエージェント移動制御
- モバイル環境向けエージェント移動制御
- モバイル環境向けエージェント移動制御
- モバイル環境向けエージェント移動制御
- モバイル環境向けエージェント移動制御
- 6.ユビキタス環境で活躍するエージェント(社会に向き合うエージェントシステム)
- (モバイルエージェント)パターンを利用したセキュアかつ効率的なモバイルエージェントアプリケーション開発(オブジェクト指向技術)
- ユビキタスパーソナライズエージェントによる買物支援サービスの実証実験
- 多数のノード取得攻撃に対応した無線センサネットワークにおける複製ノードの分散検知(センサネットワーク・P2Pネットワーク,ネットワークを支えるソフトウェア技術論文)
- 無線センサネットワークにおけるFalse Eventの検知(無線・モバイルネットワーク,情報洪水時代のネットワークサービス)
- variable-size DBFによる分散ハッシュテーブルのトラヒック量削減(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- Ringed Bloom Filterによる分散ハッシュテーブルのトラフィック量削減(ミドルウェア,マルチメディア,分散,協調とモバイル(DICOMO2006))
- 分散ハッシュテーブルにおけるAND検索時のトラフィック量削減(エージェント・アーキテクチャ,マルチエージェントの理論と応用)
- ゴール指向要求工学方法論の共通用語モデルと共通パターン(ソフトウェア要求工学,インタラクション技術の原理と応用)
- ゴール指向要求工学の体系化のための共通用語(分析・設計技法)
- 無線センサネットワークにおける複数プログラムの動的配備
- トップエスイー「サイエンスによる知的ものづくり教育」
- コンポーネントベースフレームワーク開発手法におけるコンポーネントの形式的仕様記述
- コンポーネントベース・フレームワーク開発手法におけるコンポーネントの抽出・設計方法論
- コンポーネントベース・フレームワーク技術を利用したアプリケーションの形式的仕様記述
- コンポーネントベース・フレームワーク技術を利用したアプリケーションの形式的仕様記述
- 2000-SE-128-4 コンポーネントベース・フレームワーク技術におけるコンポーネジトの抽出/設計方結論
- モバイル環境向けエージェント移動制御方式の実装
- ユビキタスコンピューティングに関する国際ワークショップ(IWUC2004)
- トップエスイー : サイエンスによる知的ものづくり教育
- Teaching how to write security target of Common Criteria using the i* methodology (ソフトウェア工学)
- サービス指向コンピューティングにおける合意に基づいた協調的な移動性(研究会推薦博士論文速報)
- 「コンピュータソフトウェア」における論文とは
- セキュリティソフトウェア工学の最前線
- IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現(オブジェクト指向技術)
- 同種サービスの併用を考慮した効率的なサービス選択
- AS-3-2 時間,資源の制約を考慮したビジネスプロセスの検証(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)
- メタデータ制約を用いた協調プロトコルの自動合成手法
- BDS-1-5 クラウド時代における品質に基づいたサービス選択・配備問題(BDS-1.クラウド時代の情報通信サービス品質,シンポジウムセッション)
- BDS-1-5 クラウド時代における品質に基づいたサービス選択・配備問題(BDS-1.クラウド時代の情報通信サービス品質,シンポジウムセッション)
- 形式仕様に基づくソフトウェア開発手法の紹介 : Bメソッドを中心に
- タグに関連づけられた時間・場所の概念抽出
- 関連分野から見たエージェント技術 : サービスコンピューティング分野を例に(エージェント)
- プライバシーを守ったITサービスの提供技術:3.プライバシーのルールを扱う技術 -制御・検証から説明・理解の支援へ-
- 時間,資源の制約をもつビジネスプロセスの形式検証(ソフトウェアシステム)
- クラウドを動的に利用するWebサービス連携のための動作記述(「サービス・クラウドの応用及びマッシュアップ」及び一般)
- 法解釈に応じたコンプライアンスのビジネスプロセスにおける実現に向けて(「サービスおよびグラウドのQoS・SLA・ポリシー」及び一般)
- Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出(ソフトウェアシステム)
- ClouTプロジェクト:IoTとクラウドの融合によるスマートシティーヘの取り組み
- 関連分野から見たエージェント技術 : サービスコンピューティング分野を例に