Verification of Unstructured Workflows Via Propositional Logic

Publication Type

Conference Proceeding Article

Publication Date

5-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.

Discipline

Software Engineering

Research Areas

Software Systems

Publication

ICIS 2008: 7th IEEE International Conference on Computer and Information Science, 14-16 May, Portland, OR: Proceedings

First Page

247

Last Page

252

ISBN

9780769531311

Identifier

10.1109/ICIS.2008.66

Publisher

IEEE

City or Country

Portland, OR

Additional URL

http://dx.doi.org/10.1109/ICIS.2008.66

Link to Full Text

Share

COinS