CORRECT MATCHING OF COMPONENTS WITH EXTRA-FUNCTIONAL PROPERTIES - A Framework Applicable to a Variety of Component Models

Kamil Ježek, Přemek Brada

2011

Abstract

A lot of current approaches attempt to enrich software systems with extra-functional properties. These attempts become remarkably important with the gradual adoption of component-based programming. Typically, extrafunctional properties need to be taken into account in the phase of component binding and therefore included in the process of verifying component compatibility. Although a lot of research has been done, practical usage of extra-functional properties is still rather scarce. The main problem could be in a slow adaptability of specialized research models to rapidly changing industrial needs. We have designed a solution to this issue in the form of a modular framework which provides a formally sound yet practical means to declare, assign and evaluate extra-functional properties in the context of component-based applications. One of its strengths is applicability to a variety of industrial as well as research component models. This paper describes the models and algorithms of the framework and introduces a prototype implementation proving the concept.

References

  1. Aagedal, J. Ø. (2001). Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo.
  2. Aagedal, J. Ø. (2001). Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo.
  3. Bauml, J. and Brada, P. (2009). Automated versioning in osgi: A mechanism for component software consistency guarantee. In EUROMICRO-SEAA, pages 428- 435.
  4. Bauml, J. and Brada, P. (2009). Automated versioning in osgi: A mechanism for component software consistency guarantee. In EUROMICRO-SEAA, pages 428- 435.
  5. Becker, S., Koziolek, H., and Reussner, R. (2009). The palladio component model for model-driven performance prediction. Journal of Systems and Software, 82(1):3 - 22. Special Issue: Software Performance - Modeling and Analysis.
  6. Becker, S., Koziolek, H., and Reussner, R. (2009). The palladio component model for model-driven performance prediction. Journal of Systems and Software, 82(1):3 - 22. Special Issue: Software Performance - Modeling and Analysis.
  7. Bondarev, E., Chaudron, M. R., and de With, P. H. (2006). Compositional performance analysis of componentbased systems on heterogeneous multiprocessor platforms. In Proceedings of Euromicro conference on Software Engineering and Advanced Applications, pages 81-91. IEEE Computer Society.
  8. Bondarev, E., Chaudron, M. R., and de With, P. H. (2006). Compositional performance analysis of componentbased systems on heterogeneous multiprocessor platforms. In Proceedings of Euromicro conference on Software Engineering and Advanced Applications, pages 81-91. IEEE Computer Society.
  9. Brada, P. (2008). The CoSi component model: Reviving the black-box nature of components. In Proceedings of the 11th International Symposium on Component Based Software Engineering, number 5282 in LNCS, Karlsruhe, Germany. Springer Verlag.
  10. Brada, P. (2008). The CoSi component model: Reviving the black-box nature of components. In Proceedings of the 11th International Symposium on Component Based Software Engineering, number 5282 in LNCS, Karlsruhe, Germany. Springer Verlag.
  11. Chung, L., Nixon, B. A., Yu, E., and Mylopoulos, J. (1999). Non-Functional Requirements in Software Engineering. Series: International Series in Software Engineering, Vol. 5, Springer, 476 p, ISBN: 978-0-7923-8666- 7.
  12. Chung, L., Nixon, B. A., Yu, E., and Mylopoulos, J. (1999). Non-Functional Requirements in Software Engineering. Series: International Series in Software Engineering, Vol. 5, Springer, 476 p, ISBN: 978-0-7923-8666- 7.
  13. Franch, X. (1998). Systematic formulation of nonfunctional characteristics of software. In Proceedings of International Conference on Requirements Engineering (ICRE), pages 174-181.
  14. Franch, X. (1998). Systematic formulation of nonfunctional characteristics of software. In Proceedings of International Conference on Requirements Engineering (ICRE), pages 174-181.
  15. García, J. M., Ruiz, D., Ruiz-Cortés, A., Martín-Díaz, O., and Resinas, M. (2007). An hybrid, qos-aware discovery of semantic web services using constraint programming. In ICSOC 7807: Proceedings of the 5th international conference on Service-Oriented Computing, Springer-Verlag Berlin, Heidelberg 2007, ISBN: 978-3-540-74973-8, pages 69-80, Berlin, Heidelberg. Springer-Verlag.
  16. García, J. M., Ruiz, D., Ruiz-Cortés, A., Martín-Díaz, O., and Resinas, M. (2007). An hybrid, qos-aware discovery of semantic web services using constraint programming. In ICSOC 7807: Proceedings of the 5th international conference on Service-Oriented Computing, Springer-Verlag Berlin, Heidelberg 2007, ISBN: 978-3-540-74973-8, pages 69-80, Berlin, Heidelberg. Springer-Verlag.
  17. Gu, X., Nahrstedt, K., Yuan, W., Wichadakul, D., and Xu, D. (2001). An xml-based quality of service enabling language for the web. Technical report, University of Illinois at Urbana-Champaign, Champaign, IL, USA.
  18. Gu, X., Nahrstedt, K., Yuan, W., Wichadakul, D., and Xu, D. (2001). An xml-based quality of service enabling language for the web. Technical report, University of Illinois at Urbana-Champaign, Champaign, IL, USA.
  19. ISO/IEC (2001). ISO/IEC 9126: Informational technology - product quality - part1: Quality model, international standard iso/iec 9126, international standard organization.
  20. ISO/IEC (2001). ISO/IEC 9126: Informational technology - product quality - part1: Quality model, international standard iso/iec 9126, international standard organization.
  21. Jez?ek, K. (2010a). A complex meta-model for extrafunctional properties concerning common data types their comparing and binding. In 2nd World Congress on Software Engineering (WCSE 2010), Volume 2, pages: 71-74,ISBN:978-0-7695-4303-1.
  22. Jez?ek, K. (2010a). A complex meta-model for extrafunctional properties concerning common data types their comparing and binding. In 2nd World Congress on Software Engineering (WCSE 2010), Volume 2, pages: 71-74,ISBN:978-0-7695-4303-1.
  23. Jez?ek, K. (2010b). Universal extra-functional properties repository, model overview and implementation. In Proceedings of the International Conference on Knowledge Management and Information Sharing (KMIS 2010), pages: 382-385,ISBN: 978-989-8425- 30-0.
  24. Jez?ek, K. (2010b). Universal extra-functional properties repository, model overview and implementation. In Proceedings of the International Conference on Knowledge Management and Information Sharing (KMIS 2010), pages: 382-385,ISBN: 978-989-8425- 30-0.
  25. Jezek, K., Brada, P., and Stepan, P. (2010). 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), Electronic Notes in Theoretical Computer Science (ENTCS) Volume 264, page 55-71, ISSN: 1571- 0661, pages 55-71.
  26. Jezek, K., Brada, P., and Stepan, P. (2010). 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), Electronic Notes in Theoretical Computer Science (ENTCS) Volume 264, page 55-71, ISSN: 1571- 0661, pages 55-71.
  27. Lamanna, D. D., Skene, J., and Emmerich, W. (2003). Slang: A language for defining service level agreements. Future Trends of Distributed Computing Systems, IEEE International Workshop, 0:100.
  28. Lamanna, D. D., Skene, J., and Emmerich, W. (2003). Slang: A language for defining service level agreements. Future Trends of Distributed Computing Systems, IEEE International Workshop, 0:100.
  29. Lau, K. K. and Ukis, V. (2006). Defining and checking deployment contracts for software components. In Proceedings of the 9th International Symposium on Component-Based Software Engineering, volume 4063 of LNCS, pages 1-16.
  30. Lau, K. K. and Ukis, V. (2006). Defining and checking deployment contracts for software components. In Proceedings of the 9th International Symposium on Component-Based Software Engineering, volume 4063 of LNCS, pages 1-16.
  31. Mohammad, M. and Alagar, V. S. (2008). TADL - an architecture description language for trustworthy component-based systems. In ECSA 7808: Proceedings of the 2nd European conference on Software Architecture, pages 290-297. Springer.
  32. Mohammad, M. and Alagar, V. S. (2008). TADL - an architecture description language for trustworthy component-based systems. In ECSA 7808: Proceedings of the 2nd European conference on Software Architecture, pages 290-297. Springer.
  33. Muskens, J., Chaudron, M. R., and Lukkien, J. J. (2005). Component-Based Software Development for Embedded Systems, chapter A Component Framework for Consumer Electronics Middleware, pages 164-184. Springer Verlag.
  34. Muskens, J., Chaudron, M. R., and Lukkien, J. J. (2005). Component-Based Software Development for Embedded Systems, chapter A Component Framework for Consumer Electronics Middleware, pages 164-184. Springer Verlag.
  35. OMG (2008). UML profile for modeling quality of service and fault tolerance characteristics and mechanism specification. Technical report, OMG - Object Management Group.
  36. OMG (2008). UML profile for modeling quality of service and fault tolerance characteristics and mechanism specification. Technical report, OMG - Object Management Group.
  37. Röttger, S. and Zschaler, S. (2003). CQML+: Enhancements to CQML. In Bruel, J.-M., editor, Proc. 1st Int'l Workshop on Quality of Service in ComponentBased Software Engineering, Toulouse, France, pages 43-56. Cépaduès- Óditions.
  38. Röttger, S. and Zschaler, S. (2003). CQML+: Enhancements to CQML. In Bruel, J.-M., editor, Proc. 1st Int'l Workshop on Quality of Service in ComponentBased Software Engineering, Toulouse, France, pages 43-56. Cépaduès- Óditions.
  39. Sentilles, S., Stepan, P., Carlson, J., and Crnkovic, I. (2009). Integration of extra-functional properties in component models. 12th International Symposium on Component Based Software Engineering (CBSE 2009), LNCS 5582.
  40. Sentilles, S., Stepan, P., Carlson, J., and Crnkovic, I. (2009). Integration of extra-functional properties in component models. 12th International Symposium on Component Based Software Engineering (CBSE 2009), LNCS 5582.
  41. Spring (2010). Spring Framework, ver.3, Reference Documentation. Spring Comunity, ver. 3 edition. Available at http://static.springsource.org/spring/docs/3.0.x/springframework-reference/html/.
  42. Spring (2010). Spring Framework, ver.3, Reference Documentation. Spring Comunity, ver. 3 edition. Available at http://static.springsource.org/spring/docs/3.0.x/springframework-reference/html/.
  43. Szyperski, C., (with Dominik Gruntz, and Murer), S. (2002). Component Software - Beyond ObjectOriented Programming: Second Edition. AddisonWesley / ACM Press, 624 pages, ISBN-13: 978- 0201745726.
  44. Szyperski, C., (with Dominik Gruntz, and Murer), S. (2002). Component Software - Beyond ObjectOriented Programming: Second Edition. AddisonWesley / ACM Press, 624 pages, ISBN-13: 978- 0201745726.
  45. Yan, J. and Piao, J. (2009). Towards qos-based web services discovery. In Service-Oriented Computing ICSOC 2008 Workshops, Lecture Notes in Computer Science, 2009, Volume 5472/2009, 200-210, ISBN: 978-3-642- 01246-4.
  46. Yan, J. and Piao, J. (2009). Towards qos-based web services discovery. In Service-Oriented Computing ICSOC 2008 Workshops, Lecture Notes in Computer Science, 2009, Volume 5472/2009, 200-210, ISBN: 978-3-642- 01246-4.
Download


Paper Citation


in Harvard Style

Ježek K. and Brada P. (2011). CORRECT MATCHING OF COMPONENTS WITH EXTRA-FUNCTIONAL PROPERTIES - A Framework Applicable to a Variety of Component Models . In Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8425-57-7, pages 155-166. DOI: 10.5220/0003468401550166


in Harvard Style

Ježek K. and Brada P. (2011). CORRECT MATCHING OF COMPONENTS WITH EXTRA-FUNCTIONAL PROPERTIES - A Framework Applicable to a Variety of Component Models . In Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8425-57-7, pages 155-166. DOI: 10.5220/0003468401550166


in Bibtex Style

@conference{enase11,
author={Kamil Ježek and Přemek Brada},
title={CORRECT MATCHING OF COMPONENTS WITH EXTRA-FUNCTIONAL PROPERTIES - A Framework Applicable to a Variety of Component Models},
booktitle={Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2011},
pages={155-166},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003468401550166},
isbn={978-989-8425-57-7},
}


in Bibtex Style

@conference{enase11,
author={Kamil Ježek and Přemek Brada},
title={CORRECT MATCHING OF COMPONENTS WITH EXTRA-FUNCTIONAL PROPERTIES - A Framework Applicable to a Variety of Component Models},
booktitle={Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2011},
pages={155-166},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003468401550166},
isbn={978-989-8425-57-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - CORRECT MATCHING OF COMPONENTS WITH EXTRA-FUNCTIONAL PROPERTIES - A Framework Applicable to a Variety of Component Models
SN - 978-989-8425-57-7
AU - Ježek K.
AU - Brada P.
PY - 2011
SP - 155
EP - 166
DO - 10.5220/0003468401550166


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - CORRECT MATCHING OF COMPONENTS WITH EXTRA-FUNCTIONAL PROPERTIES - A Framework Applicable to a Variety of Component Models
SN - 978-989-8425-57-7
AU - Ježek K.
AU - Brada P.
PY - 2011
SP - 155
EP - 166
DO - 10.5220/0003468401550166