Research on Reverse Engineering from Formal Models to UML Models

Author

Yan, Wei ; Du, Yugen

Author_Institution

Software Eng. Inst., East China Normal Univ., Shanghai, China

fYear

2010

fDate

18-20 Dec. 2010

Firstpage

406

Lastpage

411

Abstract

The Unified Modeling Language (UML) provides a graphical notation to express the design of object-oriented software systems and has become the de facto industry standard for software design. However UML lacks precise semantics and is semi-formal. Formal specification languages are intended to provide precise and complete models for proposed software systems. Many researchers have done a lot of work in translating UML models into formal models to validate UML models. But in this paper, we discuss the reverse engineering problem, that is, when the formal models are validated and corrected, how to reverse them to UML models. We think this problem is more meaningful for software engineer. This paper presents a method that translates formal models into UML models by XMI and its Schema, and then testifies the feasibility and correctness of the reverse method by Unifying Theories of Programming (UTP).

Keywords

Unified Modeling Language; formal specification; object-oriented programming; reverse engineering; UML models; de facto industry standard; formal specification languages; object-oriented software systems; reverse engineering; Analytical models; Cognition; Mathematical model; Noise measurement; Object oriented modeling; Semantics; Unified modeling language; UML; UTP; formal method; reverse transformation;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel Architectures, Algorithms and Programming (PAAP), 2010 Third International Symposium on

Conference_Location

Dalian

Print_ISBN

978-1-4244-9482-8

Type

conf

DOI

10.1109/PAAP.2010.54

Filename

5715116