Sciweavers

107 search results - page 1 / 22
» Security in a Model for Long-running Transactions
Sort
View
FASE
2004
Springer
15 years 2 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
71
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 ...
COORDINATION
2004
Springer
15 years 2 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
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
97
Voted
BIRTHDAY
2004
Springer
15 years 2 months ago
A Trace Semantics for Long-Running Transactions
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...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira