Verification of Unstructured Workflows Via Propositional Logic
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 stru...
Saved in:
Main Authors: | LIANG, Qianhui (Althea), ZHAO, L. |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2008
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/408 http://dx.doi.org/10.1109/ICIS.2008.66 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Rule Randomization for Propositional Logic-Based Workflow Verification
by: LIANG, Qianhui (Althea), et al.
Published: (2008) -
Rule randomisation and its application to logic-based workflow verification
by: LIANG, Qianhui (Althea), et al.
Published: (2009) -
Completeness theory for propositional logics
by: Pogorzelski, Witold ; Wojtylak, Piotr
Published: (2017) -
Randomized Local Extrema for Heuristic Selection in TSP
by: LIANG, Qianhui (Althea), et al.
Published: (2006) -
Randomization in Searching for Composites of Software Components
by: LIANG, Qianhui (Althea), et al.
Published: (2007)