Sciweavers

192 search results - page 7 / 39
» Simulation, verification and automated composition of web se...
Sort
View
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
14 years 1 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...
WWW
2006
ACM
14 years 8 months ago
Analysis of communication models in web service compositions
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
Raman Kazhamiakin, Marco Pistore, Luca Santuari
DEBU
2002
144views more  DEBU 2002»
13 years 7 months ago
Definition and Execution of Composite Web Services: The SELF-SERV Project
Web services composition is emerging as a promising technology for the effective automation of businessto-business collaborations. It allows organizations to form alliances by con...
Boualem Benatallah, Marlon Dumas, Zakaria Maamar
IADIS
2004
13 years 9 months ago
On the use of web service compositions for systems management automation: a use case
In this paper we address the issue of automating systems management. Currently, any changes made in the configuration settings of the IT infrastructure in an enterprise are perfor...
Dimka Karastoyanova, Alejandro P. Buchmann
IHIS
2005
ACM
14 years 1 months ago
Verifying web services composition based on hierarchical colored petri nets
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
Yanping Yang, QingPing Tan, Yong Xiao