Logic based modeling and analysis of workflows

Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

120 Scopus citations

Abstract

We propose Concurrent Transaction Logic (CTR) as the language for specifying, analyzing, and scheduling of workflows. We show that both local and global properties of workflows can be naturally represented as CTR formulas and reasoning can be done with the use of the proof theory and the semantics of this logic. We describe a transformation that leads to an efficient algorithm for scheduling workflows in the presence of global temporal constraints, which leads to decision procedures for dealing with several safety related properties such as whether every valid execution of the workflow satisfies a particular property or whether a workflow execution is consistent with some given global constraints on the ordering of events in a workflow. We also provide tight complexity results on the running times of these algorithms.

Original languageEnglish (US)
Title of host publicationProceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
Editors Anon
Place of PublicationNew York, NY, United States
PublisherACM
Pages25-33
Number of pages9
StatePublished - 1998
Externally publishedYes
EventProceedings of the 1998 17th ACM SIGART-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS - Seattle, WA, USA
Duration: Jun 1 1998Jun 3 1998

Other

OtherProceedings of the 1998 17th ACM SIGART-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS
CitySeattle, WA, USA
Period6/1/986/3/98

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Logic based modeling and analysis of workflows'. Together they form a unique fingerprint.

  • Cite this

    Davulcu, H., Kifer, M., Ramakrishnan, C. R., & Ramakrishnan, I. V. (1998). Logic based modeling and analysis of workflows. In Anon (Ed.), Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (pp. 25-33). ACM.