Title : 
Integrating Non-Functional Properties to Architecture Specification and Analysis
         
        
        
            Author_Institution : 
Dept. of Bus., Union Coll., Barbourville, KY
         
        
        
        
        
        
            Abstract : 
Software architecture (SA) provides a formal basis to describe and analyze a software system as a collection of components and their interactions (connectors). However, the current understanding and specification for non-functional properties inside a software architecture are still insufficient. Most of today´s architecture specification and analysis only support functional properties. They overlook the non-functional properties like performance, security, reliability, etc. This paper attempts to tackle the problem by providing an architecture description language (ADL), xSADL4PE. xSADL4PE integrates both functional property and non-functional property (performance evaluation) into the architecture specification. It can help designers to give both quality and quantity specification at the design stage
         
        
            Keywords : 
formal specification; software architecture; software performance evaluation; specification languages; architecture description language; software analysis; software architecture; software specification; software system; xSADL4PE; Algebra; Application software; Architecture description languages; Computer architecture; Connectors; Educational institutions; Security; Software architecture; Software design; Software systems;
         
        
        
        
            Conference_Titel : 
Information Technology: New Generations, 2006. ITNG 2006. Third International Conference on
         
        
            Conference_Location : 
Las Vegas, NV
         
        
            Print_ISBN : 
0-7695-2497-4
         
        
        
            DOI : 
10.1109/ITNG.2006.76