Modeling and Analysis of Non-Functional Requirements as Aspects in a UML Based Architecture Design

Authors:
Lirong Dai;Kendra Cooper
Affiliations:
University of Texas at Dallas;University of Texas at Dallas
Venue:
SNPD-SAWN '05 Proceedings of the Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and First ACIS International Workshop on Self-Assembling Wireless Networks
Year:
2005

Citing 0
Cited 3

On the evolution of quality conceptualization techniques

The evolution of conceptual modeling
An aspect-oriented reference architecture for Software Engineering Environments

Journal of Systems and Software
A framework for the integration of MOF-compliant analysis methods

Proceedings of the Second Asia-Pacific Symposium on Internetware

Quantified Score

Hi-index	0.00

Visualization

Abstract

The problem of effectively designing and analyzing software system to meet its non-functional requirements such as performance, security, and adaptability is critical to the systemýs success. The significant benefits of such work include detecting and removing defects earlier, reducing development time and cost while improving the quality. The Formal Design Analysis Framework (FDAF) is an aspect-oriented approach that supports the design and analysis of non-functional requirements for distributed, real-time systems. In the FDAF, non-functional requirements are defined as reusable aspects in the repository and the conventional UML has been extended to support the design of these aspects. FDAF supports the automated translation of extended, aspect-oriented UML designs into existing formal notations, leveraging an extensive body of formal methods work. In this paper, the design and analysis of response time performance aspect is described. An example system, the ATM/Banking system has been used to illustrate this process.