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)

Paper ID: h4839b815c0643ea5
Venue: PODS
Year: 1998
Pagerank: 8.1213392e-05
Overall Rank: 2,695 | 81.89%
DOI: 10.1145/275487.275491

Incoming Non-self Citations Over Time

Authors

1. Hasan Davulcu (State University of New York at Stony Brook)
2. Michael Kifer (State University of New York at Stony Brook)
3. C.R. Ramakrishnan (State University of New York at Stony Brook)
4. I.V. Ramakrishnan (State University of New York at Stony Brook)

BibTeX Citation

@inproceedings{davulcu_pods98,
        address = {New York, NY, USA},
        series = {{PODS} '98},
        title = {{Logic Based Modeling and Analysis of Workflows (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/275487.275491},
        doi = {10.1145/275487.275491},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Davulcu, Hasan and Kifer, Michael and Ramakrishnan, C.R. and Ramakrishnan, I.V.},
        year = {1998}
}

Incoming Citations (Sorted by Pagerank)

Showing 8 of 8 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,711	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	8.1038896e-05
3,458	A Verifier for Interactive, Data-driven Web Applications	2005	SIGMOD	7.284865e-05
4,170	Specification and Verification of Data-driven Web Services	2004	PODS	6.7615597e-05
4,535	Workflow, Transactions and Datalog	1999	PODS	6.5559749e-05
4,724	Tools for Design of Composite Web Services (Tutorial Abstract)	2004	SIGMOD	6.4523909e-05
8,454	A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints	2002	VLDB	5.3350162e-05
9,340	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB	5.1909022e-05
12,897	Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics	2008	VLDB	4.9793485e-05

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
66	Sagas	1987	SIGMOD	0.00038047495
1,300	Organizing Long-Running Activities with Triggers and Transactions	1990	SIGMOD	0.00011118207
2,356	A Multidatabase Transaction Model for InterBase	1990	VLDB	8.5855389e-05
3,199	Specifying and Enforcing Intertask Dependencies	1993	VLDB	7.5438219e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	3,852	Extracting Concurrency from Objects: A Methodology	1991	SIGMOD
2	7,503	Static Analysis of Active XML Systems	2008	PODS
3	3,199	Specifying and Enforcing Intertask Dependencies	1993	VLDB
4	7,595	A Transaction Logic for Database Specification	1988	SIGMOD
5	1,300	Organizing Long-Running Activities with Triggers and Transactions	1990	SIGMOD
6	2,134	A Transactional Model for Long-Running Activities	1991	VLDB
7	4,535	Workflow, Transactions and Datalog	1999	PODS
8	12,521	Collaborative Data-Driven Workflows: Think Global, Act Local	2013	PODS
9	9,340	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB
10	8,454	A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints	2002	VLDB