Skip to main content
Springer Nature Link
Log in

Defining Component Protocols with Service Composition: Illustration with the Kmelia Model

  • Conference paper
Software Composition (SC 2007)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4829))

Included in the following conference series:

  • 284 Accesses

Abstract

We address in this article the description and usage of component protocols viewed as specific services. In addition to inter-component service composition, our Kmelia component model supports vertical structuring mechanisms that allow service composition inside a component. The structuring mechanisms (namely state annotation and transition annotation) are then used to describe protocols which are considered here as component usage guides. These structuring mechanisms are integrated in the support language of our component model and are implemented in our COSTO toolbox. We show how protocol analysis is performed in order to detect some inconsistencies that may be introduced by the component designers.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)

    Article  Google Scholar 

  2. André, P., Ardourel, G., Attiogbé, C.: Coordination and Adaptation for Hierarchical Components and Services. In: WCAT 2006. Third International ECOOP Workshop on Coordination and Adaptation Techniques for Software Entities, pp. 15–23 (2006)

    Google Scholar 

  3. Attie, P.C., Lorenz, D.H.: Establishing Behavioral Compatibility of Software Components without State Explosion. Technical Report NU-CCIS-03-02, College of Computer and Information Science, Northeastern University (2003)

    Google Scholar 

  4. Attiogbé, C., André, P., Ardourel, G.: Checking Component Composability. In: Löwe, W., Südholt, M. (eds.) SC 2006. LNCS, vol. 4089, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  5. Becker, S., Overhage, S., Reussner, R.: Classifying Software Component Interoperability Errors to Support Component Adaption. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 68–83. Springer, Heidelberg (2004)

    Google Scholar 

  6. Beugnard, A., Jézéquel, J-M., Plouzeau, N., Watkins, D.: Making Components Contract Aware. Computer 32(7), 38–45 (1999)

    Article  Google Scholar 

  7. Canal, C., Fuentes, L., Pimentel, E., Troya, J.M., Vallecillo, A.: Adding Roles to CORBA Objects. IEEE Trans. Softw. Eng. 29(3), 242–260 (2003)

    Article  Google Scholar 

  8. Giannakopoulou, D., Kramer, J., Cheung, S-C.: Behaviour Analysis of Distributed Systems Using the Tracta Approach. ASE 6(1), 7–35 (1999)

    Google Scholar 

  9. Meyer, B.: The Grand Challenge of Trusted Components. In: Proceedings of 25th International Conference on Software Engineering, pp. 660–667. IEEE Computer Society, Los Alamitos (2003)

    Chapter  Google Scholar 

  10. OMG. The OMG Unified Modeling Language Specification, V2.0 Rfp. Superstructure Specification Infrastructure Specification (2005), available at http://www.omg.org/docs/ptc/05-07-04.pdf , available at http://www.omg.org/docs/ptc/05-07-04.pdf

  11. Pavel, S., Noye, J., Poizat, P., Royer, J-C.: Java Implementation of a Component Model with Explicit Symbolic Protocols. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Plasil, F., Visnovsky, S.: Behavior protocols for software components, 2002. IEEE Transactions on SW Engineering 28(9) (2002)

    Google Scholar 

  13. Südholt, M.: A Model of Components with Non-regular Protocols. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, pp. 99–113. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  14. Yellin, D.M., Strom, R.E.: Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems 19(2), 292–333 (1997)

    Article  Google Scholar 

  15. Zimmermann, W., Schaarschmidt, M.: Checking of Component Protocols in Component-Based Systems. In: Löwe, W., Südholt, M. (eds.) SC 2006. LNCS, vol. 4089, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LINA CNRS FRE 2729 - University of Nantes, F-44322 Nantes Cedex, France

    Pascal André, Gilles Ardourel & Christian Attiogbé

Authors
  1. Pascal André
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gilles Ardourel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christian Attiogbé
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Markus Lumpe Wim Vanderperren

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

André, P., Ardourel, G., Attiogbé, C. (2007). Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. In: Lumpe, M., Vanderperren, W. (eds) Software Composition. SC 2007. Lecture Notes in Computer Science, vol 4829. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77351-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-77351-1_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-77350-4

  • Online ISBN: 978-3-540-77351-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics