Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publication no #626   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Automated Planning for supporting Knowledge-intensive Processes

Sheila Venero, Bradley Schmerl, Leonardo Montecchi, Julio Cesar Dos Reis and Cecilia M. F. Rubira.

In Proceedings of the 20th Business Process Modeling, Development and Support (BPMDS) Working Conference, 8-9 June 2020.

Online links: PDF   Bibtex entry   Plain Text

Knowledge-intensive processes (KiPs) are processes characterized by high levels of unpredictability and dynamism. Their process structure may not be known before their execution. One way to cope with this uncertainty is to defer decisions regarding the process structure until run time. In this paper, we consider the definition of the process structure as a planning problem. Our approach uses automated planning techniques to generate plans that define process models according to the current context. The generated plan model relies on a metamodel called METAKIP that represents the basic elements of KiPs. Our solution explores Markov Decision Processes (MDP) to generate plan models. This technique allows uncertainty representation by defining state transition probabilities, which gives us more flexibility than traditional approaches. We construct an MDP model and solve it with the help of the PRISM model-checker. The solution is evaluated by means of a proof of concept in the medical domain and reveals the feasibility of our approach.

Keywords: Model Checking, Stochastic Games.  
    Created: 2020-04-03 11:45:55     Modified: 2020-06-11 16:54:14
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32