A formal model and composition language for context-aware service protocols

We first define a model to formalise context-aware clients and services. Then, we propose a composition language available on the user's device to execute and handle concurrently interactions with several services at the same time.

[1]  Oscar Nierstrasz,et al.  Model-Centric, Context-Aware Software Adaptation , 2009, Software Engineering for Self-Adaptive Systems.

[2]  Robin Milner,et al.  Modal Logics for Mobile Processes , 1991, CONCUR.

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

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

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