This paper presents the approach to translate the static data models in OMT specification into the MACHINE structure in B AMN.

• 本文论述了如何将OMT规范中的静态数据模型表示成B AMN中的MACHINE结构。