Abstract
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for the adaptation of heterogeneous components that present mismatching interaction behaviour. The proposed adaptation methodology relies on: (1) the inclusion of behavioural types in component interfaces, to describe the interaction behaviour of components, (2) a simple high-level notation for adaptor specification, to express the intended connection between component interfaces, and (3) a formal definition of adaptor, a component-in-the-middle capable of making two components interoperate successfully according to a given specification.
This work has been partly supported by the project NAPOLI funded by the Italian Ministry of Instruction, University and Research (MIUR), and the projects TIC2002-4309-C02-02 and TIC2001-2705-C03-02 funded by the Spanish Ministry of Science and Technology (MCYT).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)
Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software, Special Issue on Automated Component-Based Software Engineering (2003) (in press); A preliminary version of this paper was published in Bishop, J.M. (ed.): CD 2002. LNCS, vol. 2370, pp. 185–199. Springer, Heidelberg (2002)
Brown, A.W., Wallnau, K.C.: The current state of CBSE. IEEE Software 15(5), 37–47 (1998)
Campbell, G.H.: Adaptable components. In: ICSE 1999, pp. 685–686. IEEE Press, Los Alamitos (1999)
Heineman, G.T.: An evaluation of component adaptation techniques. In: ICSE 1999 Workshop on CBSE (1999)
Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122–138. Springer, Heidelberg (1998)
Inverardi, P., Tivoli, M.: Automatic synthesis of deadlock free connectors for COM/DCOM applications. In: ESEC/FSE 2001, ACM Press, New York (2001)
Lopes, A., Wermelinger, M., Fiadeiro, J.L.: Higher-order connectors. ACM Transactions on Software Engineering and Methodology 12(1), 64–104 (2003)
Magee, J., Eisenbach, S., Kramer, J.: Modeling Darwin in the π-calculus. In: Birman, K.P., Mattern, F., Schiper, A. (eds.) Dagstuhl Seminar 1994. LNCS, vol. 938, pp. 133–152. Springer, Heidelberg (1995)
Morel, B., Alexander, P.: Automating component adaptation for reuse. In: Proc. IEEE International Conference on Automated Software Engineering (ASE 2003), pp. 142–151. IEEE Computer Society Press, Los Alamitos (2003)
Vallecillo, A., Hernández, J., Troya, J.M.: New issues in object interoperability. In: Malenfant, J., Moisan, S., Moreira, A.M.D. (eds.) ECOOP 2000 Workshops. LNCS, vol. 1964, pp. 256–269. Springer, Heidelberg (2000)
Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the behavior of objects and components using session types. ENTCS 68(3) (2003)
Yellin, D.M., Strom, R.E.: Protocol specifications and components adaptors. ACM Transactions on Programming Languages and Systems 19(2), 292–333 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brogi, A., Canal, C., Pimentel, E. (2004). Behavioural Types and Component Adaptation. In: Rattray, C., Maharaj, S., Shankland, C. (eds) Algebraic Methodology and Software Technology. AMAST 2004. Lecture Notes in Computer Science, vol 3116. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27815-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-27815-3_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22381-8
Online ISBN: 978-3-540-27815-3
eBook Packages: Springer Book Archive