Title :
Transformation of UML Models into Formal RTPA Specifications
Author :
Tian, Yousheng ; Wang, Yingxu
Author_Institution :
Xi´´an Jiaotong Univ., Xi´´an
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;
Conference_Titel :
Electrical and Computer Engineering, 2007. CCECE 2007. Canadian Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
1-4244-1020-7
Electronic_ISBN :
0840-7789
DOI :
10.1109/CCECE.2007.321
