83 search results - page 3 / 17 » On Temporal Abstractions of Web Service Protocols |
CSAC
2006
13 years 10 months 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...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions ...
INTERNET
2006
13 years 8 months ago
2006
Web services provide abstractions for simplifying integration at lower levels of the interaction stacks, they don't yet help simplify integration at higher abstraction levels ...
ADC
2001
Springer
14 years 1 months ago
2001
Springer
Transaction time is the time of a database transaction, i.e., an insertion, update, or deletion. A transactiontime database stores the transaction-time history of a database and s...
PODS
2006
ACM
14 years 9 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...