A Specification and Code Generation Tool for Message Translation and Validation