講演名 | 2010-08-06 OCLのJMLへの変換ツールの実装について 宮澤 清介, 岡野 浩三, 楠本 真二, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 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 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 an implementation of a tool of the translation based on the proposed method. |
キーワード(和) | モデル変換 / OCL / JML |
キーワード(英) | model translation / OCL / JML |
資料番号 | SS2010-25 |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 2010/7/29(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | JPN |
タイトル(和) | OCLのJMLへの変換ツールの実装について |
サブタイトル(和) | |
タイトル(英) | On Implementation of a Translater from OCL into JML |
サブタイトル(和) | |
キーワード(1)(和/英) | モデル変換 / model translation |
キーワード(2)(和/英) | OCL / OCL |
キーワード(3)(和/英) | JML / JML |
第 1 著者 氏名(和/英) | 宮澤 清介 / Kiyoyuki MIYAZAWA |
第 1 著者 所属(和/英) | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
第 2 著者 氏名(和/英) | 岡野 浩三 / Kozo OKANO |
第 2 著者 所属(和/英) | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
第 3 著者 氏名(和/英) | 楠本 真二 / Shinji KUSUMOTO |
第 3 著者 所属(和/英) | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
発表年月日 | 2010-08-06 |
資料番号 | SS2010-25 |
巻番号(vol) | vol.110 |
号番号(no) | 169 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |