Agent-Oriented and Constraint Technologies for Distributed transaction Management