A Transaction Description Model and Properties for P2P Computing