8 search results - page 1 / 2 » A Trace Semantics for Long-Running Transactions |
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...
KBSE
2007
IEEE
13 years 10 months ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
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...
TGC
2007
Springer
13 years 10 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
FORTE
2007
13 years 6 months ago
2007
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...