A Specification and Code Generation Tool for Message Translation and Validation

This paper describes the Message Translation and Validation (MTV) problem common to most computer-based applications, and a model-based solution to the problem that is supported by a tool. An early version of the MTV model was used by Granite Sentry Phase II in the late eighties and later by the Air Force PRISM program at ESC in the nineties. Accel obtained an SBIR Phase I and II contract to extend the MTV model, convert it from Ada83 to Ada95, and to provide tool support to ease the specification of message formats and automate the MTV code generation. This paper will describe the solution and benefits, its usage, some lessons learned, and future directions