Skip to main content
SpringerLink
Log in

A Model of Components with Non-regular Protocols

  • Conference paper
Software Composition (SC 2005)

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

Included in the following conference series:

Abstract

Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such specifications are typically limited to finite-state protocols because more expressive notions of protocol do not support reasonable basic composition properties, such as compatibility and substitutability.

In this paper, we present first results of the integration into component interfaces of a notion of non-regular protocols based on “non-regular process types” introduced by Puntigam [17]. More concretely, we present three contributions: (i) a motivation of the usefulness of non-regular protocols in the context of peer-to-peer applications, (ii) a language for non-regular protocols and an outline of a suitable formal definition, (iii) a discussion of basic composition properties and an analysis of how to adequately integrate protocol-modifying operators in the model.

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. Aberer, K., Despotovic, Z.: Managing trust in a Peer-2-Peer information system. In: Paques, H., Liu, L., Grossman, D. (eds.) Proceedings of the Tenth International Conference on Information and Knowledge Management (CIKM 2001), New York, November 5–10, 2001, pp. 310–317. ACM Press, New York (2001)

    Google Scholar 

  2. Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.-B.: An open component model and its support in java. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 7–22. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Gruhn, V. (ed.) Proc. of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC/FSE 2001), September 10-14. Software Engineering Notes, vol. 26(5), pp. 109–120. ACM Press, New York (2001)

    Google Scholar 

  4. De Michiel, L.G., et al.: Enterprise JavaBeansTM Specification. SUN Microsystems, Version 2.1, Final Release (November 2003)

    Google Scholar 

  5. Douence, R., Fritz, T., Loriant, N., Menaud, J.-M., Sègura, M., Südholt, M.: An expressive aspect language for system applications with Arachne. In: Proc. of 4th International Conference on Aspect-Oriented Software Development (AOSD 2005). ACM Press, New York (2005)

    Google Scholar 

  6. Farías, A.: Un modèle de composants avec des protocoles explicites. PhD thesis, École des Mines de Nantes/Université de Nantes (December 2003)

    Google Scholar 

  7. Farías, A., Südholt, M.: On components with explicit protocols satisfying a notion of correctness by construction. In: International Symposium on Distributed Objects and Applications (DOA). LNCS, vol. 2519, pp. 995–1006. Springer, Heidelberg (2002)

    Google Scholar 

  8. Farías, A., Südholt, M.: Integrating protocol aspects with software components to address dependability concerns. Technical Report 04/6/INFO, École des Mines de Nantes (November 2004)

    Google Scholar 

  9. Harel, D.: Statecharts: A visual formalism for complex system. Science of Computer Programming 8(3), 231–274 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  10. Kiczales, G., et al.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  11. Kruchten, P.: Rational Unified Process: an Introduction. Addison-Wesley, Reading (1998)

    Google Scholar 

  12. Maréchal, O., Poizat, P., Royer, J.-C.: Checking asynchronously communicating components using symbolic transition systems. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3291, pp. 1502–1519. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  13. Nierstrasz, O.: Regular types for active objects. In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA). ACM SigPlan Notices, vol. 28(10), pp. 1–15. ACM Press, New York (1993)

    Google Scholar 

  14. Pavel, S., Noyé, 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, pp. 115–124. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  15. Plasil, F., Visnovsky, S.: Behavior protocols for software components. In: Transactions on Software Engineering, January 2002. IEEE, Los Alamitos (2002)

    Google Scholar 

  16. Puntigam, F.: Coordination requirements expressed in types for active objects. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 367–388. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  17. Puntigam, F.: Non-regular process types. In: Amestoy, P.R., Berger, P., Daydé, M., Duff, I.S., Frayssé, V., Giraud, L., Ruiz, D. (eds.) Euro-Par 1999. LNCS, vol. 1685, p. 1334. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  18. Puntigam, F.: State information in statically checked interfaces. In: 8th Int. WS on Component-Oriented Programming at ECOOP (July 2003)

    Google Scholar 

  19. Reussner, R.H.: Counter-constraint finite state machines: A new model for resource-bounded component protocols. In: Grosky, W.I., Plášil, F. (eds.) SOFSEM 2002. LNCS, vol. 2540, pp. 20–40. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  20. Ripeanu, M., Foster, I., Iamnitchi, A.: Mapping the Gnutella network: Properties of large-scale peer-to-peer systems and implications for system design. IEEE Internet Computing Journal 6(1) (2002) (Special issue on peer-to-peer networking)

    Google Scholar 

  21. Schmidt, H.W., Reussner, R.: Generating adapters for concurrent component protocol synchronisation. In: Proc. of the 5th IFIP International conference on Formal Methods for Open Object-based Distributed Systems, March 2002, pp. 213–229. Kluwer, Dordrecht (2002)

    Google Scholar 

  22. Seco, J.C., Caires, L.: A basic model of typed components. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol. 1850, pp. 108–128. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  23. Walker, R.J., Viggers, K.: Implementing protocols via declarative event patterns. In: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE-12 (2004)

    Google Scholar 

  24. Wydaeghe, B.: PACOSUITE — Component Composition Based on Composition Patterns and Usage Scenarios. PhD thesis, Vrije Universiteit Brussel (VUB) (November 2001)

    Google Scholar 

  25. Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions of Programming Languages and Systems 19(2), 292–333 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INRIA/EMN, LINA, OBASCO project, Département Informatique, École des Mines de Nantes, 4 rue Alfred Kastler, 44307, Nantes cedex 3, France

    Mario Südholt

Authors
  1. Mario Südholt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Zurich Research Laboratory, IBM Research GmbH, Säumerstrasse 4, 8803, Rüschlikon, Switzerland

    Thomas Gschwind

  2. Technische Universität Dresden, Nöthnitzer Str. 46, D-01187, Dresden, Germany

    Uwe Aßmann

  3. Software Composition Group, University of Bern, Switzerland

    Oscar Nierstrasz

Rights and permissions

Reprints and permissions

Copyright information

© 2005 IFIP International Federation for Information Processing

About this paper

Cite this paper

Südholt, M. (2005). A Model of Components with Non-regular Protocols. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds) Software Composition. SC 2005. Lecture Notes in Computer Science, vol 3628. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11550679_8

Download citation

  • DOI: https://doi.org/10.1007/11550679_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28748-3

  • Online ISBN: 978-3-540-28749-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation