文献

J-GLOBAL ID：201302288961801956   整理番号：13A1033671

Webサービス構成プロトコルのための形式的検証を支援するモデル駆動のアプローチ

Model-driven approach supporting formal verification for web service composition protocols

著者 (5件)： DUMEZ C. (Univ. of Technol. of Belfort-Monbeliard, 90000 Belfort Cedex, FRA) ,  BAKHOUYA M. (Aalto Univ., Otakaari 4, FIN-00076 Aalto, FIN) ,  GABER J. (Univ. of Technol. of Belfort-Monbeliard, 90000 Belfort Cedex, FRA) ,  WACK M. (Univ. of Technol. of Belfort-Monbeliard, 90000 Belfort Cedex, FRA) ,  LORENZ P. (Univ. of Haute Alsace, IUT, 34 rue du Grillenbreit, 68008 Colmar, FRA)
資料名： Journal of Network and Computer Applications  (Journal of Network and Computer Applications)
巻： 36  号： 4  ページ： 1102-1115  発行年： 2013年07月 
JST資料番号： H0842A  ISSN： 1084-8045  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

抄録/ポイント： 合成Webサービス開発は,仕様,検証,実装,およびテストにかかわる複雑な作業である。そのうえ,現在のアプローチは与えられたプログラミング言語(例えば,BPEL)に特定であり,そして,それらは既に実装された合成サービスの検証だけに焦点を合わせる。本論文ではモデル駆動のアーキテクチャ原理によって合成サービスを,指定し,検証し,そして実装するためのアプローチを提案する。それは,仕様設定時に構成検証を支援するために正式な方法,特にLOTOSの正式な記述言語を利用する。利点は,構成仕様が実装の前にBPELなどのようなプログラミング言語によって正しいと立証されるということである。また,ケーススタディを,いかにサービス構成を作業フローで指定し,実行可能なコード生成の前に正式に検証することができるかを示すために提示した。Copyright 2013 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.

シソーラス用語： *ソフトウェア工学 ,  Webサービス ,  構成 ,  プロトコル ,  検証 ,  意味論 ,  欠乏 ,  *プログラミング言語 ,  LOTOS ,  システム記述言語 ,  コード生成
準シソーラス用語： *モデル駆動工学 ,  形式的意味論 ,  形式的検証

分類 (3件)： 計算機システム開発  (JD02010R) ,  情報サービス  (AC08000K) ,  数理言語学  (JB05000V)

タイトルに関連する用語 (5件)： Webサービス ,  プロトコル ,  形式的検証 ,  支援 ,  モデル