On the computability of agent-based workflows

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. D 2005 Elsevier B.V. All rights reserved.

• Type: Journal
• Year: 2006
• Where: DSS
• Authors: Wai Yin Mok, Prashant Palvia, David Paper
• Keywords: DSS 2006, Research, Workflow, Workflow Research