A formal metamodeling approach to a transformation between the UML state machine and object-z

Kim, Soon-Kyeong and Carrington, David (2002). A formal metamodeling approach to a transformation between the UML state machine and object-z. In: C. George and H. Miao, Formal Methods and Software Engineering. Fourth International Conference on Formal Engineering Methods, Shanghai, China, (548-560). 21-25 October, 2002.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
A_formal_metamodeling_approach_to_a_transformation.pdf A_formal_metamodeling_approach_to_a_transformation.pdf Click to show the corresponding preview/stream application/pdf 127.21KB 127

Author Kim, Soon-Kyeong
Carrington, David
Title of paper A formal metamodeling approach to a transformation between the UML state machine and object-z
Conference name Fourth International Conference on Formal Engineering Methods
Conference location Shanghai, China
Conference dates 21-25 October, 2002
Proceedings title Formal Methods and Software Engineering   Check publisher's open access policy
Journal name Formal Methods and Software Engineering, Proceedings   Check publisher's open access policy
Place of Publication Berlin
Publisher Springer Verlag
Publication Year 2002
Sub-type Fully published paper
DOI 10.1007/3-540-36103-0_55
ISBN 3-540-00029-1
978-3-540-00029-7
ISSN 0302-9743
Editor C. George
H. Miao
Volume 2495/2002
Start page 548
End page 560
Total pages 13
Collection year 2002
Language eng
Abstract/Summary A significant problem with currently suggested approaches for transforming between models in different languages is that the transformation is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a formal metamodeling approach for transforming between UML and Object-Z. In the paper, the two languages are defined in terms of their formal metamodels, and a systematic transformation between the models is provided at the meta-level in terms of formal mapping functions. As a consequence, we can provide a precise, consistent and complete transformation between them.
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 115 Abstract Views, 127 File Downloads  -  Detailed Statistics
Created: Fri, 24 Aug 2007, 01:09:46 EST