Composition Management Interfaces for a Predictable Assembly

  • Xabier Aretxandieta
  • Goiuria Sagardui
  • Franck Barbier
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4829)


Software system construction based on the reuse of software components has to be done with flexibility enough to control the desired behavior of the resulting assemblies. Applications created by component composition usually depend on a strict method of construction in which COTS or in-house components are only integrated with great difficulty. Actually, reliable assemblies result from being able to observe the inner workings of components and from getting an in-depth understanding of them. The need for fine-grained tailoring and adequate setups is also therefore essential. To enhance the usability, the interoperability and the runtime adaptability of components, composition management interfaces are proposed. They aim at preparing and guiding composition by exposing information about components’ inners (states and transitions), which in turn allow for the making of rules that formalize appropriate composition conditions. Finally, state-based expressions for composition are built on a set of primitives discussed in the paper.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Crnkovic, I., Larsson, M.: Building Reliable Component-Based Software Systems. Artech House publisher (2002) ISBN1-58053-327-2Google Scholar
  2. 2.
    Becker, S., Brogi, A., Gorton, I., Overhage, S., Romanovsky, A., Tivoli, M.: Towards an Engineering Approach to Component Adaptation. In: Reussner, R., Stafford, J.A., Szyperski, C.A. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 193–215. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Speck, A., Pulvermuller, E., Jerger, M., Franczyk, B.: Component composition validation. Int. J. Appl. Math. Comput. Sci. 12(4), 581–589 (2002)MATHGoogle Scholar
  4. 4.
    Barbier, F.: Web-Based COTS Component Evaluation, proceedings of The 3rd International Conference on COTS-Based Software Systems. In: Kazman, R., Port, D. (eds.) ICCBSS 2004. LNCS, vol. 2959, pp. 2–4. Springer, Heidelberg (2004)Google Scholar
  5. 5.
    Barbier, F.: An Enhanced Composition Model for Conversational Enterprise JavaBeans. In: Gorton, I., Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2006. LNCS, vol. 4063, Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Lau, K.-K., Elizondo, P.V., ZhengWang,: Exogenous Connectors for Software Components. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 90–106. Springer, Heidelberg (2005)Google Scholar
  7. 7.
    Szyperski, C., Gruntz, D., Murer, S.: Component Software - Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading (2002)Google Scholar
  8. 8.
    OMG Unified Modeling Language: Superstructure, version 2.0, Final Adopted specification, ptc/03-08-02 (2007),
  9. 9.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Element of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)Google Scholar
  10. 10.
    Meyer, B.: Object-Oriented Software Construction, 1st edn. Prentice-Hall, Englewood Cliffs (1988) ISBN: 0-13-629031-0Google Scholar
  11. 11.
    Wallnau, K.C., PECT: Volume III: A Technology for Predictable Assembly from Certifiable Components (PACC). Technical Report CMY/SEI-, TR-009 ESC-TR-2003-009 (2003)Google Scholar
  12. 12.
    Zhang, S., Goddard, S.: xSADL: An Architecture Description Language to Specify Component-Based Systems. ITCC (2) 443–448 (2005)Google Scholar
  13. 13.
    Sofware Compositon Group (2007),
  14. 14.
    Assmann, U.: Invasive Software Composition. Springer, Heidelberg (2003) ISBN:3-540-44385-1MATHGoogle Scholar
  15. 15.
    Bachmann, F., Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Robert, J., Seacord, R., Wallnau, K.: Volume II: Technical Concepts of Component-Based Software Engineering, 2nd ed (CMU/SEI-2000-TR-008, ADA379930). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University (2000)Google Scholar
  16. 16.
  17. 17.
    Inverardi, P., Wolf, A., Yankelevich, D.: Static checking of system behaviors using derived component assumptions. ACM Transactions on Software Engineering and Methodology 9(3), 239–272 (2000)CrossRefGoogle Scholar
  18. 18.
    Nierstrasz, O., Tsichritzis, D.: Object-Oriented Software Composition. Prentice Hall, Englewood Cliffs (1995) ISBN: 0-13-220674-9MATHGoogle Scholar
  19. 19.
    Hamlet, D.: Defining ”Predictable Assembly”. In: Gorton, I., Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2006. LNCS, vol. 4063, pp. 3–540. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  20. 20.
    Barbier, F., Aretxandieta, X.: State-based Composition in UML 2, submitted to IJSEKEGoogle Scholar
  21. 21.
    Sagardui, G., Aretxandieta, X.: Leire Etxeberria Components Behaviour Specification and Validation with Abstract State Machines. In: IBIMA 2005 Conference on Theory and Practice of Software Engineering (TPSE), El Cairo, December 13-15, 2005 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Xabier Aretxandieta
    • 1
  • Goiuria Sagardui
    • 1
  • Franck Barbier
    • 2
  1. 1.Mondragon Goi Eskola Politeknikoa, Informatika Saila, 20500 MondragonSpain
  2. 2.PauWare Research Group, UPPA, BP 1155, 64031 Pau CEDEXFrance

Personalised recommendations