We propose a transactional activity model (TAM) for specification and management of open-ended cooperative activities. In contrast to each of the extended transaction models which focus more on a formal template for data processing patterns in an application, the activity model contains a set of formal templates, namely activity patterns, for capturing patterns of object interactions in an application. Using TAM, users may form new activity patterns by combining components of different existing patterns using activity pattern refinement and activity pattern composition mechanisms that include split and join of activities. In TAM, activity histories are used to study the correctness of activity execution and activity restructuring through refinement, composition, split, or join. 1
|
1328
|
Concurrency Control and Recovery in Database Systems
– Bernstein, Hadzilacos, et al.
- 1987
|
|
216
|
The transaction concept: Virtues and limitations
– GRAY
- 1981
|
|
181
|
Using Semantic Knowledge for Transaction Processing in a Distributed Database
– Garcia-Molina
- 1983
|
|
173
|
Organizing long-running activities with triggers and transactions
– Dayal, Hsu, et al.
|
|
141
|
A Transaction Model for Long-Running Activities
– Dayal, Hsu, et al.
- 1991
|
|
133
|
A multidatabase transaction model for interbase’, in
– Elmagarmid, Leu, et al.
- 1990
|
|
120
|
Split Transactions for OpenEnded Activities
– Pu, Kaiser, et al.
- 1988
|
|
115
|
K.: Database Transaction Models For Advanced Applications
– Elmagarmid
- 1992
|
|
102
|
K.: Synthesis of Extended Transaction Models Using ACTA
– Chrysanthis, Ramamritham
- 1994
|
|
90
|
ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior
– Chrysanthis, Ramamritham
- 1990
|
|
88
|
A Model of CAD Transactions
– Bancilhon, Kim, et al.
- 1985
|
|
76
|
The ConTract Model
– Waechter, Reuter
|
|
60
|
ACTA: The SAGA continues
– Chrysanthis, Ramamritham
- 1992
|
|
59
|
Using Flexible Transactions to Support Multi-system Telecommunication Applications
– Ansari, Ness, et al.
- 1992
|
|
57
|
Specification and management of extended transactions in a programmable transaction environment
– Georgakopoulos, Hornick, et al.
- 1994
|
|
57
|
multilevel atomicity: A new correctness criterion for database concurrency control
– Lynch
- 1983
|
|
52
|
A transaction model for active distributed object systems
– Buchmann, Ozsu, et al.
- 1991
|
|
44
|
A Cooperative Transaction Model For Design Databases
– Nodine, Ramaswamy, et al.
- 1992
|
|
40
|
Dynamic Restructuring of Transactions
– Kaiser, Pu
- 1992
|
|
31
|
Cooperative transaction hierarchies: a transaction model to support design applications
– Nodine, Zdonik
- 1984
|
|
28
|
Nested Transactions
– Moss
- 1985
|
|
21
|
Activity model: A declarative approach for capturing communication behaviour in object-oriented databases
– Liu, Meersman
- 1992
|
|
21
|
Advanced transaction models - survey and critique
– Mohan
- 1994
|
|
19
|
Semantics-based multilevel transaction management in federated systems
– Deacon, Schek, et al.
- 1994
|
|
19
|
The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case
– Bernstein, Rothnie, et al.
- 1978
|
|
15
|
Chronological Scheduling of Transactions with Temporal Dependencies
– Georgakopoulos, Rusinkiewicz, et al.
- 1994
|
|
7
|
Methodical Restructuring of Complex Workflow Activities
– Liu, Pu
- 1998
|
|
6
|
A Reflective Framework for Implementing Extended Transaction Models
– Barga, Pu
- 1997
|
|
6
|
Implementation of a prototype superdatabase
– Pu, Chen
- 1990
|
|
5
|
Adaptable, efficient, and modular coordination of distributed extended transactions
– Zhou, Pu, et al.
- 1996
|
|
5
|
A formal approach to Structure, Algebra and Communication of Complex Objects
– Liu
- 1992
|
|
4
|
A practical and modular implementation technique of extended transaction models
– Barga, Pu
- 1995
|
|
3
|
Exotica: A research prespective on workflow management systems
– Mohan, Alonso, et al.
- 1995
|
|
3
|
P.Muth. Towards a cooperative activity model - the coopertive activity model
– Rusinkiewicz, Klas, et al.
- 1995
|
|
