WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition

2010 IEEE International Conference on Web Services Pub Date : 2010-07-05 DOI:10.1109/ICWS.2010.24

A. Cavalli, Tien-Dung Cao, Wissam Mallouli, E. Martins, A. Sadovykh, S. Salva, Fatiha Zaïdi

{"title":"WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition","authors":"A. Cavalli, Tien-Dung Cao, Wissam Mallouli, E. Martins, A. Sadovykh, S. Salva, Fatiha Zaïdi","doi":"10.1109/ICWS.2010.24","DOIUrl":null,"url":null,"abstract":"This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national project WebMov. This methodology includes several modelling techniques, based mainly on some variations of Timed Extended Finite State Machines (TEFSM) formalism, which provide a formal model of the BPEL description of Web services composition. These models are used as a reference for the application of different test generation and passive testing techniques for conformance and robustness checking. The whole WebMov methodology is integrated within a dedicated framework, composed by a set of tools that implement the model representation, the test generation and passive testing algorithms. This framework also permits the interaction of these tools to achieve specific modelling and testing activities in a complementary way. A case study based on a real service, a Travel Reservation Web Service, is presented as well as the results of the application of the proposed WebMov methodology and tools.","PeriodicalId":170573,"journal":{"name":"2010 IEEE International Conference on Web Services","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"28","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 IEEE International Conference on Web Services","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICWS.2010.24","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 28

Abstract

This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national project WebMov. This methodology includes several modelling techniques, based mainly on some variations of Timed Extended Finite State Machines (TEFSM) formalism, which provide a formal model of the BPEL description of Web services composition. These models are used as a reference for the application of different test generation and passive testing techniques for conformance and robustness checking. The whole WebMov methodology is integrated within a dedicated framework, composed by a set of tools that implement the model representation, the test generation and passive testing algorithms. This framework also permits the interaction of these tools to achieve specific modelling and testing activities in a complementary way. A case study based on a real service, a Travel Reservation Web Service, is presented as well as the results of the application of the proposed WebMov methodology and tools.

查看原文本刊更多论文

WebMov:用于Web服务组合建模和测试的专用框架

本文提出了一种方法和一组工具，用于对Web服务组合进行建模、验证和测试，这些方法和工具是在法国国家项目WebMov中构思和开发的。该方法包括几种建模技术，主要基于时间扩展有限状态机(temfsm)形式的一些变体，它提供了Web服务组合的BPEL描述的正式模型。这些模型可作为应用不同测试生成和被动测试技术进行一致性和鲁棒性检查的参考。整个WebMov方法集成在一个专用框架内，由一组实现模型表示、测试生成和被动测试算法的工具组成。这个框架还允许这些工具之间的交互，以一种互补的方式实现特定的建模和测试活动。本文提出了一个基于真实服务的案例研究，即旅游预订Web服务，以及所提出的WebMov方法和工具的应用结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2010 IEEE International Conference on Web Services

自引率

0.00%

发文量