Sciweavers

70 search results - page 6 / 14
» Automatic Conformance Testing of Web Services
Sort
View
WWW
2002
ACM
16 years 9 days 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»
15 years 5 months 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»
15 years 3 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
86
Voted
TCS
2010
14 years 10 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
117
Voted
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
15 years 4 months 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...