Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
复制标题
DOI：
10.1007/978-3-540-85571-2_13
复制
发表时间：
2008-06
期刊：
影响因子：
--
通讯作者：
Cesare Bartolini;A. Bertolino;E. Marchetti;I. Parissis
中科院分区：
文献类型：
--
作者：
Cesare Bartolini;A. Bertolino;E. Marchetti;I. Parissis
Web服务组合（WS）预计将成为未来动态构建分布式应用程序的标准方式，因此其验证和确认引起了人们的高度关注。作为一种组合语言和WSDL作为一种WS接口定义语言的WSDL的标准化，导致研究人员调查的验证和确认技术主要集中在组合中的事件序列，而较小的关注已支付给验证的数据流交换。在这一章中，我们将研究使用数据流建模来测试复合WS的潜力。经过详尽的探索的问题，测试数据相关的模型的基础上，我们示意性地解决未来的研究问题的角度开放的数据流为基础的验证和目前的例子，其中一些，说明了一个复合WS的案例研究，我们已经开发的虚拟科学书店。
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attracting great attention. The standardization of BPEL as a composition language and of WSDL as a WS interface definition language has led researchers to investigate verification and validation techniques mainly focusing on the sequence of events in the composition, while minor attention has been paid to the validation of the data flow exchange. In this chapter we study the potential of using data flow modelling for testing composite WSs. After an exhaustive exploration of the issues on testing based on data-related models, we schematically settle future research issues on the perspectives opened by data flow-based validation and present examples for some of them, illustrated on the case study of a composite WS that we have developed, the Virtual Scientific Book Store.