OCLからJMLへの変換ツールにおける対応クラスの拡張と教務システムに対する適用実験

摘要

OCL（Object Constraint Language）はUML記述に対しさらに詳細に性質記述を行うために設計された言語である．近年MDA関連技術の発展により，UMLからプログラム言語への変換技術が着目を浴びており，OCLからJML（Java Modelling Language）のようなプログラムレベルの仕様記述言語への変換技術も研究されつつある．研究グループでは，従来研究で未対応であったiterate演算を，生成されるJavaスケルトンに対応するメソッドを記述するという手法を用いてツールに実装している．本稿では，ツールのEclipseプラグイン化ならびに対応クラスを拡張し，プロジェクト外のライブラリを含んだ制約を記述可能にした．ツールをより大規模な実プロジェクトに対して適用したところ，メソッドに記述されるべきJMLのうち約90％を変換により出力できた．%OCL (Object Constraint Language) is an annotation language for UML, which can describe specification more precisely. In recent years, MDA techniques have emerged, thus translation techniques such as translation from OCL to JML (Java Modelling Language) as well as UML to some program languages, have gained a lot of attention. Past researches on translation from OCL to JML often pays little attention to collection features, especially iteration. Our research group has proposed a method to overcome such the problem by using Java method templates. In this report, we present a tool enhancement such as a plug-in of Eclipse and adaptation to external libraries. We have also performed an experiment where the tools is applied to real-examples. We found that 90% of necessary constraints are well translated.