Transformation of UML Models into Formal RTPA Specifications

Author

Tian, Yousheng ; Wang, Yingxu

Author_Institution

Xi´´an Jiaotong Univ., Xi´´an

fYear

2007

fDate

22-26 April 2007

Firstpage

1259

Lastpage

1262

Abstract

The transformability between the diagram-based UML and the mathematics-based real-time process algebra (RTPA) is analyzed and experimented. RTPA is adopted in order to provide a rigor and formal semantics for UML in software system modeling and specifications. This paper presents a method to transform UML into RTPA. XML Metadata Interchange (XMI) is adopted as the medium language in the conversion. A tool is designed and implemented that links visualized system modeling methods and rigorous software specification notation systems towards formal system modeling and RTPA-based automatic software code generation for software engineering.

Keywords

Unified Modeling Language; XML; algebraic specification; meta data; UML models; XMI; XML metadata interchange; automatic software code generation; formal RTPA specifications; formal semantics; mathematics-based real-time process algebra; rigor semantics; software engineering; software system modeling; visualized system modeling methods; Algebra; Collaborative software; Computer architecture; Mathematical model; Object oriented modeling; Real time systems; Software engineering; Software systems; Unified modeling language; Visualization;

fLanguage

English

Publisher

ieee

Conference_Titel

Electrical and Computer Engineering, 2007. CCECE 2007. Canadian Conference on

Conference_Location

Vancouver, BC

ISSN

0840-7789

Print_ISBN

1-4244-1020-7

Electronic_ISBN

0840-7789

Type

conf

DOI

10.1109/CCECE.2007.321

Filename

4232980