Handling Data-Based Concurrency in Context-Aware Service Protocols

Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose an order in their execution if there exist data dependencies. In this wo rk, we describe a model to formalise context-aware service protocols. We also present a composition language to handle dynamically the concurrent execution of protocols. This language addresses data dependency issues among several protocols concurrently executed on the same user device, using mechanisms based on data semantic matching. Our approach aims at assisting the user in establishing priorities between these dependencies, avoiding the occurrence of deadlock situations. Nevertheless, this process is error-prone, since it requires human intervention. Therefore, we also propose verification techniques to automatically detect possible inconsistencies specified by the user while building the data dependency set. Our approach is supported by a prototype tool we have implemented.

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

[2]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[3]  Lei Liu,et al.  An Approach to Discover Dependencies between Service Operations , 2008, J. Softw..

[4]  Zakaria Maamar,et al.  A context-based mediation approach to compose semantic Web services , 2007, TOIT.

[5]  Robin Milner,et al.  Modal Logics for Mobile Processes , 1991, Theor. Comput. Sci..

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

[7]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

[9]  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.

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

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

[12]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[13]  Zhaohui Wu,et al.  Exploring Dependency between Interfaces in Service Matchmaking , 2007, IEEE International Conference on Services Computing (SCC 2007).

[14]  Béat Hirsbrunner,et al.  Towards a Context-Based Service Composition Framework , 2003, ICWS.

[15]  Frantisek Plasil,et al.  Behavior Protocols for Software Components , 2002, IEEE Trans. Software Eng..

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

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

[19]  Christian Ensel.  A scalable approach to automated service dependency modeling in heterogeneous environments , 2001, Proceedings Fifth IEEE International Enterprise Distributed Object Computing Conference.

[20]  Javier Cubo,et al.  A formal model and composition language for context-aware service protocols , 2009, CASTA '09.

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

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

[23]  Gwen Salaün,et al.  Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques , 2012, IEEE Transactions on Software Engineering.

[24]  Paola Inverardi,et al.  Context-Aware Adaptive Services: The PLASTIC Approach , 2009, FASE.

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

[26]  Fabio Casati,et al.  Web Service Dependency Discovery Tool for SOA Management , 2007, IEEE International Conference on Services Computing (SCC 2007).

[27]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

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

[29]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.