サービス合成において契約間の整合性を検証,実現するツールに関する研究

服务组合中契约一致性验证与实现工具研究

• 批准号: 19800059
• 负责人: 石川 冬樹
• 金额: $ 0.98万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (Start-up)
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19800059/
• 关键词: サービス指向アーキテクチャ; Webサービス; ソフトウェア工学; サービス合成; サービス契約; 形式手法; 検証; Event Calculus

近年,サービス指向アーキテクチャの考え方Webサービス技術によって,ネットワーク上の複数のサービスを組み合わせて新たなサービスを構築することが目指されている.サービス合成は複数組織をまたがることも想定されており,サービス契約という形でサービスの振る舞いや質を合意,保証することが重要である.ここでサービス合成者の立場では,自身が利用する様々な部品サービスの提供者や,自身が合成,提供するサービスの利用者のそれぞれと契約を結ぶこととなる.この際,両立不可能な契約を結んでいないか等,複数契約間の整合性を検証,実現する必要がある.そこで本研究課題においては,サービス合成における複数契約間の整合性を検証,実現するための基盤技術と開発者向けツールの研究開発を行った.平成19年度の取り組みにおいては,まず契約に関する既存研究を踏まえ,性質の異なる複数のシナリオにおいてサービス合成ロジック及び契約の例を構築した.その際には,オプションが多様なマルチメディアサービスや,物理的な制約があり状況依存性が高いユビキタス環境のサービスも検討対象とした.次に形式言語Event Calculusを用い,契約及び契約に対する制約の表現方式を定義した.契約に対する制約としては,可能な契約形式を表すテンプレート,サービス提供または利用に関する要求(ポリシー),サービス合成ロジックに起因する契約間の依存性制約等を導入した.また契約やそれに関する制約間の不整合についても,Event Calculus上での表現を定義した.これらの定義に基づき,Event Calculusに対する既存の推論ツールに対して様々な制約等を入力し,契約間の不整合が発生する状況のシミュレーションや不整合が起きないことの検査等,様々な推論作業を行う手順を検討するとともに,その手順を容易とする簡易的なツールを構築した.また今後実用的なツールを構築するための要件についても検討を行った.

Point in recent years, サ ー ビ ス ア ー キ テ ク チ ャ の exam え party Web サ ー ビ ス technology に よ っ て, ネ ッ ト ワ ー ク の on plural の サ ー ビ ス を group み close わ せ て new た な サ ー ビ ス を build す る こ と が refers さ れ て い る. サ ー ビ は ス synthesis plural organization を ま た が る こ と も scenarios さ れ て お り, サ ー ビ ス contract と い う form で サ ー ビ Vibration ス の る dance い や を accord, ensure す る こ と が important で あ る. こ こ で サ ー ビ ス synthesizer の position で は, own が using す る others 々 な part サ ー ビ ス の provider や, own が synthesis, provide す る サ ー ビ ス の ik の そ れ ぞ れ と contract を "ぶ こ と と な る. こ の interstate, struck made impossible な contract を" ん で い な い か etc., Plural の integration between contract を 検 certificate, be presently す る necessary が あ る. そ こ で this research topic に お い て は, サ ー ビ ス synthetic に お け る plural の integration between contract を 検 certificate, be presently す る た め の と open 発 substrate technologies to け ツ ー ル の research open 発 を line っ た. Pp.47-53 19th annual の group take り み に お い て は, ま ず contract に masato す る existing research tread を ま え, nature is の different な る plural の シ ナ リ オ に お い て サ ー ビ ス synthetic ロ ジ ッ ク and び contract の を build し た. そ の interstate に は, オ プ シ ョ ン が others more な マ ル チ メ デ ィ ア サ ー ビ ス や, physical な restriction が あ り status high dependence が い ユ ビ Youdaoplaceholder0 environment サ サ ビス ビス 検 検 opponent と た た The subsequent に formal verbal Event Calculusを uses the を, contract and び contract に against する constraints を expression を to define た た. Contract に す seaborne る restrict と し て は, may な contract form を table す テ ン プ レ ー ト, サ ー ビ ス provide ま た は using に masato す る requirements (ポ リ シ ー), サ ー ビ ス synthetic ロ ジ ッ ク に cause す る の dependence between restricting the contract を import し た. ま た contract や そ れ に masato す る の unconformity between restricting に つ い て も, Event In Calculus, で で represents を definitions of <s:1> た. <s:1> れら れら に definitions of に basis づ づ,Event Calculus dissuade に す seaborne る existing の inference ツ ー ル に し seaborne て others 々 な restrict を し into force, such as contract between の unconformity が 発 raw す る condition の シ ミ ュ レ ー シ ョ ン や unconformity が up き な い こ と の 検 check, etc., others 々 な reasoning line homework を う hand shun を beg す 検 る と と も に, そ の hand shun を easy と す る simple な ツ ー ル を build し た. ま た be used in the future な ツ ー ル を build す る た め の elements に つ い て も 検 line for を っ た.

项目成果

Developing Consistent Contractual Policies in Service Composition

• DOI: 10.1109/apscc.2007.66
• 发表时间: 2007-12
• 期刊: The 2nd IEEE Asia-Pacific Service Computing Conference (APSCC 2007)
• 作者: F. Ishikawa;Nobukazu Yoshioka;S. Honiden

サービス合成における契約ポリシーの決定・検証問題の形式化とその支援

服务组合中合同政策确定/验证问题的形式化和支持

• 发表时间: 2007
• 作者: 石川冬樹;吉岡信和;本位田真一
• 通讯作者: 本位田真一