83 search results - page 1 / 17 » On Temporal Abstractions of Web Service Protocols |
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
DASFAA
2009
IEEE
14 years 2 days ago
2009
IEEE
Abstract. Web services are increasingly being used in business critical environments, enabling uniform access to services provided by distinct parties. In these environments, an op...
PPSWR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
CAISE
2008
Springer
13 years 7 months ago
2008
Springer
Web service business protocols are of importance to both clients and providers, as they model the external behaviour of services. However, the business protocol is not always publ...