Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Software Architecture in Practice
Software Architecture in Practice
A Reflective Component-Based & Architecture Aware Framework to Manage Architecture Composition
DOA '01 Proceedings of the Third International Symposium on Distributed Objects and Applications
A Framework for Designing Performance-Oriented Distributed Systems
ISCC '01 Proceedings of the Sixth IEEE Symposium on Computers and Communications
SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
SHADD: A scenario-based approach to software architectural defects detection
Advances in Engineering Software
| Hi-index | 0.00 |
Much attention has recently been focused on the problem of effectively developing software systems that meet their non-functional requirements (NFRs). Architectural frameworks have been proposed as a solution to support the design and analysis of NFRs such as performance, security, adaptability, etc. The significant benefits of such work include detecting and removing defects earlier, reducing development time, cost and improving the quality. The Formal Design Analysis Framework (FDAF) is an aspect-oriented approach that supports the automated translation of extended Unified Modeling Language designs for distributed real-time systems into existing formal notations, including Architecture Description Languages Rapide and Armani. The analysis of the formalized design is achieved using existing tool support for the formal methods, which leverages a large body of work in the research community. Currently, FDAF supports the design and analysis of response time and resource utilization performance sub-aspects. This paper presents the algorithms for translating extended UML diagrams into Armani, the proofs of correctness of the algorithms, and an illustration of the FDAF approach by using the Domain Name System. The Armani performance analysis results can provide architects with information indicating whether or not overloaded components exist in the design. If such a component exists, then the architect iteratively refines the UML architecture to meet the clients' requirements.