39 search results - page 2 / 8 » A Calculus for Long-Running Transactions |
KIVS
2005
Springer
15 years 3 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...
97
Voted
BIRTHDAY
2004
Springer
15 years 2 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...
75
Voted
COORDINATION
2004
Springer
15 years 2 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
15 years 1 months ago
1991
ACM
122
Voted
TGC
2010
Springer
14 years 7 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...