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
• 作者: 石川冬樹;山本佳代子;本位田真一
• 通讯作者: 本位田真一

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;石川冬樹
• 通讯作者: 石川冬樹

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

Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods

实现服务选择方法和流程适应方法的一致组合

• 发表时间: 2010
• 期刊: The 7th International Conference on Services Computing (SCC 2010)
• 作者: 大平雅雄;松本真佑;松本健一;Fuyuki Ishikawa
• 通讯作者: Fuyuki Ishikawa