Feedback partitioning and decomposition-oriented analysis of cyclic workflow graphs

Yongsun Choi; J. Leon Zhao

doi:10.1007/978-3-540-30470-8_8

Feedback partitioning and decomposition-oriented analysis of cyclic workflow graphs

Yongsun Choi
, J. Leon Zhao

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

2 Citations (Scopus)

Abstract

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 Berlin Heidelberg 2004.

Original language	English
Title of host publication	On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops
Subtitle of host publication	OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings
Editors	Robert Meersman, Zahir Tari, Angelo Corsaro
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	17-18
ISBN (Electronic)	978-3-540-30470-8
ISBN (Print)	978-3-540-23664-1
DOIs	https://doi.org/10.1007/978-3-540-30470-8_8
Publication status	Published - 2004
Externally published	Yes
Event	On The Move Federated Conferences & Workshops (OTM 2004) - Agia Napa, Cyprus Duration: 25 Oct 2004 → 29 Oct 2004

Publication series

Name	Lecture Notes in Computer Science
Volume	3292
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	On The Move Federated Conferences & Workshops (OTM 2004)
Place	Cyprus
City	Agia Napa
Period	25/10/04 → 29/10/04

Access Output

10.1007/978-3-540-30470-8_8

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

Choi, Y., & Leon Zhao, J. (2004). Feedback partitioning and decomposition-oriented analysis of cyclic workflow graphs. In R. Meersman, Z. Tari, & A. Corsaro (Eds.), On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings (pp. 17-18). (Lecture Notes in Computer Science; Vol. 3292). Springer . https://doi.org/10.1007/978-3-540-30470-8_8

Choi, Yongsun ; Leon Zhao, J. / Feedback partitioning and decomposition-oriented analysis of cyclic workflow graphs. On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings. editor / Robert Meersman ; Zahir Tari ; Angelo Corsaro. Berlin, Heidelberg : Springer , 2004. pp. 17-18 (Lecture Notes in Computer Science).

@inproceedings{ffca1a95eb04463f959ef1f58000a6b0,

title = "Feedback partitioning and decomposition-oriented analysis of cyclic workflow graphs",

abstract = "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. {\textcopyright} Springer-Verlag Berlin Heidelberg 2004.",

author = "Yongsun Choi and \{Leon Zhao\}, J.",

year = "2004",

doi = "10.1007/978-3-540-30470-8\_8",

language = "English",

isbn = "978-3-540-23664-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer ",

pages = "17--18",

editor = "Meersman, \{Robert \} and Tari, \{Zahir \} and Corsaro, \{Angelo \}",

booktitle = "On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops",

note = "On The Move Federated Conferences \& Workshops (OTM 2004) ; Conference date: 25-10-2004 Through 29-10-2004",

}

Choi, Y & Leon Zhao, J 2004, Feedback partitioning and decomposition-oriented analysis of cyclic workflow graphs. in R Meersman, Z Tari & A Corsaro (eds), On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings. Lecture Notes in Computer Science, vol. 3292, Springer , Berlin, Heidelberg, pp. 17-18, On The Move Federated Conferences & Workshops (OTM 2004), Agia Napa, Cyprus, 25/10/04. https://doi.org/10.1007/978-3-540-30470-8_8

Feedback partitioning and decomposition-oriented analysis of cyclic workflow graphs. / Choi, Yongsun; Leon Zhao, J.
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings. ed. / Robert Meersman; Zahir Tari; Angelo Corsaro. Berlin, Heidelberg: Springer , 2004. p. 17-18 (Lecture Notes in Computer Science; Vol. 3292).

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

TY - GEN

T1 - Feedback partitioning and decomposition-oriented analysis of cyclic workflow graphs

AU - Choi, Yongsun

AU - Leon Zhao, J.

PY - 2004

Y1 - 2004

N2 - 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 Berlin Heidelberg 2004.

AB - 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 Berlin Heidelberg 2004.

UR - https://www.scopus.com/pages/publications/35048891617

UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-35048891617&origin=recordpage

U2 - 10.1007/978-3-540-30470-8_8

DO - 10.1007/978-3-540-30470-8_8

M3 - RGC 32 - Refereed conference paper (with host publication)

SN - 978-3-540-23664-1

T3 - Lecture Notes in Computer Science

SP - 17

EP - 18

BT - On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops

A2 - Meersman, Robert

A2 - Tari, Zahir

A2 - Corsaro, Angelo

PB - Springer

CY - Berlin, Heidelberg

T2 - On The Move Federated Conferences & Workshops (OTM 2004)

Y2 - 25 October 2004 through 29 October 2004

ER -

Choi Y, Leon Zhao J. Feedback partitioning and decomposition-oriented analysis of cyclic workflow graphs. In Meersman R, Tari Z, Corsaro A, editors, On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings. Berlin, Heidelberg: Springer . 2004. p. 17-18. (Lecture Notes in Computer Science). Epub 2004 Oct 14. doi: 10.1007/978-3-540-30470-8_8

Feedback partitioning and decomposition-oriented analysis of cyclic workflow graphs

Abstract

Publication series

Conference

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this