Logic Based Modeling and Analysis of Workflows (Extended Abstract)
Summary: Proposes Concurrent Transaction Logic (CTR) as a unified formalism to specify workflows and capture local and global (temporal) properties via its proof theory and semantics. Derives a transformation to efficient scheduling and decision procedures for safety/consistency under global ordering constraints, and establishes tight complexity bounds. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Hasan Davulcu
- 2. Michael Kifer
- 3. C.R. Ramakrishnan
- 4. I.V. Ramakrishnan
Incoming Citations (Sorted by Pagerank)
Showing 8 of 8 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,931 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.0001005178 |
| 3,197 | A Verifier for Interactive, Data-driven Web Applications | 2005 | SIGMOD | 7.404293e-05 |
| 3,498 | Specification and Verification of Data-driven Web Services | 2004 | PODS | 7.0370688e-05 |
| 3,832 | Tools for Design of Composite Web Services (Tutorial Abstract) | 2004 | SIGMOD | 6.7145204e-05 |
| 4,058 | Workflow, Transactions and Datalog | 1999 | PODS | 6.4877988e-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 |
| 12,422 | Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics | 2008 | VLDB | 4.1905499e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 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,795 | A Multidatabase Transaction Model for InterBase | 1990 | VLDB | 0.0001051023 |
| 2,275 | Specifying and Enforcing Intertask Dependencies | 1993 | VLDB | 9.1378799e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,464 | Extracting Concurrency from Objects: A Methodology | 1991 | SIGMOD | 7.0672222e-05 |
| 7,288 | Static Analysis of Active XML Systems | 2008 | PODS | 4.7695781e-05 |
| 2,275 | Specifying and Enforcing Intertask Dependencies | 1993 | VLDB | 9.1378799e-05 |
| 6,824 | A Transaction Logic for Database Specification | 1988 | SIGMOD | 4.9096742e-05 |
| 1,076 | Organizing Long-Running Activities with Triggers and Transactions | 1990 | SIGMOD | 0.00014229211 |
| 1,479 | A Transactional Model for Long-Running Activities | 1991 | VLDB | 0.00011722975 |
| 4,058 | Workflow, Transactions and Datalog | 1999 | PODS | 6.4877988e-05 |
| 12,040 | Collaborative Data-Driven Workflows: Think Global, Act Local | 2013 | PODS | 4.1905499e-05 |
| 8,984 | Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic | 2007 | VLDB | 4.4132034e-05 |
| 7,971 | A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints | 2002 | VLDB | 4.6089395e-05 |