173 search results - page 1 / 35 » Notations for the Specification and Verification of Composit... |
EDOC
2004
IEEE
14 years 2 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
KBSE
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
OTM
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
CAISE
2007
Springer
14 years 3 months ago
2007
Springer
The management and maintenance of a large number of Web services is not easy and, in particular, needs appropriate authorization policies to be defined so as to realize reliable an...
CSAC
2006
14 years 17 days ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...