Specifying and Enforcing Intertask Dependencies
Summary: Intertask dependencies provide a uniform framework for extended transactions across heterogeneous systems. Event attributes define enforceability and scheduling; CTL-based formalization yields automata that compose into a global scheduler, enabling Saga-like relaxations and addressing concurrency control, safety, and recoverability. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Paul C. Attie
- 2. Munindar P. Singh
- 3. Amit Sheth
- 4. Marek Rusinkiewicz
Incoming Citations (Sorted by Pagerank)
Showing 8 of 8 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,143 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS | 9.4436896e-05 |
| 7,968 | A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints | 2002 | VLDB | 4.613363e-05 |
| 8,977 | Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic | 2007 | VLDB | 4.4174383e-05 |
| 9,263 | Task Scheduling Using Intertask Dependencies in Carnot | 1993 | SIGMOD | 4.3687868e-05 |
| 12,413 | Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics | 2008 | VLDB | 4.1945683e-05 |
| 12,812 | Towards a Cooperative Transaction Model - The Cooperative Activity Model - | 1995 | VLDB | 4.1945683e-05 |
| 14,032 | Supporting State-wide Immunization Tracking using Multi-Paradigm Workflow Technology | 1996 | VLDB | - |
| 14,105 | Relaxed Transaction Processing | 1994 | SIGMOD | - |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 7 of 7 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 45 | Sagas | 1987 | SIGMOD | 0.00071800944 |
| 1,075 | Organizing Long-Running Activities with Triggers and Transactions | 1990 | SIGMOD | 0.00014250476 |
| 1,458 | Multidatabase Update Issues | 1988 | SIGMOD | 0.00011892325 |
| 1,481 | A Transactional Model for Long-Running Activities | 1991 | VLDB | 0.00011735776 |
| 1,798 | A Multidatabase Transaction Model for InterBase | 1990 | VLDB | 0.00010520589 |
| 2,431 | ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior | 1990 | SIGMOD | 8.8329645e-05 |
| 3,634 | Using Flexible Transactions to Support Multi-system Telecommunication Applications | 1992 | VLDB | 6.8986478e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,707 | Concurrency Control and Recovery in Transactional Process Management | 1999 | PODS | 4.1945683e-05 |
| 4,640 | Transactions And Integrity Constraints | 1985 | PODS | 6.0271345e-05 |
| 13,010 | A semantic approach to correctness of concurrent transaction executions | 1985 | PODS | 4.1945683e-05 |
| 5,500 | A Formalism for Extended Transaction Models | 1991 | VLDB | 5.4744227e-05 |
| 14,105 | Relaxed Transaction Processing | 1994 | SIGMOD | - |
| 1,481 | A Transactional Model for Long-Running Activities | 1991 | VLDB | 0.00011735776 |
| 12,827 | Relative Serializability: An Approach for Relaxing the Atomicity of Transactions | 1994 | PODS | 4.1945683e-05 |
| 1,798 | A Multidatabase Transaction Model for InterBase | 1990 | VLDB | 0.00010520589 |
| 6,028 | Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems | 1994 | SIGMOD | 5.2415551e-05 |
| 4,912 | Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications | 1990 | VLDB | 5.8321169e-05 |