Developing consistent contractual policies in service composition

Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden

研究成果: Conference contribution

4 被引用数 (Scopus)

抄録

The notion of contracts (or agreements) has been considered useful to promote mutual understanding and configuration in service provision between its consumer and provider. However, it has not been discussed how consistency can be ensured in multiple contracts that a composite service establishes with its component service providers and its consumers. In response to the problem, this study provides a theoretical foundation, based on Event Calculus, for expressing and reasoning about various constraints on contracts as well as consistency properties. On the basis of the proposed foundation, this study also discusses how an existing reasoner on Event Calculus can be used to help development of consistent contractual policies, or constraints on contracts. A tool is developed that wraps the reasoner and facilitates consistency checking and testing.

本文言語English
ホスト出版物のタイトルProceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007
ページ527-534
ページ数8
DOI
出版ステータスPublished - 2007 12 1
外部発表はい
イベント2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007 - Tsukuba, Japan
継続期間: 2007 12 112007 12 14

出版物シリーズ

名前Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007

Other

Other2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007
国/地域Japan
CityTsukuba
Period07/12/1107/12/14

ASJC Scopus subject areas

  • コンピュータ サイエンス(全般)
  • 電子工学および電気工学

フィンガープリント

「Developing consistent contractual policies in service composition」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル