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


Autoria(s): Kim, Soon-Kyeong; Carrington, David
Contribuinte(s)

C. George

H. Miao

Data(s)

01/01/2002

Resumo

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.

Identificador

http://espace.library.uq.edu.au/view/UQ:97290/A_formal_metamodeling_approach_to_a_transformation.pdf

http://espace.library.uq.edu.au/view/UQ:97290

Idioma(s)

eng

Publicador

Springer Verlag

Palavras-Chave #E1 #280302 Software Engineering #700199 Computer software and services not elsewhere classified
Tipo

Conference Paper