?. , ?. ???-?-t??@bullet?t?-?-?-t??-tr?, ?. , ?. , ?. ?s-?st??@bullet?s??? et al., ? ??t? tr??s??ss??? s???r?t?? ??r?? ?? ?r?s??t t?r?? ?? t??s? ??t??s???s ??? ??s?r??? t???r s???r?t? ???t?r?s? ??s?

?. ?-?@bullet??t???-?-?-?-?r-?-?-?-r, ?. ???-?s-t-?-?-r, ?. ????-?-??@bullet@bullet??-?-??rst, ?. ?. , ?. et al., ? t?? ??????t? ?? t?? r?s??r???? ?r???rt? ??r t?? ????? ???s? ? ?? ok = scen t?? ?r???rt? ????s ??r ??? s????r??s? ? ?? ok = ? t?? ?r???rt? ?s ???s? ??r ??? s????r??s? ?? ???? ?? t??s? ?????t???s ????s t??? ? ??rt??r ?????s?s ?? t?? s????r??s ??? ?? ??????t??? ??? ??ss?????t? ?s t? ???r??s? t?? ?????r ?? ??? ???s ?s?? ?? t?? ?????s?s? ????? ??? ???? t?? ????t ?? r??????? t?? ?????r ?? s????r??s? ??????r? ?t ?s ??ss???? t??t ???? ?s??? ? ??r??s s?t ?? ???s ?t ?s st??? ??t ??ss???? t? s?, prop LateCancel ) = {W ebComp, CompHotel} ? P ropP redicate(prop LateCancel ) = ?(log).(log ? LOG F ILE ? ?(cont).(log = ({W ebComp, CompHotel}, cont)) | bool(?(cont, en A , en B ). (log = ({W ebComp, CompHotel}, cont) ? en A ? ransessionId]) ? en B = (Send, CompHotel, CompBank, Debit, [sessionId, hotelId, clientId, price]) ? P os(en A , cont) < P os(en B , cont))))

?. ??, V. Erif-yp-roperty-??t?-t??, @. ?. , and ?. , CompHotel? t??? 126 s????r??s ?r? ?r?????? ??? t?? ?r???rt? ????s ??r 105 ?? t???? ??? ???? ?????r ?? s????r??s ?s ? ???s?q????? ??

?. ???, ×. Extract}, ?. Erge=-temp, ?. ???, ?. et al., ? t?? r?s??ts ?? t?? s????r??s ?r?????? ?temp? ??t? t?? s????r??s ??r ????? t?? ?r???rt? ??s ?r?????s?? ??r???? ?ok??

?. , ?. T??, ?. ?. , ?. ?. , ?. et al., ??r??? s????r??s ?s ??r?? ??? t?? ???? r?s??t ?s s???? s??s?t ?? t???? ??r ???????? s????s? t??t ?? t?? ?rst ?????s?s ?s??? LogSet t?? ??r?? ?r?????s ???? s????r??s ??? ???? ? s????r??s r??????? ??t?r t?? ??tr??t??? ?card(scen)

?. ?. , ?. ?@bullet?-?-?-?-t??, ?. , ?. ??t???@bullet?-t??-s??-?-?-?-?-?-?rt??s-?-?-?-t??-t??r?, ?. et al., ??r??s? t?? ?r???t??? ?????s ?? t?? ???s ?s?? ?s ????t?? ????????? ???s? ???r??t??s ?r? ?s????? ??s?? ?? s???r?t? ?r???rt??s ?? ?r??t??r????? t???? ??q??s

?. Add-?tt???s-?r?, ?. ??, ?. ?@bullet?r@bullet?-??t?-t??-????t?, ?. ?@bullet-?-?-?-??t?-?-?-t??t, ?. @bullet?-???-?-ts-t??t et al., ? t?? s??s? t??t ????t?r?????t? ?????r?s t?? ??ss?????t? ??r ?? ????t t? ??t tr?st???? ????r??t??? ????t t?? ?????t??? ?? t?? s?st?? r?t??r t??? t?? ??????????t?

?. ???-?-t??-r?s?@bulletts-?-?-t??-@bullet-?-?-?-?-?@bullet?s?s-?r?-?-?-t-?-?-?-?@bullet?s????-?t, ?. ??, and ?. ?. , ?ss???? t? ?s? t??? t? ?st????s? ???????t??s ??s?? ?? ?t??r ???t?rs ?s??? ?s t?? ?????????? ?? t?? s????r??s?? ??? ??st ???tr???t???

?. En, ?? t?r?? ??tr??s s??? t??t en 1 ??????s ????r? en 2 ??? en 3 ? ??? ????r?t?? ?rst r???r?s t??t en 1 ?????t s??? ??t? ???

?. ??-?-t??r-?-?-tr??s, ?. ???-?-r?-?-r-??t?r-t??, ?. ??-?-?-tr??s?-t??, ?. , ?. ?rt? et al., ?tr??s s???s t??t t?? CancelRequest ????rr?? ????r? Debit? ?? ?ss?? ????t t?? ??st t?? ??t?????t???s ?s t??t ?t ??? ?? ??????t t? ??t???t?????? ??t??t ??r ? ????? ?r???rt? ?? ?t st?t?s ?????t???s ????t t?? ?r??r??? ?? t?? ??tr??s ?????s? t??s? ?????t???s ?r? ?r?tt?? ??t??? r?????r ???r?ss???s t??t ??? ??s? ???r?ss ?????t???s ????t t?? ???st??

?. , ?. T??s-t??s?s-?s-?-?-?-r, ?. ?@bullet, ?. ??-?-r?-t, ?. ??@bullet-?-t??-?-?rt??s-t et al., ?rs t? ???????t??s? ?? ???t??? ??s??ss??? ?? t??s s?????t ?s ?r?s??t?? ?? ????ss??r ?t ??? ?????? ???t??r ?????? ??r ??rt??r r?s??r?? ?s t?? r???????t ?? t?? ?????t??? ?? ?????t???? ??? ?r???t??t?r?s t? ???s???r ?????s ?? ?????t?????t?? ?? ??? ????? t?? ?????t?????t? ?? t?? ?????s ????r??t?? ??r ???? ??rt? ??s?? ?? t?? ???r?? ?? tr?st ??t???? ????ts? ??t? r?s???t t? ????t?r ?? t?? ?r???rt? s???????t?