ISSN 1002-1027  CN 11-2952/G2

Acta scientiarum naturalium Universitatis Pekinensis

    Next Articles

Using UML for Specification and Refinement of Software Architectures

SUN Meng, YANG Hongli1, ZHANG Naixiao, QIU Zongyan   

  • Received:2006-02-15 Online:2007-01-20 Published:2007-01-20

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.