Paper Info
Title
Modeling And Analysis Of Performance Aspects For Software Architecture: A Uml-Based Approach
Abstract
Much attention has been focused on the problem of effectively designing software architecture to meet non-functional requirements (NFRs). The significant benefits of such work include detecting and removing defects earlier, which reduces development time and cost while improving the quality of the design; in turn the improved quality of the design makes it easier to maintain as the system evolves. The Formal Design Analysis Framework (FDAF) is an aspect-oriented approach proposed to support the design and analysis of multiple NFRs for distributed, concurrent, and real-time systems. In FDAF, non-functional requirements are realized and represented as reusable aspects in the repository; designs are captured in an extended version of the Unified Modeling Language (UML). FDAF supports the automated translation of extended UML designs into existing formal notations. Subsequently, the analysis of an aspect design is achieved using existing formal analysis tools, which leverages a large body of work in the research community. This paper focuses on the modeling and analysis of the response time performance aspect. The algorithms for translating extended UML diagrams into Rapide, the proofs of correctness for the algorithms, and an illustration of the FDAF approach using the Domain Name System are presented.
Year
DOI
Venue
2006
10.1142/S0218194006002835
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Keywords
Field
DocType
aspect-oriented software development, software architecture, unified modeling language, Rapide architectural description language, formal methods
Programming language,Software engineering,Unified Modeling Language,Systems engineering,UML tool,Computer science,Correctness,Domain Name System,Aspect-oriented software development,Applications of UML,Formal methods,Software architecture
Journal
Volume
Issue
ISSN
16
3
0218-1940
Citations 
PageRank 
References 
4
0.41
7
Authors
3
Name
Order
Citations
PageRank
Li-Rong Dai11070117.92
Kendra C. Cooper213524.90
W. Eric Wong328456.75