Verification of unstructured workflows via propositional logic

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)Not applicablepeer-review

View graph of relations

Author(s)

Detail(s)

Original languageEnglish
Title of host publicationProceedings - 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, In conjunction with 2nd IEEE/ACIS Int. Workshop on e-Activity, IEEE/ACIS IWEA 2008
Pages247-252
StatePublished - 2008
Externally publishedYes

Conference

Title7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008
PlaceUnited States
CityPortland, OR
Period14 - 16 May 2008

Abstract

The concept of unstructured workflows is useful for both research and practical purposes. While sometimes it is preferable to transform unstructured workflows into structured ones, unstructured workflows may be more meaningful to business people. Furthermore, transformation from unstructured to structured workflows may be troublesome at times. As such, it is important to be able to verify unstructured workflows directly. In this paper, we take a different perspective by focusing on the verification of unstructured workflows using a propositional-logic-based approach. We demonstrate that logic-based verification can derive similar results between an unstructured workflow and its corresponding structured workflow. We further develop a conceptual framework that characterizes the propositional logic approach to verification of unstructured workflows. © 2008 IEEE.

Research Area(s)

  • Overlapping patterns, Propositional logic, Unstructured workflow, Workflow verification

Citation Format(s)

Verification of unstructured workflows via propositional logic. / Liang, Qianhui Althea; Zhao, J. Leon.

Proceedings - 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, In conjunction with 2nd IEEE/ACIS Int. Workshop on e-Activity, IEEE/ACIS IWEA 2008. 2008. p. 247-252 4529828.

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)Not applicablepeer-review