39 search results - page 2 / 8 » A Calculus for Long-Running Transactions |
KIVS
2005
Springer
13 years 10 months ago
2005
Springer
Although WS-BusinessActivity and BPEL4WS Long-Running Transaction (LRT) are conceptually very similar and are both designed to support the execution of complex business transaction...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
COORDINATION
2004
Springer
13 years 10 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
VLDB
1991
ACM
13 years 8 months ago
1991
ACM
TGC
2010
Springer
13 years 3 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...