An approach to non-functional requirements analysis at software architecture level

With the growing complexity and size of software systems and applications, the evaluation of these systems in development process, especially in the first phases are very important. In this paper a framework consisting of three parts is introduced. With the help of the integration of the software architecture description and requirement evaluation this framework minimizes the gap between software engineers and non-functional requirement analysis. In this framework, a general structure based on XML is provided for Petri nets extensions in order to be suitable for all Petri net extensions. Also it was indicated how different analysis methodologies can be integrated in our framework.

[1]  Vincenzo Grassi,et al.  Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach , 2007, J. Syst. Softw..

[2]  P. Inverardi,et al.  A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures , 2005, Electron. Notes Theor. Comput. Sci..

[3]  Fairclough Mazza,et al.  Software Engineering Standards , 1995 .

[4]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.

[5]  Paola Inverardi,et al.  Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.

[6]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[7]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[8]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[9]  Julio Cesar Sampaio do Prado Leite,et al.  A Framework for Integrating Non-Functional Requirements into Conceptual Models , 2001, Requirements Engineering.

[10]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[11]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[12]  Yi Deng,et al.  A formal method for analyzing software architecture models in SAM , 2002, Proceedings 26th Annual International Computer Software and Applications.