Feedback partitioning and decomposition-oriented analysis of cyclic workflow graphs

Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalNot applicablepeer-review

View graph of relations



Original languageEnglish
Pages (from-to)17-18
Journal / PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
StatePublished - 2004
Externally publishedYes


This paper introduces a novel method of verifying a cyclic workflow model by partitioning it into acyclic subgraphs. The iterative classification of nodes according to the feedback structure and derivation of acyclic subgraphs are illustrated. We also introduce the concepts of two-phased verification of control flows and decomposition-oriented analysis, which is generally easier to comprehend and verify individually than the whole workflow model. © Springer-Verlag 2004.

Citation Format(s)