Framework to Realize Consistent Contract Management in Service Composition

在服务组合中实现一致的合同管理的框架

• 批准号: 20700037
• 负责人: ISHIKAWA Fuyuki
• 金额: $ 2.16万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20700037/
• 关键词: ソフトウェア工学; サービス指向コンピューティング; サービス合成; SLA (Service Level Agreement); サービスコンピューティング; Webサービス; Service Level Agreement (SLA); 形式手法; サービス指向アーキテクチャ; サービス契約; 検証; Event Calculus

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.

服务组合方法已变得普遍，它通过软件控制组合各种 Web 或环境服务。在服务组合中，有必要与组件服务建立适当的契约，以支持与组合服务的消费者之间可实现的契约。这项工作构建了一个框架来建立一致的合同并根据服务的变化进行管理。

项目成果

物理的相互作用に着目した,スマート空間の形式仕様記述と検証

注重物理交互的智能空间的正式规范描述和验证

• 发表时间: 2011
• 期刊: 情報処理学会論文誌 Vol.52, No.3
• 作者: 石川冬樹;山本佳代子;本位田真一
• 通讯作者: 本位田真一

A Constraint-Based Approach for Developing Consistent Contracts in Composite Services

• DOI: 10.1109/services-i.2009.15
• 发表时间: 2009-07
• 期刊: 2009 Congress on Services - I
• 作者: Basem Suleiman;F. Ishikawa

Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle

服务构成和合作伙伴管理生命周期不同期望下选择和替换方法的一致集成

• 发表时间: 2010
• 期刊: The 8th International Conference on Service-Oriented Computing (ICSOC 2010)
• 作者: 伊原彰紀;大平雅雄;松本健一;Fuyuki Ishikawa
• 通讯作者: Fuyuki Ishikawa

サービス選択・置き換えに関する要求のSOA設計・実装に対する影響について

服务选择/替换要求对 SOA 设计/实现的影响

• 发表时间: 2011
• 作者: Kimiharu Ohkura;Yoji Onishi;Shinji Kawaguchi;Masao Ohira;Hajimu Iida;Ken-ichi Matsumoto;石川冬樹
• 通讯作者: 石川冬樹

スマート空間内でのサービス利用時に発生する物理的影響の考慮の支援

支持考虑在智能空间中使用服务时发生的物理影响

• 发表时间: 2009
• 作者: 田辺康宏;美添一樹;今井秀樹;山本佳代子
• 通讯作者: 山本佳代子