Paper Abstract and Keywords |
Presentation |
2010-08-06 10:00
On Implementation of a Translater from OCL into JML Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2010-25 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
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. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
model translation / OCL / JML / / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 110, no. 169, SS2010-25, pp. 53-58, Aug. 2010. |
Paper # |
SS2010-25 |
Date of Issue |
2010-07-29 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
SS2010-25 |
Conference Information |
Committee |
SS |
Conference Date |
2010-08-05 - 2010-08-06 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
General |
Paper Information |
Registration To |
SS |
Conference Code |
2010-08-SS |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
On Implementation of a Translater from OCL into JML |
Sub Title (in English) |
|
Keyword(1) |
model translation |
Keyword(2) |
OCL |
Keyword(3) |
JML |
Keyword(4) |
|
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Kiyoyuki Miyazawa |
1st Author's Affiliation |
Osaka University (Osaka Univ.) |
2nd Author's Name |
Kozo Okano |
2nd Author's Affiliation |
Osaka University (Osaka Univ.) |
3rd Author's Name |
Shinji Kusumoto |
3rd Author's Affiliation |
Osaka University (Osaka Univ.) |
4th Author's Name |
|
4th Author's Affiliation |
() |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2010-08-06 10:00:00 |
Presentation Time |
30 minutes |
Registration for |
SS |
Paper # |
SS2010-25 |
Volume (vol) |
vol.110 |
Number (no) |
no.169 |
Page |
pp.53-58 |
#Pages |
6 |
Date of Issue |
2010-07-29 (SS) |
|