Sciweavers

39 search results - page 1 / 8
» A Calculus for Long-Running Transactions
Sort
View
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
2003
13 years 6 months ago
A Calculus for Long-Running Transactions
Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
KBSE
2007
IEEE
13 years 11 months 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
TGC
2007
Springer
13 years 11 months 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
FMOODS
2006
13 years 6 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 ...