講演抄録/キーワード |
講演名 |
2009-11-27 11:05
SOAにおけるサービス適合性検証 ○岡田 祥・新川芳行(龍谷大) SWIM2009-13 |
抄録 |
(和) |
SOAを実現するWebサービスにおいて,多くのサービスの中から利用者の要求に適合するものを発見することは,一般的に困難な作業となる.なぜなら,現在のWebサービスでは,WSDLで記述された,インタフェースのみが公開され,サービスの機能自体は公開されないためである.本論文ではWSDLに,VDM-SLを用いた形式的な仕様記述を加え,インタフェースのみならず,機能についての公開も可能にし,サービス登録者と要求者間の仕様のマッチングを形式的に行える手法を提案する. |
(英) |
It seems to be a different task to discover the adaptable services to user requirements in Web service environments, which realize SOA. One of the reasons is that each service provides us with only its interface expressed in the form of WSDL, and it does not show the semantics of the service. This paper presents some techniques to identify the semantically adaptable services by appending VDM-SL based specifications to the WSDL interface definitions. In addition, specification matching is also used in this identification. |
キーワード |
(和) |
SOA / Webサービス / WSDL / VDM-SL / 仕様マッチング / / / |
(英) |
SOA / Web Services / WSDL / VDM-SL / Specification Matching / / / |
文献情報 |
信学技報, vol. 109, no. 298, SWIM2009-13, pp. 7-12, 2009年11月. |
資料番号 |
SWIM2009-13 |
発行日 |
2009-11-20 (SWIM) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SWIM2009-13 |