research-article

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

Authors:

Javier Cubo,

Carlos Canal,

Ernesto Pimentel,

Gwen SalaünAuthors Info & Claims

CASTA '09: Proceedings of the first international workshop on Context-aware software technology and applications

Pages 17 - 20

https://doi.org/10.1145/1595768.1595775

Published: 24 August 2009 Publication History

Get Access

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.

References

[1]

J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. In Proc. of FACS'07, volume 215 of ENTCS, pages 39--55. Elsevier, 2007.

Crossref

Google Scholar

[2]

R. Mateescu, P. Poizat, and G. Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. In Proc. of ICSOC'08, volume 5364 of LNCS, pages 84--99, 2008.

Crossref

Google Scholar

[3]

R. Milner, J. Parrow, and D. Walker. Modal Logics for Mobile Processes. Theor. Comput. Sci., 114(1):149--171, 1993.

Digital Library

Google Scholar

[4]

O. Nierstrasz, M. Denker, and L. Renggli. Model-Centric, Context-Aware Software Adaptation. In Software Engineering for Self-Adaptive Systems, volume 5525 of LNCS, pages 128--145, 2009.

Digital Library

Google Scholar

[5]

M. Paolucci, T. Kawamura, T. Payne, and K. Sycara. Semantic Matching of Web Services Capabilities. In Proc. of ISWC'02, volume 2342 of LNCS, pages 333--347, 2002.

Digital Library

Google Scholar

[6]

F. Plasil and S. Visnovsky. Behavior Protocols for Software Components. IEEE TSE, 28(11):1056--1076, 2002.

Digital Library

Google Scholar

Cited By

View all

McGovern J(2013)Context Similarity EvaluationProceedings of the 2013 International Conference on Cloud and Green Computing10.1109/CGC.2013.93(553-557)Online publication date: 30-Sep-2013
https://dl.acm.org/doi/10.1109/CGC.2013.93
Cubo JPimentel ESalaün GCanal C(2010)Handling Data-Based Concurrency in Context-Aware Service ProtocolsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.30.530(62-77)Online publication date: 28-Jul-2010
https://doi.org/10.4204/EPTCS.30.5
Cubo JCanal CPimentel E(2010)Context-Aware Service Discovery and Adaptation Based on Semantic MatchmakingProceedings of the 2010 Fifth International Conference on Internet and Web Applications and Services10.1109/ICIW.2010.89(554-561)Online publication date: 9-May-2010
https://dl.acm.org/doi/10.1109/ICIW.2010.89

Index Terms

A formal model and composition language for context-aware service protocols
1. Mathematics of computing
  1. Information theory
2. Software and its engineering
  1. Software creation and management
    1. Designing software

Recommendations

Web Service in Context and Dependency-Aware Service Composition
APSCC '07: Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference

Service composition enables service users to develop Web applications by composing services via Internet. Traditional service description is function-centred, but lack of composition information, which hinders service composition with respect to service ...
Context-Aware Pervasive Service Composition
ISMS '10: Proceedings of the 2010 International Conference on Intelligent Systems, Modelling and Simulation

Incorporating service composition and pervasive computing into managing user’s complex everyday activities envisions the paradigm of Pervasive Service Composition for everyday life. Context-Aware Pervasive Service Composition (CAPSC) enables a pervasive ...
Context-Aware Generic Service Discovery and Service Composition
MS '14: Proceedings of the 2014 IEEE International Conference on Mobile Services

Service Composition is to create a new business process by composing several services in order to fulfill business goals that individual services cannot achieve. Service discovery and service composition can be highly adaptive to contexts, i.e., ...

Comments

Information & Contributors

Information

Published In

CASTA '09: Proceedings of the first international workshop on Context-aware software technology and applications

August 2009

20 pages

ISBN:9781605587073

DOI:10.1145/1595768

General Chair:
Oscar Nierstrasz
University of Bern, Switzerland

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 August 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESEC/FSE09

Sponsor:

ESEC/FSE09: Joint 12th European Software Engineering Conference

August 24, 2009

Amsterdam, The Netherlands

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
187
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

McGovern J(2013)Context Similarity EvaluationProceedings of the 2013 International Conference on Cloud and Green Computing10.1109/CGC.2013.93(553-557)Online publication date: 30-Sep-2013
https://dl.acm.org/doi/10.1109/CGC.2013.93
Cubo JPimentel ESalaün GCanal C(2010)Handling Data-Based Concurrency in Context-Aware Service ProtocolsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.30.530(62-77)Online publication date: 28-Jul-2010
https://doi.org/10.4204/EPTCS.30.5
Cubo JCanal CPimentel E(2010)Context-Aware Service Discovery and Adaptation Based on Semantic MatchmakingProceedings of the 2010 Fifth International Conference on Internet and Web Applications and Services10.1109/ICIW.2010.89(554-561)Online publication date: 9-May-2010
https://dl.acm.org/doi/10.1109/ICIW.2010.89

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Web Service in Context and Dependency-Aware Service Composition

Context-Aware Pervasive Service Composition

Context-Aware Generic Service Discovery and Service Composition

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations