scieee Science in your language
[en] (orig)

Updating Prediction Models for Predictive Process Monitoring

Abstract

Predictive monitoring is a key activity in some Process Aware Information Systems (PAIS) such as information systems for operational management support. Unforeseen circumstances like COVID can introduce changes in human behaviour, processes, or computing resources, which lead the owner of the process or information system to consider whether the quality of the predictions made by the system (e.g., mean time to solution) is still good enough, and if not, which amount of data and how often the system should be trained to maintain the qual ity of the predictions. To answer these questions, we propose, compare, and evaluate different strategies for selecting the amount of information required to update the predictive model in a context of offline learning. We performed an empirical evaluation using three real-world datasets that span between 2 and 13 years to validate the different strategies which show a significant enhancement in the prediction accuracy with respect to a non-update strategy

Read accessible full text

Updating Prediction Models for Predictive Process Monitoring

Author: Márquez Chamorro, Alfonso Eduardo; Nepomuceno Chamorro, Isabel de los Ángeles; Resinas Arias de Reyna, Manuel; Ruiz Cortés, Antonio
Publisher: Springer
Year: 2022
DOI: 10.1007/978-3-031-07472-1_18
Source: https://idus.us.es/bitstreams/dffce928-3a1f-4ec2-bd25-74fd4f4c9c28/download
Upda ing P edic ion Models
o P edic i e P ocess Moni o ing
Al onso E. M´a quez-Chamo o1,2(B), Isabel A. Nepomuceno-Chamo o1,
Manuel Resinas1,2 , and An onio Ruiz-Co ´es1,2
1I3US Ins i u e, Uni e sidad de Se illa, Se ille, Spain
{ama quez6,inepomuceno, esinas,a uiz}@us.es
2SCORE Lab, Uni e sidad de Se illa, Se ille, Spain
Abs ac . P edic i e moni o ing is a key ac i i y in some P ocess-
Awa e In o ma ion Sys ems (PAIS) such as in o ma ion sys ems o
ope a ional managemen suppo . Un o eseen ci cums ances like COVID
can in oduce changes in human beha iou , p ocesses, o compu ing
esou ces, which lead he owne o he p ocess o in o ma ion sys em o
conside whe he he quali y o he p edic ions made by he sys em (e.g.,
mean ime o solu ion) is s ill good enough, and i no , which amoun o
da a and how o en he sys em should be ained o main ain he qual-
i y o he p edic ions. To answe hese ques ions, we p opose, compa e,
and e alua e diffe en s a egies o selec ing he amoun o in o ma ion
equi ed o upda e he p edic i e model in a con ex o offline lea ning.
We pe o med an empi ical e alua ion using h ee eal-wo ld da ase s
ha span be ween 2 and 13 yea s o alida e he diffe en s a egies
which show a significan enhancemen in he p edic ion accu acy wi h
espec o a non-upda e s a egy.
Keywo ds: P edic i e p ocess moni o ing ·P ocess mining ·
P ocess-awa e in o ma ion sys ems ·P edic ion models ·Model
upda ing
1 In oduc ion
P edic i e p ocess moni o ing (PPM) p o ides p oac i e and co ec i e ac ions
o imp o e he p ocess pe o mance and mi iga e po en ial isks in eal ime.
PPM e ie es in o ma ion om P ocess-Awa e In o ma ion Sys ems (PAIS)
s o ed in e en logs o make p edic ions o e alua ion me ics, also known as
p ocess pe o mance indica o s (PPIs) [1]. A pa h ex ensi ely ollowed in he
li e a u e o p edic i e moni o ing is adap ing exis ing machine lea ning ech-
niques [2] such as decision ees, clus e ing me hods o neu al ne wo ks o ob ain
p edic i e models wi h highe accu acy. When hese app oaches a e used, he
Wo k unded by g an s RTI2018-101204-B-C21 and RTI2018-101204-B-C22 unded by
MCIN/ AEI/ 10.13039/501100011033/ and ERDF A way o making Eu ope; g an
P18-FR-2895 and US-1381595 unded by Jun a de Andaluc´ıa/ERDF, UE.
ypical p ocedu e o p edic i e moni o ing comp ises wo s eps. Fi s , a aining
s age in which he p edic i e models a e ained using da a collec ed in he e en
logs. Second, once he model is buil , i is deployed and i is used o p edic PPIs
o cu en and/o u u e p ocess execu ions.
In he absence o significan changes, ce e is pa ibus (all else being equal),
his app oach wo ks fine, bu p ocesses a e subjec o con inuous changes. Fo
ins ance, he esponse o COVID may in oduce new ways o pe o ming ac i -
i ies, use s can beha e in a diffe en way, o human o compu ing esou ces can
change o e ime. These changes may nega i ely affec he pe o mance o he
p edic i e model since he da a used o ain hem does no eflec eali y any
mo e. The e o e, he only way o keep his pe o mance o e a desi ed h eshold
is by adap ing he model o he changes.
In he machine lea ning communi y, he e a e wo main adap a ion
app oaches o ha , namely, online and offline lea ning. In online lea ning, he
p edic i e model is being upda ed con inuously om he da a i ecei es. Con-
e sely, in offline lea ning, he p edic i e model is ebuil again om he g ound.
In his pape , we decide o ocus on offline lea ning mainly o wo easons.
Fi s ly, he pace o change and he pace o new e en s in he p ocesses we a e
in e es ed in, gi es enough ime o comple ely ebuild new models. Secondly,
i s use allows one o euse a huge amoun o machine lea ning echniques ha
a e a ailable o offline lea ning, which is much mo e comp ehensi e han ha o
online lea ning. Fu he mo e, hese echniques do no need o make comp omises
o keep a easonable lea ning ime.
In his con ex , he goal o his pape is o p o ide de ails on how o ace
wo o he ques ions ha a ise in he upda e o p edic i e models: “Which da a
should be conside ed in he new model ha is being buil ?” and “How he
selec ion o da a does impac on he pe o mance o he p edic i e models?”.
By answe ing hese ques ions, we con ibu e o he s a e o he a on PPM by
p oposing six diffe en s a egies o upda ing p edic i e models (baseline, cumu-
la i e, non- cumula i e, ensemble, sampling, and concep d i ) and compa ing
hei pe o mance. Ou expe imen a ion was alida ed using h ee eal-li e e en
logs ha span be ween 2 and 13 yea s. We ha e also pe o med a compa ison o
diffe en well-known classifie s used in ela ed li e a u e.
The eminde o his pape is o ganized as ollows. Sec ion 2summa ises basic
concep s in p edic i e moni o ing. Sec ion 3p esen s he s a egies o upda ing
p edic i e models. The expe imen and he discussion o he ob ained esul s
a e p esen ed in Sec . 4. Sec ion 5summa ises he ela ed wo k. Finally, Sec . 6
concludes he wo k and p esen s possible u u e di ec ions.
2 P edic i e P ocess Moni o ing
In he ollowing, we in oduce some basic concep s o p edic i e p ocess moni-
o ing. As defined in [3], an e en log (L) is composed o a se o aces (T). Each
ace (Ti) eflec s an execu ion o a p ocess ins ance. Fo mally, we can exp ess
a ace as an o de ed lis o e en s Ti=[Ei1,...,E
im] whe e Ei1 ep esen s he
fi s e en and Eim he final e en o ace Ti. Simila ly, a log can be exp essed
as he se o aces o he ins ances ha ha e finished in an in e al o ime
L=[T1,...,T
n] whe e T1is he fi s and Tnis he las execu ed ace in he ime
in e al. Finally, an e en ep esen s he execu ion o an ac i i y o he p ocess.
Each e en con ains a se o a ibu es (a), which ep esen s in o ma ion ela ed
o such e en , e.g. imes amp, he esou ce ha execu es he ac i i y, o he
alue o some da a used h oughou he ins ance, Ej=[aj1,...,a
jo] whe e o
de e mines he o al numbe o a ibu es o he e en .
A p ocess indica o (I) is a quan ifiable me ic ocused on measu ing he
p og ess owa d a goal o s a egic objec i e. Indica o s can be classified in o
wo ypes: single-ins ance indica o s o agg ega ed indica o s. The o me is
compu ed o each ace in he log using he alues o he a ibu es o he
e en s ha compose his ace. The e o e, i can be defined as a unc ion o a
ace Ti,i.e. I(Ti). This unc ion can e u n a bina y alue, e.g a de e mined
condi ion ulfilled by he ace, o a eal alue, e.g he du a ion o an ac i i y.
Ins ead, an agg ega ed indica o is compu ed o a se aces by agg ega ing a
single-ins ance indica o using some agg ega ion unc ion, e.g. sum o a e age.
An example o his ype o indica o could be he pe cen age o inciden s sol ed
in a ce ain pe iod o ime.
A p edic i e model o an indica o Iis a unc ion PI([Eik,...,E
il]), wi h
k≤l, ha compu es a p edic ion o I om he pa ial ace [Eik,...,E
il],
whe e Eilis he las e en ha ha e occu ed in ace Tia a gi en momen .
I k= 1, hen all e en s ha ha e occu ed in he p ocess ins ance a hand a e
conside ed. Ins ead, i k=l, hen only he las e en o he p ocess ins ance is
conside ed.
In o de o ain a p edic i e model ˆ
I o a key pe o mance indica o (KPI) I,
an encoded fixed-size ep esen a ion Co all he cases C, whe e C⊆C, included
in he aining se is equi ed. This encoding, gene ally ep esen ed as a ea u e
ma ix (X), should s o e enough in o ma ion o he p ocess, and will be used as
inpu o he machine lea ning echnique employed o build he model oge he
wi h he alue o he KPI I o each case in C, which ep esen s he a ge
a iable (y). The ea u e ma ix Xis ob ained a e applying a sequence encoding
unc ion F, which ecei es a se o cases Cand e u ns a ma ix X. Each ow o
he ma ix ep esen s an e en E, i.e. he execu ion o an ac i i y o he p ocess,
o a case c∈Cand each column ep esen s he diffe en (encoded) a ibu es
ao he e en . Va ious sequence encoding echniques ha e been p oposed in
he li e a u e o his ask such as las s a e encoding [4], agg ega ion encoding
[5], o index-based encoding [6]. The o he decision is i only one classifie is
ained o he whole da ase o , on he con a y, i cases a e g ouped in o se e al
bucke s and a diffe en classifie is ained o each one. Se e al case bucke ing
echniques ha e been p oposed in he li e a u e [7]: Ze o bucke ing [5], p efix
leng h bucke ing [6], o clus e bucke ing [8]. A e hese wo decisions a e made,
a p edic i e model is buil using some machine lea ning algo i hm using he pai
(X, y) as he inpu .
Fig. 1. Upda ing models sys em in a p edic i e moni o ing p ocess.
Fig. 2. T aining s age.
Fig. 3. Run- ime moni o ing s age.
An indica o Ican ep esen diffe en issues, such as a ce ain ou come, he
nex ac i i y o he p ocess o emaining cycle ime o a gi en p ocess case. In
his wo k we ha e ocused on he ou come-based p edic ion. The e o e, we a e
p edic ing an ou come alue pe case ins ead o a alue pe each e en .
3 Upda ing P edic i e Models
Once he p edic i e models a e gene a ed ollowing he mechanisms desc ibed in
he p e ious sec ion a e deployed in o p oduc ion, hey s a making p edic ions
ha can be used o imely eac o ope a ional issues. Howe e , a e a while,
he way he p ocess was pe o med migh ha e changes; esou ces pa icipa ing
in he p ocess may come and go; e en he s uc u e o he p ocess may suffe
changes. All hese changes a e igno ed by he p edic i e model ha was deployed
some ime ago, so hese changes may nega i ely affec he pe o mance o he
p edic i e model. The e o e, i is necessa y o p o ide mechanisms o upda e he
p edic i e model. Figu e 1shows a sys em o he upda ing o p edic i e models
desc ibed below. I consis s o a aining s age depic ed in Fig. 2(which in ol es
he fil e ing o he e en log, he gene a ion o he p edic i e model and he
e alua ion o his model), he deploymen o his model, he p edic ion using his
model, and finally, a mechanism o he upda e o he dep eca ed models, named
Run- ime moni o ing p ocess as shown in Fig. 3. This mechanism can e alua e
he model in e ms o he pe o mance o he p edic ions and decide when he
p edic i e model should be upda ed acco ding o h ee possible pa ame e s: he
ime elapsed om he las deployed model, he accu acy o p edic ions and he
possible occu ence o a concep d i [9].
As men ioned in he in oduc ion, he e a e wo app oaches o upda ing
p edic i e models, namely online and offline lea ning. In his pape , we ocus
on offline lea ning because i allows one o use he huge amoun o machine
lea ning echniques o offline lea ning, which is much mo e comp ehensi e han
ha o online lea ning and, u he mo e, hese echniques do no need o make
comp omises in o de o keep a easonable lea ning ime. To he bes o ou
knowledge, any o he wo k ela ed o offline s a egies o upda ing p edic i e
models appea s in he li e a u e, so ha compa ison wi h o he pape s is no pos-
sible. In he con ex o offline lea ning, wo basic ques ions need o be answe ed
o upda e he p edic i e model:
1. When should he p edic i e model be upda ed?
2. Which da a should be conside ed in he new model ha is being buil ?
Fo he fi s ques ion, se e al s a egies can be conside ed (Run- ime mon-
i o ing s age in Fig. 3). The mos s aigh o wa d is a pe iodical upda e o he
model [10]. A easonable deadline o he change o he model can be fixed, e.g.
six-mon hly pe iodici y, and hen, a new gene a ion o he model will be ca ied
ou . A diffe en s a egy migh in ol e moni o ing he accu acy o ou p edic-
ions. When i begins o dec ease o e an unin e up ed pe iod o ime, i may
be ecommended o change he p edic i e model. A h eshold o e o can be
se , and i he p edic ion exceeds his h eshold, he p edic ion model will be
upda ed. Finally, a hi d s a egy could in ol e using he de ec ion o d i s in
p ocesses [11] o igge upda es in he p edic i e model [10]. Se e al s a egies
could be also combined o design a mo e obus sys em.
Ou ocus in his pape is, howe e , on he second ques ion. This ques ion is
ele an because o wo easons ha in ol e he quali y and cos o p edic i e
models. Conce ning he o me , i he eason o upda ing he p edic i e model
is because he p ocess has changed, i is easonable o hink ha lea ning pas
beha iou s o he p ocess may no be beneficial o he pe o mance o he p e-
dic i e model, so i migh make sense no o include he whole da a se , bu only

he mos ecen beha iou . As o he la e , he compu a ional cos o building
a p edic i e model inc eases wi h he size o he inpu da a se . The e o e, a
goal should be o achie e he bes p edic i e pe o mance by using he smalles
possible inpu da a se . In [10], au ho s p opose wo possible solu ions o he
second ques ion: e aining and inc emen al upda e o a p edic i e model, how-
e e , all p edic i e algo i hms canno lea n inc emen ally (e.g. andom o es s).
The e o e, we ha e collec ed a se o s a egies o choosing he da a se used o
building a new p edic i e model ega dless o he p edic i e algo i hm used.
A s a egy o choosing he da a se used o building a new p edic i e model
can be seen as a unc ion S ha ecei es a aining and es se pai (X, y)and
e u ns ano he aining and es se pai (X,y), such ha X⊆Xand y⊆y.
Nex we de ail se e al possible da a selec ion s a egies. We use he no a ion
X[i,j] o selec he subse o X ha is be ween iand j, whe e iand jcould be
ei he an ins an in ime such as he 7 h o Ma ch o 2019, o an ins ance numbe
since he fi s one ecei ed. Fu he mo e, i hey ake he alue 0, i e e s o he
fi s e en in he da a se and i hey ake he alue c, i e e s o he las e en
ecei ed in he da a se . The e o e, X[0,c]=X.
In he ollowing, we p esen he diffe en s a egies o he selec ion o da a.
Figu e 5shows a g aphical ep esen a ion o he diffe en s a egies desc ibed
in his sec ion. Figu e 4depic s an e en log ha will be used o explain he
diffe en s a egies in Fig. 5. This e en log is spli in o se e al in e als om 1
o n. Each in e al ep esen s all he p ocess ins ances execu ed du ing a ce ain
pe iod o ime, e.g. six mon hs.
1. Baseline s a egy (SB): In his s a egy he model is no upda ed h ough-
ou he li e o p ocess:
SB(X, y)=(X[0,c],y
[0,c])
Figu e 5a shows a g aphical ep esen a ion o he baseline s a egy. Wi h his
s a egy, a fi s in e al is selec ed as he aining se , and i is no upda ed
h oughou he li e o he p ocess. We use he es o he in e als as es se s.
2. Cumula i e s a egy (SC): This s a egy in ol es including all he cases
ha a e a ailable o aining since he beginning:
SC(X, y)=(X[0,c],y
[0,c])
Cumula i e s a egy is ep esen ed in Fig. 5b. This s a egy in ol es adding
all ins ances o a p ocess as aining se . We spli he e en log in o aining
and es se s, and we inc emen ally add each in e al om 1 o nin he
aining se and use he es o he es se .
3. Non-cumula i e s a egy (SN): This s a egy in ol es choosing only he
mos ecen cases o aining. I includes a pa ame e n ha de e mines
how many ecen cases should be included in he aining:
SN(X, y)=(X[c− n,c],y
[c− n,c])
The ad an age o his s a egy in compa ison o he cumula i e s a egy is
ha i is mo e efficien compu a ionally and i migh sol e p oblems de i ed
om using cases ha do no ollow he cu en beha iou o he p ocess. The
d awback is ha ha ing less aining ins ances migh hu he pe o mance
o he p edic i e model.
Fo he non-cumula i e s a egy (Fig. 5c), we selec an unique in e al in he
aining phase. In his manne , we only include he mos ecen cases o
aining.
4. Ensemble s a egy (SE): This s a egy is simila o he non-cumula i e
s a egy because i only includes he mos ecen s cases in aining a new
model. The diffe ence is ha , unlike he non-cumula i e s a egy, his s a egy
do no h ow away olde models, bu keep hem and combine hem using some
ensemble echnique [12]. Fo ins ance, one can use a weigh ed o ing echnique
in which he p edic ion o each model is conside ed a o e and combined using
diffe en weigh s o each model o make he final p edic ion. These weigh s
can be upda ed each ime a new model is added o he ensemble so ha olde
models ha e a lowe weigh . To his end, weigh s can be modeled using an
exponen ial decay unc ion like e−λ . Fu he mo e, besides hese weigh s, i
he las model had e y bad pe o mance, we migh be in e es ed in emo ing
i om he ensemble so ha i does no hu he o e all pe o mance. To his
end, we se a h eshold pa ame e so ha i he quali y me ic o choice, e.g.
-sco e, o he p e ious model did no mee he h eshold in he las in e al,
i is emo ed om he ensemble.
The ad an age o his s a egy is ha i has almos he same compu a ional
cos as he non-cumula i e s a egy, bu i helps o a oid disca ding all o
he old cases. Howe e , he combina ion o he diffe en models migh no be
as powe ul as a model buil using he cumula i e s a egy ha includes all
p e ious cases.
In his s a egy, depic ed in Fig. 5d, we choose he same aining and es se s
and keep olde models o combine hem using some ensemble echnique o
achie e be e p edic ions.
5. Sampling s a egy (SS): This s a egy in ol es a weigh ed sampling o all
he cases ha a e a ailable o aining since he beginning. I includes a
pa ame e s ha de e mines he numbe o samples ha mus be ob ained
om he da a:
SS(X, y)=(sampling(X[0,c], s), sampling(y[0,c], s))
Whe e sampling is a unc ion ha akes s samples om Xo y, espec-
i ely. Sampling can also be weigh ed so ha i is mo e likely o ob ain mo e
ecen samples han olde samples. A simila app oach as he one used in he
ensemble s a egy can be used he e o define hese weigh s. The ad an age
o his app oach in compa ison o he cumula i e s a egy is ha i limi s
he compu a ional cos o he new model. Fu he mo e, unlike he ensemble
s a egy i elies on he machine lea ning algo i hm ins ead o in he o ing
mechanism o combine bo h in o ma ion om old and ecen cases.
Fig. 4. Rep esen a ion o a spli e en log.
Figu e 5e shows he Sampling s a egy. We build he aining se in a inc e-
men al way using a weigh ed s a egy whe e ecen samples a e mo e likely
o be selec ed han olde samples.
6. D i s a egy (SD): This s a egy is simila o he non-cumula i e one.
I includes he mos ecen cases o aining and, when a concep d i is
de ec ed, we include as aining se , all he cases a e a ce ain ime has
passed since he d i has occu ed.
Figu e 5 shows he d i s a egy. When he concep d i is de ec ed, aining
se is buil only wi h hose cases execu ed a e he d i de ec ion.
4 Expe imen al E alua ion
As we s a ed in Sec . 1, he goal o his pape is o define he diffe en s a e-
gies o he selec ion o da a (desc ibed in Sec . 3) and compa e he p edic i e
pe o mance o he diffe en s a egies p oposed. Based on his goal, we define
a esea ch ques ion o ou expe imen a ion: Wha is he impac o he diffe en
upda ing s a egies on he accu acy o p edic ions?
The es o he sec ion is o ganized as ollows: he expe imen se up is de ailed
in Sec . 4.1. The diffe en da ase s used in he expe imen a ion a e desc ibed in
Sec . 4.2. Finally, a discussion o he ob ained esul s is p o ided in Sec . 4.3.
4.1 Expe imen Se up
As p edic i e algo i hm we ha e used andom o es [13] as seen in p e ious
wo ks in he li e a u e [14]. This echnique combines p edic o ees such ha
each ee depends on he alues o a andom ec o es ed independen ly and
wi h he same dis ibu ion o each o hem. In [14], au ho s highligh ex eme
g adien boos ing (XGBoos ) and andom o es as wo o he bes echniques in
p edic i e moni o ing. Thus, we ha e selec ed andom o es because he quali y
o esul s wi h espec o XGBoos is simila and i consumes less compu a ional
ime.
We ha e selec ed a ypical agg ega ion encoding desc ibed in [14] as one o he
mos used in he li e a u e o encode he p ocess cases and also one o he bes
pe o me s [14]. Thus, all e en s since he beginning o he case a e conside ed.
An agg ega ion unc ion is applied o he alues aken by a specific a ibu e
h oughou he case li e ime. In ou case, his unc ion is he numbe o imes
ha each specific a ibu e appea s in he case ( equency encoding). We ha e
no di ided he cases in he e en log in o diffe en bucke s. This echnique is
named Ze o bucke ing as defined in [14]. We ha e also inco po a ed he o de o
he e en s as a new a ibu e in all he logs, as well as he elapsed ime be ween
Fig. 5. G aphical ep esen a ion o diffe en p oposed s a egies o choosing he da a
se used o building a new p edic i e model.
he e en and he beginning o he case and he ime be ween he p e ious
e en and he cu en one. The de ails and he code o he expe imen a ion a e
a ailable online1.
4.2 E en Logs
Th ee diffe en eal-li e e en logs we e conside ed in ou expe imen s: IT Depa -
men o an Andalusian o ganisa ion (ITA), BPI 2015 (BPI15) [15] and T affic
fines (TRAFFIC) [16]. These logs we e chosen because hey span se e al yea s:
2, 5 and 12, espec i ely, so hey a e use ul o e alua e he effec o possible
changes on he p ocess o e ime.
1h ps://gi hub.com/isa-g oup/p edic i e-moni o ing-e olu ion.