%0 Journal Article %1 mok_06_computability %A Mok, Wai Y. %A Palvia, Prashant %A Paper, David %D 2006 %J Decision Support Systems %K 2006 agents statecharts %N 3 %P 1239--1253 %R 10.1016/j.dss.2005.10.010 %T On the computability of agent-based workflows %U http://dx.doi.org/10.1016/j.dss.2005.10.010 %V 42 %X 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.

@article{mok_06_computability, 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.}, added-at = {2009-02-11T20:58:15.000+0100}, author = {Mok, Wai Y. and Palvia, Prashant and Paper, David}, biburl = {https://www.bibsonomy.org/bibtex/2aa3c16bfa3b89f18652fe6e49ec307dd/leonardo}, citeulike-article-id = {467177}, doi = {10.1016/j.dss.2005.10.010}, interhash = {5176b4649ec781ddd54d74319c94a94e}, intrahash = {aa3c16bfa3b89f18652fe6e49ec307dd}, journal = {Decision Support Systems}, keywords = {2006 agents statecharts}, month = {December}, number = 3, pages = {1239--1253}, posted-at = {2006-01-17 16:22:05}, priority = {2}, timestamp = {2009-02-11T20:58:15.000+0100}, title = {On the computability of agent-based workflows}, url = {http://dx.doi.org/10.1016/j.dss.2005.10.010}, volume = 42, year = 2006 }