Sciweavers

70 search results - page 6 / 14
» Automatic Conformance Testing of Web Services
Sort
View
WWW
2002
ACM
14 years 8 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith
JIT
2004
Springer
131views Database» more  JIT 2004»
14 years 27 days ago
Testing of Service-Oriented Architectures - A Practical Approach
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...
Schahram Dustdar, Stephan Haslinger
BPM
2006
Springer
93views Business» more  BPM 2006»
13 years 11 months ago
Semi-automatic Semantic-Based Web Service Classification
With the expectable growth of the number of Web services available on the WWW and service repositories, the need for mechanisms that enable the automatic organization and discovery...
Miguel Ángel Corella, Pablo Castells
TCS
2010
13 years 5 months ago
Contract-based discovery of Web services modulo simple orchestrators
Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting f...
Luca Padovani
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
14 years 23 days ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...