Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET

Developing software systems by assembling pre-existing software components (COTS), requires a composition and adaptation process of the component interfaces to solve both syntactical and behavioural mismatches. The use of context-aware computing is important in applications where the context changes depending on the conditions of the environment, as is the case in mobile and pervasive computing. These conditions are likely to change at run-time, therefore the systems developed must be able to alter their behaviour at run-time. In our proposal we outline an approach which supports model-based context-aware composition and adaptation of software components and services implemented using Windows Workflow Foundation (WF). To illustrate the proposal we depict a realistic and complex case study applied to mobile devices.

[1]  Javier Cámara,et al.  Context-Based Adaptation of Component Behavioural Interfaces , 2007, COORDINATION.

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

[3]  Dimitra Giannakopoulou,et al.  Software architecture directed behaviour analysis , 1998, Proceedings Ninth International Workshop on Software Specification and Design.

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

[5]  Antonio Brogi,et al.  Automated Generation of BPEL Adapters , 2006, CIbSE.

[6]  Vicente Pelechano,et al.  Tool Support for Model Driven Development of Pervasive Systems , 2007, Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07).

[7]  Valérie Issarny,et al.  Context-Aware Service Composition in Pervasive Computing Environments , 2005, RISE.

[8]  Gregory D. Abowd,et al.  Towards a Better Understanding of Context and Context-Awareness , 1999, HUC.

[9]  David S. Rosenblum,et al.  Automated Generation of Context-Aware Tests , 2007, 29th International Conference on Software Engineering (ICSE'07).

[10]  George Buchanan,et al.  Compressing GPS Data on Mobile Devices , 2006, OTM Workshops.

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

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

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

[14]  Thomas Erl,et al.  Service-Oriented Architecture: Concepts, Technology, and Design , 2005 .

[15]  Ben Margolis,et al.  SOA for the Business Developer: Concepts, BPEL, and SCA (Business Developers series) , 2007 .

[16]  Gianluigi Zavattaro,et al.  Process Algebraic Specification of the New Asynchronous CORBA Messaging Service , 1999, ECOOP.

[17]  Fabio Casati,et al.  Semi-automated adaptation of service interactions , 2007, WWW '07.

[18]  Angela Nicoara,et al.  PROSE: A middleware platform for dynamic adaptation , 2005 .

[19]  Carlos Canal,et al.  Software Adaptation , 2006, Obj. Logiciel Base données Réseaux.

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

[21]  Kenn Scribner.  Microsoft Windows Workflow Foundation step by step , 2007 .

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

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

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

[25]  Radu Mateescu,et al.  CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes , 2007, CAV.

[26]  Gwen Salaün,et al.  Behavioral adaptation of component compositions based on process algebra encodings , 2007, ASE '07.

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

[28]  Javier Cubo,et al.  A Model-Based Approach to the Verification and Adaptation of WF/.NET Components , 2008, Electron. Notes Theor. Comput. Sci..

[29]  Carlos Canal,et al.  Special Issue on Coordination and Adaptation Techniques , 2006 .

[30]  Philippe A. Palanque,et al.  A Formal Specification of the CORBA Event Service , 2000, FMOODS.

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

[32]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..