Abstract
Software adaptation aims at generating software pieces called adaptors to compensate interface and behavioural mismatch between components or services. This is crucial to foster reuse. So far, adaptation techniques have proceeded by computing global adaptors for closed systems made up of a fixed set of components. This is not satisfactory when the systems may evolve, with components entering or leaving it at any time, e.g., for pervasive computing. To enable adaptation on such systems, we propose tool-equipped adaptation techniques for the computation of open systems adaptors. Our proposal also support incremental adaptation to avoid the computation of global adaptors.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
The Adaptor tool (LGPL licence). Available from P. Poizat’s Webpage.
Agha, G.: Special Issue on Adaptive Middleware. CACM 45(6), 30–64 (2002)
Aguirre, N., Maibaum, T.: A Logical Basis for the Specification of Reconfigurable Component-Based Systems. In: Pezzé, M. (ed.) ETAPS 2003 and FASE 2003. LNCS, vol. 2621, Springer, Heidelberg (2003)
Autili, M., Flammini, M., Inverardi, P., Navarra, A., Tivoli, M.: Synthesis of Concurrent and Distributed Adaptors for Component-based Systems. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol. 4344, Springer, Heidelberg (2006)
Back, R.J.: Incremental Software Construction with Refinement Diagrams. Technical Report 660, Turku Center for Computer Science (2005)
Ben Mokhtar, S., Georgantas, N., Issarny, V.: Ad Hoc Composition of User Tasks in Pervasive Computing Environments. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, Springer, Heidelberg (2005)
Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA – Construction of Abstract State Spaces for Petri Nets and Time Petri Nets. International Journal of Production Research 42(14), 2741–2756 (2004)
Bracciali, A., Brogi, A., Canal, C.: A Formal Approach to Component Adaptation. Journal of Systems and Software 74(1), 45–54 (2005)
Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.-B.: The Fractal Component Model and Its Support in Java. Software Practice and Experience 36(11-12), 1257–1284 (2006)
Canal, C., Murillo, J.M., Poizat, P.: Software Adaptation. L’Objet. Special Issue on Software Adaptation 12(1), 9–31 (2006)
Canal, C., Poizat, P., Salaün, G.: Synchronizing Behavioural Mismatch in Software Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, Springer, Heidelberg (2006)
Garavel, H., Lang, F., Mateescu, R.: An Overview of CADP 2001. EASST Newsletter 4, 13–24 (2002)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)
Inverardi, P., Tivoli, M.: Deadlock Free Software Architectures for COM/DCOM Applications. Journal of Systems and Software 65(3), 173–183 (2003)
Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, Heidelberg (1995)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Objet Management Group. Unified Modeling Language: Superstructure. version 2.0, formal/05-07-04 (August 2005)
Poizat, P.: Eclipse Transition Systems. RNRT project STACS deliverable (2006)
Poizat, P., Salaün, G., Tivoli, M.: An Adaptation-based Approach to Incrementally Build Component Systems. In: Proc. of FACS’06 (2006)
Satyanarayanan, M.: Pervasive Computing: Vision and Challenges. IEEE Personal Communications 6(8), 10–17 (2001)
Schmidt, H.W., Reussner, R.H.: Generating Adapters for Concurrent Component Protocol Synchronization. In: Proc. of FMOODS’02, Kluwer, Dordrecht (2002)
Spitznagel, B., Garlan, D.: A Compositional Formalization of Connector Wrappers. In: Proc. of ICSE’03, ACM Press, New York (2003)
Tivoli, M., Autili, M.: SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. L’Objet. 12(1), 77–103 (2006)
Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioural Models from Scenarios. IEEE Transactions on Software Engineering 29(2), 99–115 (2003)
van Glabbeek, R.J., Weijland, W.P.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM 43(3), 555–600 (1996)
Wermelinger, M., Lopes, A., Fiadeiro, J.L.: A Graph Based Architectural (Re)configuration Language. In: Proc. of ESEC/FSE’01, ACM Press, New York (2001)
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
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Poizat, P., Salaün, G. (2007). Adaptation of Open Component-Based Systems. In: Bonsangue, M.M., Johnsen, E.B. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2007. Lecture Notes in Computer Science, vol 4468. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72952-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-72952-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72919-8
Online ISBN: 978-3-540-72952-5
eBook Packages: Computer ScienceComputer Science (R0)