1. On the computability of agent-based workflows
- Author
-
Prashant Palvia, David Paper, and Wai Yin Mok
- Subjects
Information Systems and Management ,Dependency (UML) ,Linear programming ,Computer science ,business.industry ,Computability ,Petri net ,Management Information Systems ,Workflow technology ,Workflow ,Arts and Humanities (miscellaneous) ,Developmental and Educational Psychology ,Artificial intelligence ,State diagram ,Software engineering ,business ,Workflow management system ,Information Systems - Abstract
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.
- Published
- 2006