A synthesis of existing approaches to specify non-functional properties

The main objective of this deliverable is to make a synthesis of existing approaches to specify non-functional properties. The term non-functional requirement has been in use for more than 20 years, there is still no consensus in the requirements and software engineering community what non-functional requirements are and how we should elicit, document, and validate them. On the other hand, there is a unanimous consensus that non-functional requirements and properties are important and can be critical for the success of a project.

[1]  Thomas Ledoux,et al.  A Declarative Approach for QoS-Aware Web Service Compositions , 2007, ICSOC.

[2]  Thomas Nolte,et al.  Contract-Based ReusableWorst-Case Execution Time Estimate , 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).

[3]  Thierry Coupaye,et al.  An Open Component Model and Its Support in Java , 2004, CBSE.

[4]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[5]  Andrea D'Ambrogio,et al.  A Model-driven WSDL Extension for Describing the QoS ofWeb Services , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[6]  Martin Glinz,et al.  On Non-Functional Requirements , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[7]  Robert B. Grady,et al.  Practical Software Metrics for Project Management and Process Improvement , 1992 .

[8]  Min Tian.  QoS integration in Web services with the WS-QoS framework , 2005 .

[9]  Thomas A. Henzinger,et al.  Timed Interfaces , 2002, EMSOFT.

[10]  Sébastien Gérard,et al.  Annotating UML Models with Non-functional Properties for Quantitative Analysis , 2005, MoDELS Satellite Events.

[11]  Teresita Rojas,et al.  Construction of a Systemic Quality Model for Evaluating a Software Product , 2003, Software Quality Journal.

[12]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[13]  Barry Boehm,et al.  Characteristics of software quality , 1978 .

[14]  Thomas A. Henzinger,et al.  An Interface Algebra for Real-Time Components , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[15]  Nikola Milanovic,et al.  Contract based Web service composition , 2006 .

[16]  Priya Narasimhan,et al.  Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings , 2007, ICSOC.

[17]  Charles André,et al.  NON-FUNCTIONAL PROPERTY ANALYSIS USING UML2.0 AND MODEL TRANSFORMATIONS , 2006 .

[18]  Ivica Crnkovic,et al.  SaveCCM - a component model for safety-critical real-time systems , 2004 .

[19]  Carlos Müller,et al.  Improving Temporal-Awareness of WS-Agreement , 2007, ICSOC.

[20]  Hui Lei,et al.  Monitoring the QoS for Web Services , 2007, ICSOC.

[21]  Ronald R. Willis,et al.  Software quality engineering: a total technical and management approach , 1988 .

[22]  Eric van der Vlist,et al.  XML Schema , 2002 .

[23]  Christopher van Eenoo,et al.  Addressing non-functional properties in software architectures using ADL , 2005 .

[24]  Dieter K. Hammer,et al.  Performance Prediction for Component Compositions , 2004, CBSE.

[25]  Ronan Fitzpatrick,et al.  Software quality: definitions and strategic issues , 1996 .

[26]  Olga Kouchnarenko,et al.  How to Handle QoS Aspects in Web Services Substitutivity Verification , 2007, 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007).

[27]  Antonio Ruiz Cortés,et al.  A ES-Agreement Extension for Specifying Temporal Properties in SLAs , 2007 .

[28]  Thierry Coupaye,et al.  The FRACTAL component model and its support in Java , 2006, Softw. Pract. Exp..

[29]  Nigel Bevan,et al.  Quality in use: Meeting user needs for quality , 1999, J. Syst. Softw..

[30]  Alain Ozanne,et al.  Interact : un modèle général de contrat pour la garantie des assemblages de composants et services. (Interact : a general contract model for the guarantee of components and services assemblies) , 2007 .

[31]  Raffaela Mirandola,et al.  Modeling and Analysis of Non-functional Properties in Component-based Systems , 2003, Electron. Notes Theor. Comput. Sci..

[32]  Roy Grønmo,et al.  Model-Driven Methodology for Building QoS-Optimised Web Service Compositions , 2005, DAIS.

[33]  Martin Neil,et al.  Building large-scale Bayesian networks , 2000, The Knowledge Engineering Review.

[34]  Michael W. Evans,et al.  Software quality assurance and management , 1987 .