On the modelling of document exchange processes in e-commerce protocols | IEEE Conference Publication | IEEE Xplore