Sciweavers

89 search results - page 1 / 18
» A Transactional Model for Long-Running Activities
Sort
View
69
Voted
VLDB
1991
ACM
113views Database» more  VLDB 1991»
15 years 1 months ago
A Transactional Model for Long-Running Activities
Umeshwar Dayal, Meichun Hsu, Rivka Ladin
77
Voted
COORDINATION
2004
Springer
15 years 3 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
72
Voted
KIVS
2005
Springer
15 years 3 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
15 years 3 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
75
Voted
FMOODS
2006
14 years 11 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 ...