A Model to Design and Verify Context-Aware Adaptive Service Composition

The introduction of mobile clients and context-aware behaviors into Web Service compositions may generate faults and inconsistencies. We introduce an extension of a composition model where context-awareness is made explicit and a number of correctness properties are verifiable. In particular, our extended model enables the verification of properties commonly used to validate context dependent applications. We also propose a set of algorithms to verify these properties efficiently.

[1]  Javier Cubo,et al.  Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET , 2008, 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software.

[2]  Jaeyoung Choi,et al.  A Semantic Interoperable Context Infrastructure Using Web Services , 2007, ICCSA.

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

[4]  Stefan Tai,et al.  The next step in Web services , 2003, CACM.

[5]  Min Liu,et al.  Towards Context-Aware Composition of Web Services , 2006, 2006 Fifth International Conference on Grid and Cooperative Computing (GCC'06).

[6]  Javier Cámara,et al.  ITACA: An integrated toolbox for the automatic composition and adaptation of Web services , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[7]  Claudio de la Riva,et al.  Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking , 2006, Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06).

[8]  Manfred Reichert,et al.  Business Process Execution Language for Web Service (BPEL) , 2006 .

[9]  Stephan Merz,et al.  Model Checking , 2000 .

[10]  Hong Qing Yu,et al.  Semantic Web Services Composition via Planning as Model Checking , 2006 .

[11]  Ernesto Pimentel,et al.  Automatic Generation of Adaptation Contracts , 2009, Electron. Notes Theor. Comput. Sci..

[12]  Maja Vukovic,et al.  Context aware service composition , 2007 .

[13]  Fabio Somenzi,et al.  CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .

[14]  David S. Rosenblum,et al.  Model checking service compositions under resource constraints , 2007, ESEC-FSE '07.

[15]  David S. Rosenblum,et al.  Model-based fault detection in context-aware adaptive applications , 2008, SIGSOFT '08/FSE-16.

[16]  Constance L. Heitmeyer,et al.  Automated consistency checking of requirements specifications , 1996, TSEM.

[17]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[18]  Alfons Kemper,et al.  Towards context-aware adaptable web services , 2004, WWW Alt. '04.

[19]  Bruce H. Thomas,et al.  Developing a Location Based Tourist Guide Application , 2003, ACSW.

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

[21]  Yolande Berbers,et al.  MDD Approach for the Development of Context-Aware Applications , 2007, CONTEXT.

[22]  Huowang Chen,et al.  A Model Checking Tool Embedded into Services Composition Environment , 2006, 2006 Fifth International Conference on Grid and Cooperative Computing (GCC'06).

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