Sciweavers

89 search results - page 1 / 18
» A Transactional Model for Long-Running Activities
Sort
View
VLDB
1991
ACM
113views Database» more  VLDB 1991»
13 years 8 months ago
A Transactional Model for Long-Running Activities
Umeshwar Dayal, Meichun Hsu, Rivka Ladin
COORDINATION
2004
Springer
13 years 10 months ago
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
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...
Michael J. Butler, Carla Ferreira
KIVS
2005
Springer
13 years 10 months ago
A Comparison of WS-BusinessActivity and BPEL4WS Long-Running Transaction
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...
Patrick Sauter, Ingo Melzer
FASE
2004
Springer
13 years 10 months ago
Compositional Nested Long Running Transactions
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...
Laura Bocchi
FMOODS
2006
13 years 5 months ago
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo ...