講演抄録/キーワード |
講演名 |
2010-08-06 10:00
OCLのJMLへの変換ツールの実装 ○宮澤清介・岡野浩三・楠本真二(阪大) SS2010-25 |
抄録 |
(和) |
OCL(Object Constraint Language) はUML 記述に対しさらに詳細に性質記述を行うために設計された言語である. 近年MDA 関連技術の発展により,UML からプログラム言語への変換技術が着目をあびており,OCL からJML(Java Modelling Language) のようなプログラムレベルの仕様記述言語への変換技術も研究されつつある. 従来研究ではOCL からのJML への変換についてコレクションに関するいくつかの重要な機能,とりわけ,iterate に非対応であった.研究グループではこの問題を,生成されるJava スケルトンに対応するメソッドを記述するという方法で対応した.本稿ではその手法に基づき,OCL からのJML への変換ツールの実装について詳細に述べる. |
(英) |
OCL (Object Constraint Language) is an annotation language for UML, which can describe specication 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 an implementation of a tool of the translation based on the proposed method. |
キーワード |
(和) |
モデル変換 / OCL / JML / / / / / |
(英) |
model translation / OCL / JML / / / / / |
文献情報 |
信学技報, vol. 110, no. 169, SS2010-25, pp. 53-58, 2010年8月. |
資料番号 |
SS2010-25 |
発行日 |
2010-07-29 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2010-25 |