Transformation of UML Models into Formal RTPA Specifications

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.

[1]  Yingxu Wang,et al.  Formalization of UML Models by RTPA , 2006, 2006 Canadian Conference on Electrical and Computer Engineering.

[2]  Yingxu Wang,et al.  The Real-Time Process Algebra (RTPA) , 2002, Ann. Softw. Eng..

[3]  Tom Pender.  UML Bible , 2003 .

[4]  Yingxu Wang,et al.  Design and Implementation of an Automatic RTPA Code Generator , 2006, 2006 Canadian Conference on Electrical and Computer Engineering.

[5]  Yingxu Wang,et al.  Formal Description of the UML Architecture and Extensibility , 2000, Obj. Logiciel Base données Réseaux.

[6]  Yingxu Wang,et al.  Software Engineering Foundations: A Software Science Perspective , 2007 .

[7]  Yingxu Wang,et al.  Design of an Integrated Hyper Specification Documentation Tool , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[8]  Yingxu Wang,et al.  Process-Based Software Engineering: Building the Infrastructures , 2002, Ann. Softw. Eng..

[9]  Yingxu Wang,et al.  On Concept Algebra and Knowledge Representation , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[10]  Yingxu Wang,et al.  Formal models of object-oriented patterns using RTPA , 2005, Canadian Conference on Electrical and Computer Engineering, 2005..