A Formal Metamodeling Approach to a Transformation between Visual and Formal Modeling Techniques

Kim, Soon-Kyeong and Carrington, David (2002) A Formal Metamodeling Approach to a Transformation between Visual and Formal Modeling Techniques. Technical Report 02-23, Software Verification Research Centre, School of Information Technology, The University of Queensland.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
svrc_02_23.pdf svrc_02_23.pdf Click to show the corresponding preview/stream application/pdf 204.72KB 297
svrc_02_23.ps svrc_02_23.ps Click to show the corresponding preview/stream text/plain;... 780.88KB 154
Author Kim, Soon-Kyeong
Carrington, David
Title A Formal Metamodeling Approach to a Transformation between Visual and Formal Modeling Techniques
School, Department or Centre Software Verification Research Centre, School of Information Technology
Institution The University of Queensland
Report Number Technical Report 02-23
Publication date 2002-03-01
Subject 280302 Software Engineering
Abstract/Summary Formal modeling notations and visual modeling notations can complement each other when developing software models. The most frequently adopted approach is to define transformations between the visual and formal models. However, a significant problem with the currently suggested approaches is that the transformation itself 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 to transform 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 a visual model in UML and a formal model in Object-Z.
Keyword Formal methods
modelling techniques integration
UML
Object-Z
metamodelling
Additional Notes This paper is an extended version of the following publication: Soon-Kyeong Kim and David Carrington. A Formal Metamodeling Approach to a Transformation between the UML state Machine and Object-Z. In C. George and H. Miao, editors, 4th International Conference on Formal Engineering Methods (ICFEM 2002), volume 2495 of Lecture Notes in Computer Science, Springer-Verlag, July 2002.

Document type: Department Technical Report
Collection: School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 449 Abstract Views, 451 File Downloads  -  Detailed Statistics
Created: Thu, 08 Apr 2004, 10:00:00 EST by Belinda Weaver (EA)