Sciweavers

284 search results - page 13 / 57
» WSAT: A Tool for Formal Analysis of Web Services
Sort
View
ICSOC
2005
Springer
14 years 1 months ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin
TSC
2008
209views more  TSC 2008»
13 years 8 months ago
Effective Web Service Composition in Diverse and Large-Scale Service Networks
Web services are considered to be a potential silver bullet for the envisioned Service Oriented Architecture, in which loosely coupled software components are published, located, a...
Seog-Chan Oh, Dongwon Lee, Soundar R. T. Kumara
BIB
2008
77views more  BIB 2008»
13 years 8 months ago
Experience using web services for biological sequence analysis
Programmatic access to data and tools through the web using so-called web services has an important role to play in bioinformatics. In this article, we discuss the most popular ap...
Heinz Stockinger, Teresa K. Attwood, Shahid Nadeem...
AICT
2006
IEEE
163views Communications» more  AICT 2006»
14 years 2 months ago
A Methodology for Searching Reusable Business Processes
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
Francesco Calabrese, Giovanni Di Dio, Anna Rita Fa...
DEBU
2008
100views more  DEBU 2008»
13 years 8 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu