Sciweavers

39 search results - page 1 / 8
» A Calculus for Long-Running Transactions
Sort
View
158
Voted
FASE
2004
Springer
15 years 11 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
142
Voted
FMOODS
2003
15 years 7 months ago
A Calculus for Long-Running Transactions
Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
179
Voted
KBSE
2007
IEEE
16 years 19 days ago
Ensuring consistency in long running transactions
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
Jeffrey Fischer, Rupak Majumdar
137
Voted
TGC
2007
Springer
16 years 14 days ago
Transactional Service Level Agreement
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 ...
Maria Grazia Buscemi, Hernán C. Melgratti
161
Voted
FMOODS
2006
15 years 7 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 ...