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,928 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 0.00010061483 |
| 3,190 | A Verifier for Interactive, Data-driven Web Applications | 2005 | SIGMOD | 7.4113639e-05 |
| 3,494 | Specification and Verification of Data-driven Web Services | 2004 | PODS | 7.040662e-05 |
| 3,829 | Tools for Design of Composite Web Services (Tutorial Abstract) | 2004 | SIGMOD | 6.7206878e-05 |
| 4,051 | Workflow, Transactions and Datalog | 1999 | PODS | 6.4940502e-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 |
| 12,413 | Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics | 2008 | VLDB | 4.1945683e-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.00071800944 |
| 1,075 | Organizing Long-Running Activities with Triggers and Transactions | 1990 | SIGMOD | 0.00014250476 |
| 1,798 | A Multidatabase Transaction Model for InterBase | 1990 | VLDB | 0.00010520589 |
| 2,270 | Specifying and Enforcing Intertask Dependencies | 1993 | VLDB | 9.1467207e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,533 | Extracting Concurrency from Objects: A Methodology | 1991 | SIGMOD | 7.0009039e-05 |
| 7,291 | Static Analysis of Active XML Systems | 2008 | PODS | 4.7741469e-05 |
| 2,270 | Specifying and Enforcing Intertask Dependencies | 1993 | VLDB | 9.1467207e-05 |
| 6,825 | A Transaction Logic for Database Specification | 1988 | SIGMOD | 4.9143895e-05 |
| 1,075 | Organizing Long-Running Activities with Triggers and Transactions | 1990 | SIGMOD | 0.00014250476 |
| 1,481 | A Transactional Model for Long-Running Activities | 1991 | VLDB | 0.00011735776 |
| 4,051 | Workflow, Transactions and Datalog | 1999 | PODS | 6.4940502e-05 |
| 12,032 | Collaborative Data-Driven Workflows: Think Global, Act Local | 2013 | PODS | 4.1945683e-05 |
| 8,977 | Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic | 2007 | VLDB | 4.4174383e-05 |
| 7,968 | A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints | 2002 | VLDB | 4.613363e-05 |