=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)== https://ceur-ws.org/Vol-3386/paper4.pdf
&YFDVUJPO 4FNBOUJDT PG 1SPDFTT .PEFMT XJUI %BUB
.BYJNJMJBO ,¶OJH

    )BTTP 1MBUUOFS *OTUJUVUF 1SPG%S)FMNFSU4USBŸF   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 7BDVM­O *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