文献

J-GLOBAL ID：201902223478168755   整理番号：19A0135526

ルールベースサービス・コレオグラフィのトレースベース検証【JST・京大機械翻訳】

Trace-Based Verification of Rule-Based Service Choreographies

著者 (3件)： Moschoyiannis Sotiris ,  Maglaras Leandros ,  Manaf Nurulhuda A.
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： SOCA  ページ： 185-193  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： サービス指向アーキテクチャにおける参加者サービス間の観測可能なメッセージ交換に関するグローバルな順序付け制約を記述するために,サービスの暗号化アプローチを提案した。最近の研究は,構造化された自然言語の利用を提唱し,それにより,chograpを特定し,検証するために,ビジネス語彙とルール(SBVR)の意味論の形になっている。本論文では,個々の参加者の局所的行動が,choreographyによって規定されたグローバルプロトコルに適合するかどうかについて検討した。著者らは,サービスの宣言的仕様が,トレースベースのモデル,すなわち,シールドのベクトル言語の適応を用いて,どのように検証できるかについて述べた。著者らは,この宣言的設定に対する反応性を追加するミドルウェアとして,Bach協調言語に基づくいわゆるブラックボードルールも使用した。ベクトル言語は,行列が線形変換になる言語をトレースすることである。それらは,それが計算または操作になるとき,利点を有するより多くの具体的表現を提供した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ベクトル ,  意味論 ,  暗号 ,  自然言語 ,  一次変換 ,  言語 ,  反応性 ,  *ルールベース ,  ミドルウェア ,  メッセージ交換 ,  語彙
準シソーラス用語： 順序づけ ,  サービス指向アーキテクチャ ,  *コレオグラフィー , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (2件)： トレース ,  検証