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 application/pdf 127.21KB 107

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 Paper Type Fully Published Paper
Conference name Fourth International Conference on Formal Engineering Methods
DOI 10.1007/3-540-36103-0_55
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
Editor C. George
H. Miao
Place published Berlin
Publisher Springer Verlag
Publication date 2002
Volume number 2495/2002
ISBN 3-540-00029-1: 978-3-540-00029-7
ISSN 0302-9743
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 0 times in Thomson Reuters Web of Science Article
Google Scholar Search Google Scholar
Access Statistics: 71 Abstract Views, 107 File Downloads  -  Detailed Statistics
Created: Fri, 24 Aug 2007, 01:09:46 EST