Abstract
AbstractProcess-aware information systems guide participants through the execution of processes. However, existing systems have limited support for knowledge-intensive processes, which are multi-variant and shaped by informed decisions of knowledge workers. Yet, making such decisions causes high cognitive load, as the effect of the decision on the future process execution must be considered. This may cause errors and/or slow down the process execution. We present an approach based on fragment-based Case Management. It supports the iterative decision making by (i) enabling knowledge workers to define goals and (ii) by giving recommendations on which decision outcomes align with the goals and which do not. For that, we use information from the process model and the running process instance. We show the technical feasibility with a proof-of-concept implementation and the value for knowledge workers in a preliminary user study.
Funder
Hasso-Plattner-Institut für Digital Engineering gGmbH
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Information Systems,Software
Reference42 articles.
1. Awad, A., Weidlich, M., & Weske, M. (2011). Visually specifying compliance rules and explaining their violations for business processes. Journal of Visual Languages and Computing, 22(1), 30–55. https://doi.org/10.1016/j.jvlc.2010.11.002.
2. Baier, C., & Katoen, J. (2008). Principles of model checking. Cambridge: MIT Press.
3. Ciccio, C. D., Marrella, A., & Russo, A. (2015). Knowledge-intensive processes: characteristics, requirements and analysis of contemporary approaches. Journal on Data Semantics, 4(1), 29–57. https://doi.org/10.1007/s13740-014-0038-4.
4. Clarke, E. M., & Emerson, E. A. (1981). Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981. Lecture Notes in Computer Science, (Vol. 131 pp. 52–71). Berlin: Springer, https://doi.org/10.1007/BFb0025774.
5. Clarke, E. M., Grumberg, O., & Peled, D.A. (2001). Model Checking. MIT Press. https://mitpress.mit.edu/books/model-checking.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献