Framework to Realize Consistent Contract Management in Service Composition

• Project/Area Number: 20700037
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Software
• Research Institution: National Institute of Informatics
• Principal Investigator: ISHIKAWA Fuyuki National Institute of Informatics, コンテンツ科学研究系, 助教 (50455193)
• Project Period (FY): 2008 – 2010
• Project Status: Completed (Fiscal Year 2010)
• Budget Amount: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000); Fiscal Year 2010: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2009: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2008: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
• Keywords: ソフトウェア工学 / サービス指向コンピューティング / サービス合成 / SLA (Service Level Agreement) / サービスコンピューティング / Webサービス / Service Level Agreement (SLA) / 形式手法 / サービス指向アーキテクチャ / サービス契約 / 検証 / Event Calculus

Research Abstract

Approaches to service composition has become widespread, which combines a variety of web or ambient services through software control. In service composition, it is necessary to establish adequate contracts with component services, for supporting realizable contracts with consumers of the composite service. This work constructed a framework to establish consistent contracts as well as to manage in response to changes in services.

Research Products

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