Context-Based Adaptation of Component Behavioural Interfaces

In the development of component-based systems, components need to be adapted in most of the occasions to work under certain conditions which were not initially predicted by their developers. These conditions are likely to change at runtime, therefore it is very important to provide systems with the ability to alter their behaviour while they are running, depending on the changing conditions of the environment. This paper presents an expressive and graphically-based notation to specify flexible adaptation policies (or mappings) between the interfaces of two or more components to be integrated. In a second step, we propose an algorithm which automatically derives the resulting adaptor from a mapping, and a description of component interfaces. We illustrate our proposal using an E-book system.

[1]  Antonio Brogi,et al.  Dynamic Contextual Adaptation , 2007, Electron. Notes Theor. Comput. Sci..

[2]  Gregory D. Abowd,et al.  The context toolkit: aiding the development of context-enabled applications , 1999, CHI '99.

[3]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[4]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[5]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[6]  Antonio Brogi,et al.  A formal approach to component adaptation , 2005, J. Syst. Softw..

[7]  J. Bergstra,et al.  Handbook of Process Algebra , 2001 .

[8]  Bruce Bukovics Pro WF: Windows Workflow in NET 3.5 , 2007 .

[9]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[10]  Farhad Arbab,et al.  A Channel-based Coordination Model for Components , 2003, FOCLASA.

[11]  Harry Chen,et al.  An Intelligent Broker for Context-Aware Systems , 2003 .

[12]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[13]  Mahadev Satyanarayanan,et al.  IEEE Workshop on mobile computing systems and applications , 1995, IEEE Wirel. Commun..

[14]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[15]  Paola Inverardi,et al.  Deadlock-free software architectures for COM/DCOM Applications , 2003, J. Syst. Softw..

[16]  Steffen Becker,et al.  Special Issue on Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities (WCAT 06) , 2007 .

[17]  Ralf H. Reussner,et al.  Generating Adapters for Concurrent Component Protocol Synchronisation , 2002, FMOODS.

[18]  Michel Wermelinger,et al.  Connectors for Mobile Programs , 1998, IEEE Trans. Software Eng..

[19]  W. F. Osgood Introduction to the calculus , 1922 .

[20]  Dimitra Giannakopoulou,et al.  Behaviour Analysis of Software Architectures , 1999, WICSA.

[21]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[22]  A. Harter,et al.  Teleporting - Making Applications Mobile , 1994, 1994 First Workshop on Mobile Computing Systems and Applications.

[23]  Abhaya Asthana,et al.  An Indoor Wireless System for Personalized Shopping Assistance , 1994, 1994 First Workshop on Mobile Computing Systems and Applications.

[24]  Joachim Parrow,et al.  An Introduction to the π-Calculus , 2001, Handbook of Process Algebra.

[25]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[26]  Anind K. Dey,et al.  UbiComp 2003: Ubiquitous Computing , 2003, Lecture Notes in Computer Science.

[27]  Gian Pietro Picco,et al.  On Calculi for Context-Aware Coordination , 2004, COORDINATION.

[28]  A. Watson,et al.  OMG (Object Management Group) architecture and CORBA (common object request broker architecture) specification , 2002 .

[29]  Carlos Canal,et al.  Synchronizing Behavioural Mismatch in Software Composition , 2006, FMOODS.

[30]  Bill N. Schilit,et al.  Context-aware computing applications , 1994, Workshop on Mobile Computing Systems and Applications.