Formalisation of a Generic Extra-Functional Properties Framework

  • Kamil Ježek
  • Premek Brada
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 275)

Abstract

Approaches to improve software composition become remarkably important with the gradual enlargement of software systems. Together with adaptation of component-based programming to cope with software complexity, extra-functional properties are playing a more important role. The problem addressed in this paper concerns an insufficient adoption of extra-functional properties into practise that consequently limits approaches to modularised software. As a solution this paper presents a comprehensive framework which enables the use of extra-functional properties in existing systems with the promise to improve component application consistency. The framework is described in a formal manner and its practical application is shown on the Spring and OSGi component models.

Keywords

Software  components Extra-functional properties Compatibility Repository Inter-component binding Framework 
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. International Series in Software Engineering. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  2. 2.
    ISO/IEC: Informational technology – product quality – part 1: Quality model. International standard ISO/IEC 9126, International Standard Organization (2001)Google Scholar
  3. 3.
    Muskens, J., Chaudron, M.R.V., Lukkien, J.J.: A Component Framework for Consumer Electronics Middleware. In: Atkinson, C., Bunse, C., Gross, H.-G., Peper, C. (eds.) Component-Based Software Development for Embedded Systems. LNCS, vol. 3778, pp. 164–184. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  4. 4.
    Bondarev, E., Chaudron, M.R., de With, P.H.: Compositional performance analysis of component-based systems on heterogeneous multiprocessor platforms. In: Proceedings of Euromicro conference on Software Engineering and Advanced Applications, pp. 81–91. IEEE Computer Society (2006)Google Scholar
  5. 5.
    Yan, J., Piao, J.: Towards QoS-Based Web Services Discovery. In: Feuerlicht, G., Lamersdorf, W. (eds.) ICSOC 2008. LNCS, vol. 5472, pp. 200–210. Springer, Heidelberg (2009) ISBN: 978-3-642-01246-4CrossRefGoogle Scholar
  6. 6.
    García, J.M., Ruiz, D., Ruiz-Cortés, A., Martín-Díaz, O., Resinas, M.: An Hybrid, QoS-Aware Discovery of Semantic Web Services Using Constraint Programming. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 69–80. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Ježek, K.: A complex meta-model for extra-functional properties concerning common data types their comparing and binding. In: 2nd World Congress on Software Engineering (WCSE 2010), vol. 2, pp. 71–74 (2010) ISBN:978-0-7695-4303-1Google Scholar
  8. 8.
    Szyperski, C.: Component Software, 2nd edn. ACM Press, Addison-Wesley (2002)Google Scholar
  9. 9.
    Jezek, K., Brada, P., Stepan, P.: Towards context independent extra-functional properties descriptor for components. In: Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2010). ENTCS, vol. 264, pp. 55–71 (2010) ISSN: 1571-0661Google Scholar
  10. 10.
    Franch, X.: Systematic formulation of non-functional characteristics of software. In: Proceedings of International Conference on Requirements Engineering (ICRE), pp. 174–181 (1998)Google Scholar
  11. 11.
    Snajberk, J., Brada, P.: ENT: A generic meta-model for the description of component-based applications. In: Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS 2011, Saarbrcken, Germany (2011)Google Scholar
  12. 12.
    Bauml, J., Brada, P.: Automated versioning in OSGi: A mechanism for component software consistency guarantee. In: Proceedings of the EUROMICRO-SEAA Conference, pp. 428–435. IEEE Computer Society Press (2009)Google Scholar
  13. 13.
    Spring Comunity: Spring Framework, Reference Documentation. ver. 3 edn. (2010), http://static.springsource.org/spring/docs/3.0.x/spring-framework-reference/html/
  14. 14.
    The OSGi Alliance: OSGi Service Platform, Release 4 (2005), http://www.osgi.org/
  15. 15.
    Brada, P.: Enhanced OSGi bundle updates to prevent runtime exceptions. In: Proceedings of the 34th Euromicro SEAA Conference. IEEE CS, Parma (2008)Google Scholar
  16. 16.
    Aagedal, J.Ø.: Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo (2001)Google Scholar
  17. 17.
    Röttger, S., Zschaler, S.: CQML+: Enhancements to CQML. In: Bruel, J.M. (ed.) Proc. 1st Int’l Workshop on Quality of Service in Component-Based Software Engineering, Toulouse, France, Cépaduès-Éditions, pp. 43–56 (2003)Google Scholar
  18. 18.
    Mohammad, M., Alagar, V.S.: TADL - an Architecture Description Language for Trustworthy Component-Based Systems. In: Morrison, R., Balasubramaniam, D., Falkner, K. (eds.) ECSA 2008. LNCS, vol. 5292, pp. 290–297. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  19. 19.
    Gu, X., Nahrstedt, K., Yuan, W., Wichadakul, D., Xu, D.: An XML-based quality of service enabling language for the web. Journal of Visual Language and Computing, Special Issue on Multimedia Language for the Web 13, 61–95 (2001)Google Scholar
  20. 20.
    Lamanna, D.D., Skene, J., Emmerich, W.: Slang: A language for defining service level agreements. In: The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, FTDCS 2003. IEEE Computer Society, Los Alamitos (2003)Google Scholar
  21. 21.
    Becker, S., Koziolek, H., Reussner, R.: The Palladio component model for model-driven performance prediction. Journal of Systems and Software 82, 3–22 (2009); Special Issue: Software Performance - Modeling and AnalysisCrossRefGoogle Scholar
  22. 22.
    Sentilles, S., Štěpán, P., Carlson, J., Crnković, I.: Integration of Extra-Functional Properties in Component Models. In: Lewis, G.A., Poernomo, I., Hofmeister, C. (eds.) CBSE 2009. LNCS, vol. 5582, pp. 173–190. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  23. 23.
    Ježek, K., Brada, P.: Correct matching of components with extra-functional properties – a framework applicable to a variety of component models. In: Evaluation of Novel Approaches to Software Engineering (ENASE 2011). SciTePress (2011) ISBN: 978-989-8425-65-2Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Kamil Ježek
    • 1
  • Premek Brada
    • 1
  1. 1.Department of Computer Science and EngineeringUniversity of West BohemiaPilsenCzech Republic

Personalised recommendations