Skip to main content
SpringerLink
Log in

Formalisation of a Generic Extra-Functional Properties Framework

  • Conference paper
Evaluation of Novel Approaches to Software Engineering (ENASE 2011)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 275))

  • 622 Accesses

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.

The work was partially supported by the UWB grant SGS-2010-028 Advanced Computer and Information Systems and by the Czech Science Foundation project 103/11/1489 Methods of development and verification of component-based applications using natural language specifications.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. International Series in Software Engineering. Springer, Heidelberg (1999)

    Book  Google Scholar 

  2. ISO/IEC: Informational technology – product quality – part 1: Quality model. International standard ISO/IEC 9126, International Standard Organization (2001)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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-4

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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-1

    Google Scholar 

  8. Szyperski, C.: Component Software, 2nd edn. ACM Press, Addison-Wesley (2002)

    Google Scholar 

  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-0661

    Google Scholar 

  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. 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. 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. Spring Comunity: Spring Framework, Reference Documentation. ver. 3 edn. (2010), http://static.springsource.org/spring/docs/3.0.x/spring-framework-reference/html/

  14. The OSGi Alliance: OSGi Service Platform, Release 4 (2005), http://www.osgi.org/

  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. Aagedal, J.Ø.: Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo (2001)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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. 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 Analysis

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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-2

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, University of West Bohemia, Univerzitni 8, 30614, Pilsen, Czech Republic

    Kamil Ježek & Premek Brada

Authors
  1. Kamil Ježek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Premek Brada
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Macquarie University, 2109, Sydney, NSW, Australia

    Leszek A. Maciaszek

  2. Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas, 800 W. Campbell Road, Texas 75080-3021, Richardson, USA

    Kang Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ježek, K., Brada, P. (2013). Formalisation of a Generic Extra-Functional Properties Framework. In: Maciaszek, L.A., Zhang, K. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2011. Communications in Computer and Information Science, vol 275. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32341-6_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32341-6_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32340-9

  • Online ISBN: 978-3-642-32341-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation