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,145 | Logic Based Modeling and Analysis of Workflows (Extended Abstract) | 1998 | PODS | 9.4349268e-05 |
| 7,971 | A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints | 2002 | VLDB | 4.6089395e-05 |
| 8,984 | Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic | 2007 | VLDB | 4.4132034e-05 |
| 9,268 | Task Scheduling Using Intertask Dependencies in Carnot | 1993 | SIGMOD | 4.3645933e-05 |
| 12,422 | Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics | 2008 | VLDB | 4.1905499e-05 |
| 12,821 | Towards a Cooperative Transaction Model - The Cooperative Activity Model - | 1995 | VLDB | 4.1905499e-05 |
| 14,046 | Supporting State-wide Immunization Tracking using Multi-Paradigm Workflow Technology | 1996 | VLDB | - |
| 14,119 | 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.00071732655 |
| 1,076 | Organizing Long-Running Activities with Triggers and Transactions | 1990 | SIGMOD | 0.00014229211 |
| 1,459 | Multidatabase Update Issues | 1988 | SIGMOD | 0.00011880833 |
| 1,479 | A Transactional Model for Long-Running Activities | 1991 | VLDB | 0.00011722975 |
| 1,795 | A Multidatabase Transaction Model for InterBase | 1990 | VLDB | 0.0001051023 |
| 2,433 | ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior | 1990 | SIGMOD | 8.8242736e-05 |
| 3,637 | Using Flexible Transactions to Support Multi-system Telecommunication Applications | 1992 | VLDB | 6.8920046e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,643 | Transactions And Integrity Constraints | 1985 | PODS | 6.0213009e-05 |
| 12,716 | Concurrency Control and Recovery in Transactional Process Management | 1999 | PODS | 4.1905499e-05 |
| 13,021 | A semantic approach to correctness of concurrent transaction executions | 1985 | PODS | 4.1905499e-05 |
| 5,513 | A Formalism for Extended Transaction Models | 1991 | VLDB | 5.4691558e-05 |
| 14,119 | Relaxed Transaction Processing | 1994 | SIGMOD | - |
| 1,479 | A Transactional Model for Long-Running Activities | 1991 | VLDB | 0.00011722975 |
| 12,836 | Relative Serializability: An Approach for Relaxing the Atomicity of Transactions | 1994 | PODS | 4.1905499e-05 |
| 1,795 | A Multidatabase Transaction Model for InterBase | 1990 | VLDB | 0.0001051023 |
| 6,032 | Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems | 1994 | SIGMOD | 5.2365238e-05 |
| 4,919 | Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications | 1990 | VLDB | 5.8263376e-05 |