| Software architecture, as an important aspect of Software Engineering rising in the 90s of 20th century, has been a hotspot and an independent research branch, in which software architecture description is most concernful. How to describe the architecture accurately in detail will have influence not only in the understanding and communication in developers, but also in the analysis, refinement and verification next.Now the main methods of software architecture description are formal description and visual description. Architecture description language ADL is typical in formal description while in visual description UML is typical. Their advantages are that ADL can describe accurately and UML can describe intuitionistic, which are complement to each other. So a hotspot in software architecture description is to combining the two together.So, in this paper, it does the research of the bidirectional conversion between UML and XYZ/ADL. In this way it combines the OO visual modeling language and formal method based on temporal logic together to describe software architecture, and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method.In this paper, it first defines the rule of basic structures in XYZ/E, analyzes the analogies between XYZ/ADL design elements and UML modeling elements and defines the conversion rule, and uses UML extension mechanism and object constraint language to perfect the conversion. And then it selects class diagram and composite structure new in UML2.0 for research, defines how to convert them to XYZ/ADL. There has been some research for the conversion from UML state machine diagram, activity diagram and sequence diagram to XYZ/E. in this paper it will make a brief introduction about it. Accompany with the rules, the paper will take examples for a steam-boiler system and a transport service management system to show their feasibility and practicability. |
PDF Full Text Request