メソッドの自動生成を用いたOCLのJMLへの変換

尾鷲, 方志; 岡野, 浩三; 楠本, 真二

コンピュータ ソフトウェア, 2010, 27(2), 106-111

Number of Access:889（2025-12-09 11:09 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/51344

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
Computer Software_27_2_106 pdf None 100 KB 69 2015.04.07 出版社版/publisher  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
メソッドの自動生成を用いたOCLのJMLへの変換
A Translation Method from OCL into JML by Translating the Iterate Feature into Java Methods
メソッド　ノ　ジドウ　セイセイ　ヲ　モチイタ　OCL　ノ　JML　ヘノ　ヘンカン
Creator
CreatorName
尾鷲, 方志 ; オオワシ, マサユキ ; Owashi, Masayuki
NRID
1000070252632 1000070252632
CreatorName
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
CreatorName
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
Description
尾鷲 方志, 岡野 浩三, 楠本 真二. メソッドの自動生成を用いたOCLのJMLへの変換. コンピュータソフトウェア 27, 106 (2010); https://doi.org/10.11309/jssst.27.2_106.
Abstract
本論文ではOCL(Object Constraint Language)からのJML(Java Modelling Language)への変換手法を提案する．UML/OCL記述からJMLアノテーションつきのJavaのスケルトンコードを自動生成する方法については，研究が少ない．従来の研究ではOCL記述からJML記述を得る方法が提案されているが，データの集まりを表現するコレクションに関するいくつかの重要な機能，とりわけ，繰り返し操作であるiterateについて対応していない．提案手法では，iterateの操作を生成されるJavaスケルトンに直接対応するメソッドを記述するという方法により，この問題に対応した．また，OCL記述からのJML記述変換方法を具体的に示した．
The paper presents a translation method from OCL (Object Constraint Language) into JML (Java Modelling Language). Several approaches have proposed automatic generation methods of Java skeleton files from UML class diagrams. Less papers are found for automatic generation of JML from OCL. They deal with not all of the standard OCL library. Especially, some features of collections including iterate feature are not implemented. We resolve the problem by translating the iterate feature into Java methods. This paper also provides a concrete translation algorithm. The paper also provides a translation example from OCL into JML.
Publisher
日本ソフトウェア科学会
ニホン　ソフトウェア　カガクカイ
Japan Society for Software Science and Technology
Source Title
コンピュータ ソフトウェア
Volume (Issue)
27(2)
Page
106-111
Date of Issued
2010
Language
Japanese
Handle URL
https://hdl.handle.net/11094/51344
PISSN
02896540
Relation.isIdenticalTo
DOI (Publisher Version)
https://doi.org/10.11309/jssst.27.2_106
Access Rights
open access
CopyRight
ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します．本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです．ご利用に当たっては「著作権法」に従うことをお願いいたします．
Notice for the use of this material: The copyright of this material is retained by the Japan Society for Software Science and Technology (JSSST). This material is published on this web site with the agreement of the JSSST. Please be complied with Copyright Law of Japan if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof.
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article