Sciweavers

116 search results - page 1 / 24
» Automated Model Checking and Testing for Composite Web Servi...
Sort
View
ISORC
2005
IEEE
13 years 10 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
13 years 10 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
WISE
2007
Springer
13 years 10 months ago
Web Service Composition: A Reality Check
Automated web service composition is one of the major promises of serviceoriented architecture, where services can be discovered and composed dynamically and automatically. To inv...
Jianguo Lu, Yijun Yu, Debashis Roy, Deepa Saha
ICWS
2010
IEEE
13 years 5 months ago
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition
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 projec...
Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, El...
WWW
2010
ACM
13 years 11 months ago
Automated performance assessment for service-oriented middleware: a case study on BPEL engines
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
Domenico Bianculli, Walter Binder, Mauro Luigi Dra...