Tool Support for Refinement of Non-functional Specifications

Model driven architecture (MDA) views application development as a continuous transformation of models of the target system. We propose a methodology which extends this view to non-functional properties. In previous publications we have shown how we can use so-called context models to make the specification of non-functional measurements independent of their application in concrete system specifications. We have also shown how this allows us to distinguish two roles in the development process: the measurement designer and the application designer.In this paper we use the notion of context models to allow the measurement designer to provide measurement definitions at different levels of abstraction. A measurement in our terminology is a non-functional dimension that can be constrained to describe a non-functional property. Requiring the measurement designer to define transformations between context models, and applying them to measurement definitions, enables us to provide tool support for refinement of non-functional constraints to the application designer. The paper presents the concepts for such tool support as well as a prototype implementation.

[1]  Steffen Zschaler,et al.  Towards pervasive treatment of non-functional properties at design and run-time , 2003 .

[2]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[3]  Garry D. Coleman,et al.  Advancing the Standard , 1999 .

[4]  Jean-Marc Jézéquel,et al.  QCCS: A methodology for the development of contract-aware components based on Aspect Oriented Design , 2003 .

[5]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[6]  Steffen Göbel,et al.  Enforceable component-based realtime contracts , 2006, Real-Time Systems.

[7]  Steffen Zschaler,et al.  CQML +: Enhancements to CQML. , 2003 .

[8]  Chris Ford,et al.  Non-Functional Requirements , 2007 .

[9]  J. Davenport.  Editor , 1960 .

[10]  Jan Oyvind Aagedal,et al.  Quality of Service Support in Development of Distributed Systems , 2001 .

[11]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

[12]  Steffen Zschaler,et al.  A software development process supporting non-functional properties , 2004, IASTED Conf. on Software Engineering.

[13]  Christoph P. Neumann,et al.  TESTEJB - A Measurement Framework for EJBs , 2004, CBSE.

[14]  Brian Ellis,et al.  VEST: an aspect-based composition tool for real-time systems , 2003, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings..

[15]  Richard N. Taylor,et al.  A framework for classifying and comparing architecture description languages , 1997, ESEC '97/FSE-5.

[17]  Stuart Kent.  The unified modeling language , 2001, FME 2001.

[18]  Heinrich Hußmann,et al.  Modular architecture for a toolset supporting OCL , 2000, Sci. Comput. Program..

[19]  Douglas C. Schmidt,et al.  CoSMIC: An MDA Generative Tool for Distributed Real-time and Embedded Component Middleware and Applications , 2002 .

[20]  R. Esources.  Defining Non-Functional Requirements , 2002 .

[21]  Mahesh K. Marina,et al.  Performance of route caching strategies in Dynamic Source Routing , 2001, Proceedings 21st International Conference on Distributed Computing Systems Workshops.

[22]  Valérie Issarny,et al.  Aster: a framework for sound customization of distributed runtime systems , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[23]  Valérie Issarny,et al.  On the correctness of multimedia applications , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[24]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[25]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[26]  Mary Shaw,et al.  Abstractions and implementations for architectural connections , 1996, Proceedings of International Conference on Configurable Distributed Systems.

[27]  Christoph Pohl,et al.  Enforceable Component-Based Realtime Contracts – Supporting Realtime Properties from Software Development to Execution , 2006 .

[28]  J. Aagedal,et al.  UML Pro?le for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms , 2004 .

[29]  Jean-Marc Jézéquel,et al.  From contracts to aspects in uml designs , 2002 .

[30]  Steffen Zschaler.  Towards a semantic framework for non-functional specifications of component-based systems , 2004 .

[31]  Steffen Zschaler,et al.  Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation , 2004, UML.

[32]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.