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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
De Michiel, L.G., et al.: Enterprise JavaBeansTM Specification. SUN Microsystems, Version 2.1, Final Release (November 2003)
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)
Farías, A.: Un modèle de composants avec des protocoles explicites. PhD thesis, École des Mines de Nantes/Université de Nantes (December 2003)
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)
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)
Harel, D.: Statecharts: A visual formalism for complex system. Science of Computer Programming 8(3), 231–274 (1987)
Kiczales, G., et al.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Kruchten, P.: Rational Unified Process: an Introduction. Addison-Wesley, Reading (1998)
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)
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)
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)
Plasil, F., Visnovsky, S.: Behavior protocols for software components. In: Transactions on Software Engineering, January 2002. IEEE, Los Alamitos (2002)
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)
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)
Puntigam, F.: State information in statically checked interfaces. In: 8th Int. WS on Component-Oriented Programming at ECOOP (July 2003)
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)
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)
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)
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)
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)
Wydaeghe, B.: PACOSUITE — Component Composition Based on Composition Patterns and Usage Scenarios. PhD thesis, Vrije Universiteit Brussel (VUB) (November 2001)
Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions of Programming Languages and Systems 19(2), 292–333 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)