サービス合成において整合性ある契約管理を実現するフレームワークの研究開発

• 研究課題/領域番号: 20700037
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 国立情報学研究所
• 研究代表者: 石川 冬樹 国立情報学研究所, コンテンツ科学研究系, 助教 (50455193)
• 研究期間 (年度): 2008 – 2010
• 研究課題ステータス: 完了 (2010年度)
• 配分額: 3,380千円 (直接経費: 2,600千円、間接経費: 780千円); 2010年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2009年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2008年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
• キーワード: ソフトウェア工学 / サービス指向コンピューティング / サービス合成 / SLA (Service Level Agreement) / サービスコンピューティング / Webサービス / Service Level Agreement (SLA) / 形式手法 / サービス指向アーキテクチャ / サービス契約 / 検証 / Event Calculus

研究概要

Web上や身の回りの様々なサービスを,ソフトウェアが組み合わせ連携させ新たなサービスを合成する考え方が盛んになっている.この際には,部品となるサービスと適切に契約を結ぶとともに,それらに基づいて実現可能な契約を合成サービスの利用者と結ぶ必要がある.本研究では,このようにサービス合成において整合性あるように複数契約を結び,またサービスの変更等に応じて管理していくための枠組みの構築に取り組んだ.

研究成果

• [雑誌論文] 物理的相互作用に着目した,スマート空間の形式仕様記述と検証 (2011)
  • 著者名/発表者名: 石川冬樹, 山本佳代子, 本位田真一
  • 雑誌名: 情報処理学会論文誌 Vol.52 No.1 ページ: 220-232
  • NAID: 110007891072
  • 査読あり
• [雑誌論文] 物理的相互作用に着目した,スマート空間の形式仕様記述と検証 (2011)
  • 著者名/発表者名: 石川冬樹, 山本佳代子, 本位田真一
  • 雑誌名: 情報処理学会論文誌 巻: Vol.52 No.1 ページ: 220-232
  • NAID: 110007891072
  • 査読あり
• [雑誌論文] Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle (2010)
  • 著者名/発表者名: Fuyuki Ishikawa
  • 雑誌名: The 8th International Conference on Service-Oriented Computing (ICSOC 2010) ページ: 579-586
  • 査読あり
• [雑誌論文] Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy (2010)
  • 著者名/発表者名: Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
  • 雑誌名: The 8th International Conference on Service-Oriented Computing (ICSOC 2010) ページ: 182-196
  • 査読あり
• [雑誌論文] Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods (2010)
  • 著者名/発表者名: Fuyuki Ishikawa
  • 雑誌名: The 7th International Conference on Services Computing (SCC 2010) 巻: 全一巻 ページ: 635-636
  • 査読あり
• [雑誌論文] A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns (2009)
  • 著者名/発表者名: Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer
  • 雑誌名: The 7th International Conference on Service-Oriented Computing (ICSOC 2009) ページ: 253-268
  • 査読あり
• [雑誌論文] Physical Interaction in Pervasive Computing : Formal Modeling, Analysis and Verification (2009)
  • 著者名/発表者名: Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden
  • 雑誌名: The ACM International Conference on Pervasive Services (ICPS 2009) ページ: 133-140
  • 査読あり
• [雑誌論文] A Constraint-Based Approach for Developing Consistent Contracts in Composite Services (2009)
  • 著者名/発表者名: Basem Suleiman, Fuyuki Ishikawa
  • 雑誌名: The 3rd International Workshop on Web Service Composition and Adaptation (WSCA-2009) ページ: 392-399
  • 査読あり
• [雑誌論文] A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns (2009)
  • 著者名/発表者名: Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer
  • 雑誌名: Proceeding of The 7th International Conference on Service-Oriented Computillg(ICSOC 2009) ページ: 253-268
  • 査読あり
• [雑誌論文] Physical Interaction in Pervasive Computing : Formal Modeling, Analysis and Verification (2009)
  • 著者名/発表者名: Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden
  • 雑誌名: Proceeding of The ACM International Conference on Pervasive Services(ICPS 2009) ページ: 133-140
  • 査読あり
• [雑誌論文] A Constraint-Based Approach for Developing Consistent Contracts in Composite Services (2009)
  • 著者名/発表者名: Basem Suleiman, Fuyuki Ishikawa
  • 雑誌名: Proceeding of The 2009 IEEE Congress on Services, Part I(SERVICES I 2009) ページ: 392-399
  • 査読あり
• [雑誌論文] Towards Agile Service-oriented Business Systems : A Directive-oriented Pattern Analysis Approach (2008)
  • 著者名/発表者名: Soo Ling Lim, Fuyuki Ishikawa, Eric Platon, Karl Cox
  • 雑誌名: The 2008 IEEE International Conference on Services Computing (SCC2008) vol.2 ページ: 231-238
  • 査読あり
• [雑誌論文] ユビキタスコンピューティングにおける分散協調・連携技術の研究動向 (2008)
  • 著者名/発表者名: 石川冬樹, 阿部玲, 高橋竜一, 吉岡信和, 深澤良彰, 本位田真一
  • 雑誌名: 日本ソフトウェア科学会コンピュータソフトウェア「エージェント」特集 Vol.25, No.4 ページ: 133-144
  • 査読あり
• [学会発表] サービス選択・置き換えに関する要求のSOA設計・実装に対する影響について (2011)
  • 著者名/発表者名: 石川冬樹
  • 学会等名: ウィンターワークショップ2011・イン・修善寺
  • 発表場所: ラフォーレ修善寺(静岡県)
  • 年月日: 2011-01-21
• [学会発表] サービス選択・置き換えに関する要求のSOA設計・実装に対する影響について (2011)
  • 著者名/発表者名: 石川冬樹
  • 学会等名: ウィンターワークショップ2011・イン・修善寺(査読有)
• [学会発表] スマート空間内でのサービス利用時に発生する物理的影響の考慮の支援 (2009)
  • 著者名/発表者名: 山本佳代子, 石川冬樹, 本位田真一
  • 学会等名: 合同エージェントワークショップ&シンポジウム(JAWS 2009)(査読有)