| Software architecture is an important research field of Software Engineering and it rises in the 90s of 20th century, It is concerned with the global structure as well as the high-level abstraction description of the software system.The most importment research of software architecture is how to describe software architecture. Based on these,this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining UML 2.0 and XYZ/ADL.In this paper,the disadvantage of several main methods of software architectural description is analysed,the advantage of UML 2.0 compared with UML 1.X in the software architecture description is analysed, the corresponding relationship between UML 2.0 and XYZ/ADL in the architectural description is given and UML 2.0 model elements which used to describe the according architectural conception are determined, then a new way to describe software architecture which combine UML 2.0 and XYZ/ADL through defining the semantics of XYZ/E for UML 2.0 is composed.In order to realize this method ,the formal semantics of UML 2.0 sequence diagram and state diagram based on XYZ/E are defined.In final,the arcitectural description of a simple dask manager system which uses our method is given.This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic.It contributes to the research of software architecture description and the research of formal semantics of UML as well as the application of formal method in the software development. |
PDF Full Text Request