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: 1126
Venue: PODS
Year: 1998
Pagerank: 8.307117e-05
Overall Rank: 2,641 | 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,653	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	8.2898925e-05
3,398	A Verifier for Interactive, Data-driven Web Applications	2005	SIGMOD	7.4467496e-05
4,080	Specification and Verification of Data-driven Web Services	2004	PODS	6.9165722e-05
4,437	Workflow, Transactions and Datalog	1999	PODS	6.7064486e-05
4,624	Tools for Design of Composite Web Services (Tutorial Abstract)	2004	SIGMOD	6.599431e-05
8,286	A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints	2002	VLDB	5.4574671e-05
9,166	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB	5.3100453e-05
12,607	Adaptive Workflow Scheduling Under Resource Allocation Constraints and Network Dynamics	2008	VLDB	5.093636e-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
64	Sagas	1987	SIGMOD	0.00038756588
1,276	Organizing Long-Running Activities with Triggers and Transactions	1990	SIGMOD	0.0001136991
2,301	A Multidatabase Transaction Model for InterBase	1990	VLDB	8.7813535e-05
3,142	Specifying and Enforcing Intertask Dependencies	1993	VLDB	7.7169178e-05

Semantically Similar Papers

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