Acta scientiarum naturalium Universitatis Pekinensis
SUN Meng, YANG Hongli1, ZHANG Naixiao, QIU Zongyan
Different views of software architecture in UML diagrams are presented. It shows how UML can be used to model different aspects of software architecture. The semantics of UML diagrams are expressed in the notation of Communication Sequential Process(CSP). Different view models of software architectures are linked together based on the CSP semantics. The issue of refining such architectural specifications is also discussed, where software architectures can be refined in a manner that preserves desired system properties.
SUN Meng,YANG Hongli,ZHANG Naixiao,QIU Zongyan. Using UML for Specification and Refinement of Software Architectures[J].Acta scientiarum naturalium Universitatis Pekinensis, 2007, 43(1): 1-10.
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks