Aex Verification Transaction UML