Using UML for Specification and Refinement of Software Architectures

SUN Meng,YANG Hongli,ZHANG Naixiao,QIU Zongyan
DOI: https://doi.org/10.3321/j.issn:0479-8023.2007.01.001
2006-01-01
Abstract: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.
What problem does this paper attempt to address?