Article ID: | iaor2008755 |
Country: | Netherlands |
Volume: | 42 |
Issue: | 3 |
Start Page Number: | 1239 |
End Page Number: | 1253 |
Publication Date: | Dec 2006 |
Journal: | Decision Support Systems |
Authors: | Palvia Prashant, Mok Wai Yin, Paper David |
Keywords: | decision: studies, programming: linear, artificial intelligence: decision support |
Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines as agents and making use of a theoretical computer and statecharts, we prove that many workflow problems do not have computer-based solutions. We also demonstrate a sufficient condition under which computers are able to solve these problems. We end by discussing the relationships between our research and Petri Nets, the multi-agent framework in the literature, linear programming and workflow verification.