Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on (2005)
Towson University, Towson, Maryland, USA
May 23, 2005 to May 25, 2005
Lirong Dai , University of Texas at Dallas
Kendra Cooper , University of Texas at Dallas
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.
L. Dai and K. Cooper, "Modeling and Analysis of Non-Functional Requirements as Aspects in a UML Based Architecture Design," Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, International Conference on & Self-Assembling Wireless Networks, International Workshop on(SNPD-SAWN), Towson University, Towson, Maryland, USA, 2005, pp. 178-183.