A comparison of formalisms for electronic commerce systems | IEEE Conference Publication | IEEE Xplore