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

Authors:
Javier Cubo;Carlos Canal;Ernesto Pimentel;Gwen Salaün
Affiliations:
University of Málaga, Málaga, Spain;University of Málaga, Málaga, Spain;University of Málaga, Málaga, Spain;University of Málaga, Málaga, Spain
Venue:
Proceedings of the first international workshop on Context-aware software technology and applications
Year:
2009

Citing 4
Cited 0

Modal logics for mobile processes

Selected papers of the 3rd workshop on Concurrency and compositionality
Behavior Protocols for Software Components

IEEE Transactions on Software Engineering
Semantic Matching of Web Services Capabilities

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.