255 search results - page 13 / 51 » Checking Session-Oriented Interactions between Web Services |
CHI
2010
ACM
14 years 5 months ago
2010
ACM
The recent advances in web 2.0 technologies and the rapid adoption of smart phones raises many opportunities for public services to improve their services by engaging their users ...
CASCON
2007
14 years 13 days ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
CAISE
2003
Springer
14 years 4 months ago
2003
Springer
We present a Web service composition approach that relies on three selection criteria: execution cost, execution time, and location of provider hosts. A Web service is an accessibl...
IJWET
2006
13 years 11 months ago
2006
: This paper presents a CASE tool for the high-level specification of web applications integrated with web services. The CASE tool is based on WebML, a conceptual modelling languag...
ICWS
2010
IEEE
14 years 13 days ago
2010
IEEE
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...