Skip to main content
SpringerLink
Log in

Tool Support for Refinement of Non-functional Specifications

  • Special Issue Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aagedal J.O. Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo (2001)

  2. Aigner, R., Pohlack, M., Röttger, S., Zschaler, S.: Towards pervasive treatment of non-functional properties at design and run-time. In: 16th International Conference on Software and Systems Engineering and their Applications (ICSSEA’03). Paris, CNAM-CMSL, 2–4 December 2003

  3. ArgoUML website. http://argouml.tigris.org/

  4. Bandelow D. Entwicklung einer CQML+-Basisbibliothek(in German) Diplomarbeit. Department of Computer Science, Technische Universität Dresden (2004)

  5. Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E.: Extensible markup language (XML) 1.0 (2nd edition) . W3C Recommendation (2000)

  6. Bruel, J.-M. (ed) Proc Leading of the 1st international Workshop on Quality of Service in Component-Based Software Engineering, Toulouse, France. Cépaduès-Éditions (2003)

  7. Chung L., Nixon B.A., Yu E., Mylopoulos J. (2000) Non-Functional Requirements In Software Engineering. Kluwer, Dordrecht

    Google Scholar 

  8. Clark, T., Evans, A., Sammut, P., Willans, J.: Applied Metamodelling – A Foundation for Language Driven Development. version 0.1, published on-line at http://www. xactium.com/ (2004)

  9. Demairy, E., Anceaume, E., Issarny, V.: On the correctness of multimedia applications. In: 11th EuroMicro Conference. on Real Time Systems. IEEE, June 1999

  10. Dirckze, R.: Java metadata interface(JMI) specification, version 1.0. Java Community Process JSR 040 Final Specification, June 2002. http://www.jcp.org/

  11. Gamma E., Helm R., Johnson R., Vlissides J. (1995) Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading

    Google Scholar 

  12. Gokhale, A., Natarajan, B., Schmidt, D.C., Nechypurenko, A., Gray, J., Wang, N., Neema, S., Bapty, T., Parsons, J.: Cosmic: an MDA generative tool for distributed real-time and embedded component middleware and applications. In: Proceedings. ACM OOPSLA 2002 Workshop on Generative Techniques in the Context of MDA. Seattle, WA, November 2002

  13. Härtig, H., Zschaler, S., Aigner, R., Göbel, S., Pohlack, M., Pohl, C., Röttger, S.: Enforceable component-based realtime contracts – supporting realtime properties from software development to execution. Real Time Systems (to appear)

  14. Hussmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. In: Evans, A., Kent, S., Selic, B. (eds) Proceedings of. 3rd International UML Conference. 2000 - The Unified Modeling Language. Advancing the Standard. volume 1939 of LNCS, pp. 278–293. Springer, Berlin Heidelberg Newyork (2000)

  15. Information technology – Quality of Service: Framework. ISO/IEC 13236:1998, ITU-T X.641, 1998

  16. Issarny, V., Bidan, C.: Aster: a framework for sound customization of distributed runtime systems. In: International Conference on Distributed Computing Systems. pp. 586–593. IEEE Computer Society, 1996

  17. Jézéquel, J.-M., Plouzeau, N., Weis, T., Geihs, K.: From contracts to aspects in UML designs. In: AOSD Workshop on Aspect-Oriented Modeling with UML. Enschede, The Netherlands (2002)

  18. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Akşit, M., Matsuoka, S. (eds.) 11th European Conference. on Object-Oriented Programming, vol. 1241 of LNCS, pp. 220–242. Springer, Berlin Heidelberg Newyork (1997)

  19. Kleppe A., Warmer J., Bast W.(2003) MDA Explained: The Model Driven Architecture: Practice and Promise. Addison Wesley, Reading

    Google Scholar 

  20. Malan, R., Bredemeyer, D., Defining non-functional requirements. Bredemeyer Consulting, White Paper. http://www. bredemeyer.com/papers.htm, 2001

  21. Matula, M.: Netbeans metadata repository, March 2003. http://mdr.netbeans.org/MDR-whitepaper.pdf

  22. Medvidovic, N., Taylor, R.N.: A framework for classifying and comparing architecture description languages. In: Proceedings of. 6th European Software Engineering Conf. together with 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE97). pp. 60–76, Zurich, Switzerland, September 1997

  23. Meyer, L.: Werkzeugunterstützung für Verfeinerungen nicht-funktionaler Eigenschaften In German. Großer Beleg, Department of Computer Science, Technische Universität Dresden, August 2004.

  24. Meyerhöfer, M., Neumann, C.: TESTEJB – a measurement framework for EJBs. In: Crnkovic, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) Proceedings. 7th International Symposium on Component-Based Software Engineering (CBSE’04). number 3054 in LNCS, pp. 294–301. Springer, Berlin Heidelberg New York (2004)

  25. NSUML and NSMDF website. http://nsuml.sourceforge.net/

  26. Object Management Group. MOF 2.0 query, views, transformations request for proposals. OMG Document, April 2002. URL http://www.omg.org/docs/ad/02-04-10.pdf

  27. Object Management Group. UML 2.0 OCL specification. OMG Document, October 2003. URL http://www.omg.org/ cgi-bin/doc?ptc/03-10-14

  28. Object Management Group. Meta object facility specification. OMG Document, October 2003. URL http://www. omg.org/cgi-bin/doc?ptc/03-10-04

  29. Object Management Group. Unified modeling language: Superstructure version 2.0. OMG Document, July 2003. URL http://www.omg.org/cgi-bin/doc?ptc/03-07-06.pdf

  30. .Object Management Group. UML profile for modeling quality of service and fault tolerance characteristics and mechanisms. OMG Document, June 2004 URL http://www.omg.org/docs/ptc/04-06-01.pdf.

  31. Röttger, S., Zschaler, S.: CQML+: Enhancements to CQML. In Bruel [6], pp. 43–56

  32. Röttger, S., Zschaler, S.: A software development process supporting non-functional properties. In: Proceedings of. IASTED International Conference. on Software Engineering (IASTED SE 2004). ACTA Press (2004)

  33. Röttger, S., Zschaler, S.: Model-driven development for non-functional properties: Refinement through model transformation. In: Proceedings of .  <  < UML >  >  Conference, Lisbon, Portugal, 2004. volume 3273 of LNCS, pp. 275–289. Springer, Berlin heidelberg Newyork (2004)

  34. Sassen, A.-M., Amorós, G., Donth, P., Geihs, K., Jézéquel, J.-M., Odent, K., Plouzeau, N., Weis, T.: QCCS: a methodology for the development of contract-aware components based on aspect oriented design. In: AOSD Early Aspects Workshop. Enschede, The Netherlands, (2002)

  35. Shaw, M., DeLine, R., Zelesnik, G.: Abstractions and implementations for architectural connections. In: 3rd International Conference. on Configurable Distributed Systems. IEEE Press (1996)

  36. Simmonds, D.M., Ghosh, S., France, R.: An MDA framework for middleware transparent software development & quality of service. In Bruel [6], pp. 1–7

  37. Sommerville I. (2001) Software Engineering. Addison-Wesley, Reading

    Google Scholar 

  38. Stankovic, J.A., Zhu, R., Poornalingam, R., Lu, C.: Yu, Z., Humphrey, M., Ellis, B.: VEST: An aspect-based composition tool for real-time systems. In: Proceedings of the. 9th Real-Time and Embedded Technology and Applications Symposium (RTAS’03), Toronto, Canada, pp. 58–69. IEEE Press (2003)

  39. Tannhäuser, F.: Konzeption und prototypische Umsetzung eines Spezifikationswerkzeugs für CQML+-Spezifikationen. Diplomarbeit, Department of Computer Science, Technische Universität Dresden, December 2003 (In German)

  40. Zschaler, S.: Towards a semantic framework for non-functional specifications of component-based systems. In: Steinmetz, R., Mauthe, A. (eds) Proceedings of. EUROMICRO Conference. 2004, Rennes IEEE Computer Society (2004)

Download references

Author information

Authors and Affiliations

  1. Technische Universität Dresden, Dresden, Germany

    Simone Röttger & Steffen Zschaler

Authors
  1. Simone Röttger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Steffen Zschaler
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Simone Röttger.

Additional information

communicated by Ana Moreira and Thomas Baar.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Röttger, S., Zschaler, S. Tool Support for Refinement of Non-functional Specifications. Softw Syst Model 6, 185–204 (2007). https://doi.org/10.1007/s10270-006-0024-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-006-0024-x

Keywords

Search

Navigation