Architecture)ではモデル変換的な変換手法が主流である.既存研究では,構文定義と変換機構が分離されていないため再利用性が低いことが課題として挙げられる.また制約記述レベルでのRTEを実現するためにはJMLからOCLへの変換が必要である.本研究では制約記述レベルでのRTE実現の支援を目標として,モデル変換技法に基づいたJMLからOCLへの変換手法を提案する.今回は試作型として基本演算と,OCLのcollection演算に対応するループ演算の一部の変換を実装した.変換はEclipseのプラグインXtextを利用して実現した.具体的にはJMLの構文モデルの定義,JMLからOCLへの変換ルールの定義を行った.Xtextでは定義した構文モデル専用のエディタを生成することが可能で,ユーザは生成されたエディタを用いることで入力時点でのソースコードの構文チェックを行うことが可能になる.また、実装した変換ツールの性能評価を行うために、在庫管理プログラムに対して実装ツールの適用実験を行った。在庫管理プログラムの各メソッドには,過去の研究でJMLが付加されている。