Adds a top-level design of the Transaction viewpoint.