496 search results - page 51 / 100 » Model Checking Expressive Web Service Descriptions |
DAGSTUHL
2004
13 years 10 months ago
2004
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
ECOWS
2006
Springer
14 years 22 days ago
2006
Springer
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
EATIS
2007
ACM
14 years 29 days ago
2007
ACM
The web service approach provides mechanisms for simplifying application integration. However, to meaningfully facilitate scalable development and maintenance of web service appli...
TCS
2002
13 years 8 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
ESIAT
2009
IEEE
13 years 6 months ago
2009
IEEE
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...