| Much attention has recently been focused on the problem of effectively developing software systems that realize their non-functional requirements. Architectural frameworks have been proposed as a solution to support the design and analysis of non-functional properties such as performance, security, adaptability, etc. A significant benefit of performing such analysis work is to detect and remove defects earlier in the software development lifecycle. The Formal Design Analysis Framework (FDAF) is an aspect-oriented architectural framework that supports the design and automated analysis of non-functional properties for software architectures using Unified Modeling Language (UML) and a set of existing formal methods. In the FDAF, non-functional properties are represented as aspects. The FDAF provides a UML extension to support the modeling of aspects in a UML based architecture design. To realize the automated analysis of aspect-oriented designs, (part of) UML is formalized into a set of formal languages using translational semantics. Translation algorithms have been defined, verified with proofs, and implemented in the FDAF tool to support automated translation. Furthermore, an example system, Domain Name System, has been selected to illustrate and validate the FDAF approach. |
