Paper Info
Title
Developing a Formal Design Analysis Framework
Abstract
Much attention has recently been focused on the problem of effectively developing software systems that meet their non-functional requirements. Architectural frameworks have been proposed as a solution to support the design and analysis of non-functional requirements such as performance, security, adaptability, etc. A significant benefit of performing such analysis work is to detect and remove defects earlier in the design phase. However, the non-functional properties of a system are mostly addressed independently making it difficult for the design and analysis of a system with respect to a collection of these properties. This position paper presents an overview of our proposed solution to this problem called the Formal Design Analysis Framework (FDAF). More specifically we describe how our work, still in progress, provides support for one non-functional property, performance, using the unified modeling language (UML) and the formal architectural description language RAPIDE and how we plan to extend the framework to support two or more non-functional requirements.
Year
Venue
Field
2003
SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2
Formal design,Systems engineering,Software engineering,Computer science,Formal methods
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Kendra C. Cooper113524.90
Li-Rong Dai21070117.92
Yi Deng3377147.59
Jing Dong45217.44