=Paper=
{{Paper
|id=Vol-3386/paper4
|storemode=property
|title=Execution Semantics of Process Models with Data (short paper)
|pdfUrl=https://ceur-ws.org/Vol-3386/paper4.pdf
|volume=Vol-3386
|authors=Maximilian König
|dblpUrl=https://dblp.org/rec/conf/zeus/Konig23
}}
==Execution Semantics of Process Models with Data (short paper)==
&YFDVUJPO 4FNBOUJDT PG 1SPDFTT .PEFMT XJUI %BUB .BYJNJMJBO ,¶OJH )BTTP 1MBUUOFS *OTUJUVUF 1SPG%S)FMNFSU4USBF 1PUTEBN "CTUSBDU %BUB JT POF PG UPEBZßT NPTU JNQPSUBOU DVSSFODJFT 5IVT NBJOUBJOJOH BO PWFSWJFX PG JUT DSFBUJPO VTBHF BOE NBOJQVMBUJPO XJUIJO BO PSHBOJ[BUJPO JT PG VUNPTU JNQPSUBODF 8IJMF UIJT GBDU IBT CFFO SFDPHOJ[FE JO UIF #VTJOFTT 1SPDFTT .BOBHFNFOU #1. DPNNVOJUZ JO HFOFSBM JUT TVC9FME PG QSPDFTT NPEFMJOH IBT OPU BUUSJCVUFE BUUFOUJPO UP UIBU GPS B MPOH UJNF &YUFOTJWF SFTFBSDI IBT CFFO DPOEVDUFE PO UIF MPHJDBM BOE UFNQPSBM PSEFS PG QSPDFTT TUFQT BMTP DBMMFE UIF DPOUSPM :PX 8IJMF EPJOH TP UIF JNQBDU PG EBUB FH UIBU DFSUBJO UBTLT SFRVJSF TQFDJ9D JOGPSNBUJPO UP CF FYFDVUFE IBT CFFO MBSHFMZ OFHMFDUFE &WFO XJUI UIF FYUFOTJPO PG TPNF QSPDFTT NPEFMJOH MBOHVBHFT UP JODPSQPSBUF EBUB DPODFQUT GPSNBM TFNBOUJDT PG UIFTF DPODFQUT UIBU FOBCMF BVUPNBUFE BOBMZTJT BOE FOBDUNFOU BSF PQFO OPU QSFTFOU PS VOEFSTQFDJ9FE 5IFSFGPSF UIJT QBQFS NPUJWBUFT UIF EF9OJUJPO PG B OFX NPSF IPMJTUJD TFNBOUJDT GPS EBUB DPODFQUT JO #1./ 5IJT TFNBOUJDT JT UIFO UP CF VTFE BT B GPVOEBUJPO UP BEBQU FYJTUJOH BOE EF9OF OPWFM WFSJ9DBUJPO DPNQMJBODF BOE DPOTJTUFODZ DIFDLJOH NFUIPET SFHBSEJOH UIF EBUB BOE EBUB :PX PG QSPDFTTFT ,FZXPSET %BUB JO 1SPDFTTFT #1./ 5SBOTMBUJPOBM 4FNBOUJDT 1FUSJ /FUT *OUSPEVDUJPO 'PS BO PSHBOJ[BUJPO UP UISJWF JO B GBTUQBDFE DPNQFUJUJWF FOWJSPONFOU JU NVTU DPOTUBOUMZ NPOJUPS JUT CVTJOFTT QSPDFTTFT BOE UIF EBUB SFRVJSFE GPS BOE NBOJQVMBUFE CZ UIFJS FYFDVUJPO 5IBU SFRVJSFT B UIPSPVHI EPDVNFOUBUJPO PG UIFTF QSPDFTTFT BOE UIF JOGPSNBUJPO JOWPMWFE JO UIFN " NFBOT UP BDIJFWF UIBU BSF QSPDFTT NPEFMT EFTDSJCJOH UIF SFRVJSFE UBTLT BOE UIFJS EBUB QSF BOE QPTUDPOEJUJPOT )PXFWFS EVF UP UIF TJ[F BOE OVNCFS PG QSPDFTTFT JO QMBDF XJUIJO BO PSHBOJ[BUJPO NBOVBMMZ NBOBHJOH UIFTF QSPDFTT NPEFMT BOE FOTVSJOH UIFJS DPOTJTUFODZ DPSSFDUOFTT BOE DPNQMJBODF FTQFDJBMMZ XIFO VOEFSHPJOH DIBOHF JT WFSZ DIBMMFOHJOH BOE FSSPS QSPOF )FODF BVUPNBUJPO JT EFTJSBCMF CVU SFRVJSFT UIPSPVHI GPSNBMJ[BUJPO PG UIF JOWPMWFE DPODFQUT JF UIF EF9OJUJPO PG B DPODJTF FYFDVUJPO TFNBOUJDT -PPLJOH BU UIF #VTJOFTT 1SPDFTT .PEFMJOH BOE /PUBUJPO #1./ <> UIF NPTU XJEFMZ BEPQUFE QSPDFTT NPEFMJOH MBOHVBHF <> NVMUJQMF BQQSPBDIFT FYJTU EF9OJOH B DPODJTF TFNBOUJDT GPS JUT DPOUSPM :PX DPODFQUT )PXFWFS UIFSF JT DVSSFOUMZ OP GPSNBMJ[BUJPO UIBU DPWFST BMM PG JUT EBUB DPODFQUT XIJDI QSFWFOUT BVUPNBUFE BOBMZTFT PG QSPDFTT EBUB :PX 5IFSFGPSF UIJT QBQFS NPUJWBUFT UIF JOUSPEVDUJPO PG B OFX FYFDVUJPO TFNBOUJDT EF9OFE UISPVHI UIF NBQQJOH PG #1./ EBUB DPODFQUT UP 1FUSJ OFU DPOTUSVDUT UIBU DBO TFSWF BT B CBTJT GPS UIF BVUPNBUFE BOBMZTJT PG UIF EBUB :PX PG QSPDFTT NPEFMT ;&64 UI $FOUSBM &VSPQFBO 8PSLTIPQ PO 4FSWJDFT BOE UIFJS $PNQPTJUJPO 'FCSVBSZ ¶ )BOOPWFS (FSNBOZ £ NBYJNJMJBOLPFOJH!TUVEFOUIQJEF . ,¶OJH . ,¶OJH i $PQZSJHIU GPS UIJT QBQFS CZ JUT BVUIPST 6TF QFSNJUUFE VOEFS $SFBUJWF $PNNPOT -JDFOTF "UUSJCVUJPO *OUFSOBUJPOBM $$ #: CEUR Workshop Proceedings http://ceur-ws.org ISSN 1613-0073 $&63 8PSLTIPQ 1SPDFFEJOHT $&6384PSH aX "º?K M/ .X GC#F2 U1/bXV, R8i? w1la qQ`Fb?QT- w1la kykj- >MMQp2`- :2`KMv- ReRd 62#`m`v kykj- Tm#HBb?2/ i ?iiT,ff+2m`@rbXQ`; JtBKBHBM EºMB;, 1t2+miBQM a2KMiB+b Q7 S`Q+2bb JQ/2Hb rBi? .i GSPN FYUFOTJPOT UP BDUJWJUZDFOUSJD BQQSPBDIFT TVDI BT #1./ <> UISPVHI DBTF NBOBHFNFOU FH GSBHNFOUCBTFE $BTF .BOBHFNFOU <> UP BSUJGBDUDFOUSJD FH <> BOE PCKFDUDFOUSJD BQQSPBDIFT FH <> )PXFWFS NPTU PG UIFTF BQQSPBDIFT SFRVJSF UIF MFBSOJOH PG B OFX QSPDFTT NPEFMJOH MBOHVBHF XIJDI DPOTUJUVUFT B NBKPS IVSEMF UP UIFJS BEPQUJPO *O DPOUSBTU #1./ BMSFBEZ JT UIF EF GBDUP JOEVTUSZ TUBOEBSE )FODF QSPWJEJOH UIF QSFDJTJPO UIF #1./ TUBOEBSE DVSSFOUMZ MBDLT SFHBSEJOH JUT EBUB DPODFQUT NBZ MPXFS UIF UISFTIPME UP JODPSQPSBUF UIF EBUB QFSTQFDUJWF JO FYJTUJOH #1./ QSPDFTT NPEFMT BOE XJMM UIFSFGPSF CF UIF GPDVT PG UIJT XPSL 5BCMF $PWFSBHF PG #1./ EBUB DPODFQUT JO SFMBUFE XPSLT NBQQJOH #1./ UP 1FUSJ OFUT &BDI BTQFDU JT FJUIFS DPWFSFE QBSUJBMMZ DPWFSFE < > PS OPU DPWFSFE t 4* BCCSFWJBUFT 4JOHMF*OTUBODF FOGPSDFNFOU 1VCMJDBUJPO %BUB 0CKFDUT %BUB 4UBUFT *0 4FUT *0 4QFD %BUB -PDLJOH 4* .FZFS <> < > L L "XBE FU BM <> L L L L 4UBDLFMCFSH FU BM <> L L L 3BNBEBO FU BM <> < > L L %FDITVQB FU BM <> L L L L L $POUSJCVUJPO 5P DMPTF UIF HBQ PG B NJTTJOH IPMJTUJD TFNBOUJDT GPS EBUB DPODFQUT JO #1./ BT PVUMJOFE JO UIF QSFDFEJOH TFDUJPO UIJT QBQFS QSPQPTFT UIF JOUSPEVDUJPO PG B OFX USBOTMBUJPOBM TFNBOUJDT GPS #1./ VTJOH 1FUSJ OFUT 5IF NBQQJOH TIPVME DPWFS EBUB PCKFDUT EBUB TUBUFT JOQVU BOE PVUQVU TFUT JOQVU BOE PVUQVU TQFDJ9DBUJPOT NVMUJJOTUBODF BOE TJOHMFJOTUBODF CFIBWJPS B EBUB MPDLJOH NFDIBOJTN BOE UIF DPNCJOBUJPO PG UIFTF DPODFQUT XJUI UBTLT TVCQSPDFTTFT BOE CPVOEBSZ FWFOUT BEIFSJOH UP UIF SFTUSJDUJPOT QSPWJEFE JO UIF #1./ TUBOEBSE 5P BMMPX B GPDVT PO UIF EBUB :PX UIF NBQQJOH SVMFT GPS #1./ DPOUSPM :PX FMFNFOUT JOUSPEVDFE CZ %JKLNBO FU BM <> XJMM CF FYUFOEFE 5IF SFTVMU TIPVME CF B GPSNBM BMHPSJUIN CBTFE PO XIJDI QSPQFSUJFT PG UIF EFSJWFE OFUT TVDI BT UIF FOGPSDFNFOU PG B TJOHMF EBUB PCKFDU JOTUBODF QFS QSPDFTT JOTUBODF EBUB MPDLJOH BT EF9OFE CZ .FZFS <> BOE UIF DPSSFDU USBOTMBUJPO PG #1./ DPODFQUT DBO CF QSPWFO 5IF 1FUSJ OFUT SFTVMUJOH GSPN UIF BMHPSJUINßT BQQMJDBUJPO XJMM UIFO TFSWF BT B GPVOEBUJPO GPS B TFU PG BOBMZTFT 'JSTU B OPUJPO PG EBUB :PX TPVOEOFTT TIPVME CF EF9OFE FOTVSJOH UIF BCTFODF PG EBUB EFBEMPDLT BOE QSPQFS UFSNJOBUJPO PG UIF QSPDFTTFT /FYU UP UIBU EJ8FSFOU DBUFHPSJFT PG EBUB BOPNBMJFT IBWF CFFO EF9OFE JO MJUFSBUVSF < > 5IFJS BQQMJDBUJPO BT XFMM BT B QPUFOUJBM FYUFOTJPO PG UIFN CBTFE PO UIF JOUSPEVDFE GPSNBMJTN XPVME BMMPX GPS B NPSF UIPSPVHI BOBMZTJT PG QSPDFTTFTß EBUB :PX 'PS FYBNQMF MPTU EBUB EBUB PCKFDUT CFJOH XSJUUFO NVMUJQMF UJNFT XJUIPVU CFJOH SFBE JO CFUXFFO NJTTJOH EBUB SFRVJSFE EBUB JO B DFSUBJO QSPDFTT TUBUF UIBU JT OPU BWBJMBCMF BOE SFEVOEBOU EBUB EBUB UIBU JT XSJUUFO CVU OFWFS SFBE DBO UIFSFCZ CF EFUFDUFE *O BEEJUJPO B SFDFOU MJUFSBUVSF SFWJFX SFWFBMFE B MBDL PG EBUB DPNQMJBODF DIFDLJOH NFUIPET GPS QSPDFTTFT <> *O UIBU DPOUFYU JU XPVME CF JOUFSFTUJOH UP TFF XIJDI PG UIFJS DPOTUSBJOU QBUUFSOT DPODFSOJOH EBUB XJMM CF EFUFDUBCMF JO UIF EFSJWFE 1FUSJ OFUT kj JtBKBHBM EºMB;, 1t2+miBQM a2KMiB+b Q7 S`Q+2bb JQ/2Hb rBi? .i $PODMVTJPO 5IJT QPTJUJPO QBQFS NPUJWBUFT UIF OFFE GPS B OFX USBOTMBUJPOBM TFNBOUJDT UIPSPVHIMZ DPWFSJOH #1./ßT EBUB DPODFQUT 5IF MBDL PG TVDI B TFNBOUJDT IJOEFST UIF DBQJUBMJ[BUJPO PO QSPDFTT NPEFMTß DBQBCJMJUZ UP QSPWJEF BOE NBJOUBJO BO PWFSWJFX PG UIF EBUB :PX XJUIJO BO PSHBOJ[BUJPO 5IF NBQQJOH PG #1./ DPODFQUT UP 1FUSJ OFUT TIPVME UIFO TFSWF BT UIF GPVOEBUJPO GPS BVUPNBUFE EBUB :PX BOBMZTFT SFHBSEJOH DPSSFDUOFTT DPOTJTUFODZ XJUI PUIFS QSPDFTTFT BOE DPNQMJBODF UP UIF QSPDFTT FOWJSPONFOUßT SFHVMBUJPOT 3FGFSFODFT <> 0.( #VTJOFTT 1SPDFTT .PEFM BOE /PUBUJPO #1./ 7FSTJPO 5FDIOJDBM 3FQPSU 0CKFDU .BOBHFNFOU (SPVQ IUUQTXXXPNHPSHTQFD#1./1%' <> . %VNBT % 1GBIM .PEFMJOH TPQXBSF QSPDFTTFT VTJOH #1./ 8IFO BOE XIFO OPU JO .BOBHJOH 4PQXBSF 1SPDFTT &WPMVUJPO 4QSJOHFS QQ Ù <> " ) . UFS )PGTUFEF ) " 1SPQFS )PX UP 'PSNBMJ[F JU 'PSNBMJ[BUJPO 1SJODJQMFT GPS *OGPSNBUJPO 4ZTUFN %FWFMPQNFOU .FUIPET *OG 4PQX 5FDIOPM Ù EPJ4 <> 1 : ) 8POH + (JCCPOT " 1SPDFTT 4FNBOUJDT GPS #1./ JO 4 -JV 5 4 & .BJCBVN , "SBLJ &ET 'PSNBM .FUIPET BOE 4PQXBSF &OHJOFFSJOH UI *OUFSOBUJPOBM $POGFSFODF PO 'PSNBM &OHJOFFSJOH .FUIPET *$'&. ,JUBLZVTIV$JUZ +BQBO 0DUPCFS 1SPDFFEJOHT WPMVNF PG -FDUVSF /PUFT JO $PNQVUFS 4DJFODF 4QSJOHFS QQ Ù EPJ=@ <> $ 0VZBOH . %VNBT " ) . UFS )PGTUFEF 8 . 1 WBO EFS "BMTU 'SPN #1./ 1SPDFTT .PEFMT UP #1&- 8FC 4FSWJDFT JO *&&& *OUFSOBUJPOBM $POGFSFODF PO 8FC 4FSWJDFT *$84 4FQUFNCFS $IJDBHP *MMJOPJT 64" *&&& $PNQVUFS 4PDJFUZ QQ Ù EPJ*$84 <> + 8 #SZBOT 8 8FJ 'PSNBM BOBMZTJT PG #1./ NPEFMT VTJOH FWFOUC JO 4 ,PXBMFXTLJ . 3PWFSJ &ET 'PSNBM .FUIPET GPS *OEVTUSJBM $SJUJDBM 4ZTUFNT UI *OUFSOBUJPOBM 8PSLTIPQ '.*$4 "OUXFSQ #FMHJVN 4FQUFNCFS 1SPDFFEJOHT WPM VNF PG -FDUVSF /PUFT JO $PNQVUFS 4DJFODF 4QSJOHFS QQ Ù EPJ =@ <> 3 . %JKLNBO . %VNBT $ 0VZBOH 4FNBOUJDT BOE "OBMZTJT PG #VTJOFTT 1SPDFTT .PEFMT JO #1./ *OG 4PQX 5FDIOPM Ù EPJKJOGTPG <> * 3BFEUT . 1FULPWJD : 4 6TFOLP + . & . WBO EFS 8FSG + ' (SPPUF - + 4PNFST 5SBOTGPSNBUJPO PG #1./ .PEFMT GPS #FIBWJPVS "OBMZTJT JO + $ "VHVTUP + #BSKJT 6 6MUFT/JUTDIF &ET .PEFMMJOH 4JNVMBUJPO 7FSJ9DBUJPO BOE 7BMJEBUJPO PG &OUFSQSJTF *OGPSNBUJPO 4ZTUFNT 1SPDFFEJOHT PG UIF UI *OUFSOBUJPOBM 8PSLTIPQ PO .PEFMMJOH 4JN VMBUJPO 7FSJ9DBUJPO BOE 7BMJEBUJPO PG &OUFSQSJTF *OGPSNBUJPO 4ZTUFNT .477&*4 *O DPOKVODUJPO XJUI *$&*4 'VODIBM .BEFJSB 1PSUVHBM +VOF */45*$$ 13&44 QQ Ù <> " .FZFS %BUB 1FSTQFDUJWF JO #VTJOFTT 1SPDFTT .BOBHFNFOU 1I% 5IFTJT 6OJWFSTJU¤U 1PUTEBN k9 JtBKBHBM EºMB;, 1t2+miBQM a2KMiB+b Q7 S`Q+2bb JQ/2Hb rBi? .i <> " "XBE ( %FDLFS / -PINBOO %JBHOPTJOH BOE 3FQBJSJOH %BUB "OPNBMJFT JO 1SPDFTT .PEFMT JO 4 3JOEFSMF.B 4 8 4BEJR ' -FZNBOO &ET #VTJOFTT 1SPDFTT .BOBHFNFOU 8PSLTIPQT #1. *OUFSOBUJPOBM 8PSLTIPQT 6MN (FSNBOZ 4FQUFNCFS 3FWJTFE 1BQFST WPMVNF PG -FDUVSF /PUFT JO #VTJOFTT *OGPSNBUJPO 1SPDFTTJOH 4QSJOHFS QQ Ù EPJ=@ <> 4 WPO 4UBDLFMCFSH 4 1VU[F + .¼MMF , #¶IN %FUFDUJOH %BUB'MPX &SSPST JO #1./ 0QFO +PVSOBM PG *OGPSNBUJPO 4ZTUFNT 0+*4 Ù 63- IUUQOCOSFTPMWJOHEF VSOOCOEF <> $ %FDITVQB 8 7BUBOBXPPE " 5IPOHUBL )JFSBSDIJDBM 7FSJ9DBUJPO GPS UIF #1./ %FTJHO .PEFM 6TJOH 4UBUF 4QBDF "OBMZTJT *&&& "DDFTT Ù EPJ "$$&44 <> . 3BNBEBO ) ( &MNPOHVJ 3 )BTTBO #1./ GPSNBMJTBUJPO VTJOH DPMPVSFE QFUSJ OFUT JO 1SPDFFEJOHT PG UIF OE (45' BOOVBM JOUFSOBUJPOBM DPOGFSFODF PO TPQXBSF FOHJOFFSJOH BQQMJDBUJPOT 4&" QQ Ù <> 4 4UFJOBV " .BSSFMMB , "OESFXT ' -FPUUB . .FDFMMB . 3FJDIFSU %"-&$ B GSBNFXPSL GPS UIF TZTUFNBUJD FWBMVBUJPO PG EBUBDFOUSJD BQQSPBDIFT UP QSPDFTT NBOBHFNFOU TPQXBSF 4PQX 4ZTU .PEFM Ù 63- IUUQTEPJPSHT EPJT <> " .FZFS 4 4NJSOPW . 8FTLF %BUB JO #VTJOFTT 1SPDFTTFT &.*4" 'PSVN Ù <> . )FXFMU . 8FTLF " )ZCSJE "QQSPBDI GPS 'MFYJCMF $BTF .PEFMJOH BOE &YFDVUJPO JO . - 3PTB 1 -PPT 0 1BTUPS &ET #VTJOFTT 1SPDFTT .BOBHFNFOU 'PSVN #1. 'PSVN 3JP EF +BOFJSP #SB[JM 4FQUFNCFS 1SPDFFEJOHT WPMVNF PG -FDUVSF /PUFT JO #VTJOFTT *OGPSNBUJPO 1SPDFTTJOH 4QSJOHFS QQ Ù EPJ =@ <> 3 )VMM & %BNBHHJP ' 'PVSOJFS . (VQUB ' ' 5 ) *** 4 )PCTPO . ) -JOFIBO 4 .BSBEVHV " /JHBN 1 4VLBWJSJZB 3 7BDVMO *OUSPEVDJOH UIF (VBSE4UBHF.JMFTUPOF "QQSPBDI GPS 4QFDJGZJOH #VTJOFTT &OUJUZ -JGFDZDMFT JO . #SBWFUUJ 5 #VMUBO &ET 8FC 4FSWJDFT BOE 'PSNBM .FUIPET UI *OUFSOBUJPOBM 8PSLTIPQ 84'. )PCPLFO /+ 64" 4FQUFNCFS 3FWJTFE 4FMFDUFE 1BQFST WPMVNF PG -FDUVSF /PUFT JO $PNQVUFS 4DJFODF 4QSJOHFS QQ Ù EPJ=@ <> 7 ,¼O[MF . 3FJDIFSU 1)*-IBSNPOJD'MPXT UPXBSET B GSBNFXPSL GPS PCKFDUBXBSF QSPDFTT NBOBHFNFOU + 4PQX .BJOUFOBODF 3FT 1SBDU Ù EPJ TNS <> 4 8 4BEJR . & 0SMPXTLB 8 4BEJR $ 'PVMHFS %BUB 'MPX BOE 7BMJEBUJPO JO 8PSL:PX .PEFMMJOH JO , 4DIFXF ) & 8JMMJBNT &ET %BUBCBTF 5FDIOPMPHJFT 1SPDFFEJOHT PG UIF 'JQFFOUI "VTUSBMBTJBO %BUBCBTF $POGFSFODF "%$ %VOFEJO /FX ;FBMBOE +BOVBSZ WPMVNF PG $31*5 "VTUSBMJBO $PNQVUFS 4PDJFUZ QQ Ù 63- IUUQDSQJUTDFNXFTUFSOTZEOFZFEVBVBCTUSBDUT$31*574BEJRIUNM <> 4 9 4VO + - ;IBP + ' / +S 0 3 - 4IFOH 'PSNVMBUJOH UIF %BUB'MPX 1FSTQFDUJWF GPS #VTJOFTT 1SPDFTT .BOBHFNFOU *OG 4ZTU 3FT Ù EPJJTSF <> 5 7PHMIPGFS 4 3JOEFSMF.B $PMMFDUJPO BOE &MJDJUBUJPO PG #VTJOFTT 1SPDFTT $PNQMJBODF 1BUUFSOT XJUI 'PDVT PO %BUB "TQFDUT #VT *OG 4ZTU &OH Ù EPJ T k8