COMPATIBILITY VERIFICATION OF COMPONENTS IN TERMS OF FUNCTIONAL AND EXTRA-FUNCTIONAL PROPERTIES - Tool Support

Kamil Ježek, Přemek Brada

2010

Abstract

Component-based programming, as a technology increasing development speed and decreasing cost of the final product, promises a noticeable improvement in a process of development of large enterprise applications. Even though component-based programming is a promising technology it still has not reached its maturity. The main problem addressed in this paper are compatibility checks of components in terms of functional and extra-functional properties and their insufficient tool support. This paper summarizes a mechanism of component compatibility checks and introduces a tool whose aim is to fill this gap mainly with respect to the phase of testing the assembly of components. The introduced mechanism and the tool allow to check component bindings before deployment into the target environment. It displays a component graph, details of components and highlights incompatibility problems. Hence, the tool validates the presented mechanism and provides useful support for developers when deciding which component to use.

References

  1. Aagedal, J. Ø. (2001). Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo.
  2. Bauml, J. and Brada, P. (2009). Automated versioning in osgi: A mechanism for component software consistency guarantee. In EUROMICRO-SEAA, pages 428- 435.
  3. 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.
  4. Beyer, D., Henzinger, T., and Singh, V. (2007). Algorithms for Interface Synthesis. In CAV 2007, LNCS, pages 4-19. Springer.
  5. 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.
  6. Brada, P. and Valenta, L. (2006). Practical verification of component substitutability using subtype relation. In Proceedings of the 32nd Euromicro SEAA conference, pages 38-45. IEEE Computer Society.
  7. EJB (2006). Enterprise JavaBeans, Version 3.0. EJB Core Contracts and Requirements. Sun Microsystems. JSR220 Final Release.
  8. Fabresse, L., Dony, C., and Huchard, M. (2008). Foundations of a simple and unified component-oriented language. Comput. Lang. Syst. Struct., 34(2-3):130-149.
  9. Hne?tynka, P. and Plás?il, F. (2006). Dynamic reconfiguration and access to services in hierarchical component models. In Proceedings of CBSE 2006, Vasteras, Sweden, LNCS 4063, pages 352-359. Springer-Verlag.
  10. 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 approches to Software Components and Architectures (FESCA 2010).
  11. 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.
  12. OMG (2008). UML profile for modeling quality of service and fault tolerance characteristics and mechanism specification. Technical report, OMG - Object Management Group.
Download


Paper Citation


in Harvard Style

Ježek K. and Brada P. (2010). COMPATIBILITY VERIFICATION OF COMPONENTS IN TERMS OF FUNCTIONAL AND EXTRA-FUNCTIONAL PROPERTIES - Tool Support . In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-06-5, pages 510-514. DOI: 10.5220/0002974505100514


in Bibtex Style

@conference{iceis10,
author={Kamil Ježek and Přemek Brada},
title={COMPATIBILITY VERIFICATION OF COMPONENTS IN TERMS OF FUNCTIONAL AND EXTRA-FUNCTIONAL PROPERTIES - Tool Support},
booktitle={Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2010},
pages={510-514},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002974505100514},
isbn={978-989-8425-06-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - COMPATIBILITY VERIFICATION OF COMPONENTS IN TERMS OF FUNCTIONAL AND EXTRA-FUNCTIONAL PROPERTIES - Tool Support
SN - 978-989-8425-06-5
AU - Ježek K.
AU - Brada P.
PY - 2010
SP - 510
EP - 514
DO - 10.5220/0002974505100514