A model to design and verify context-aware adaptive service composition.

Cubo, Javier, Sama, Michele, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rosenblum, David (2009) A model to design and verify context-aware adaptive service composition. In: 6th IEEE International Conference on Services Computing (SCC 2009), September 21-25, 2009, Bangalore. . [Conference or Workshop Item]

[img]
Preview
PDF
Download (334kB) | Preview

Abstract

The introduction of mobile clients and context-aware behaviours intoWeb 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.

Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Foundations of Computing group
A. > School of Science and Technology > Computer Science > SensoLab group
A. > School of Science and Technology > Computer Science > Artificial Intelligence group
A. > School of Science and Technology > Computer Science > Intelligent Environments group
Item ID: 5271
Useful Links:
Depositing User: Franco Raimondi
Date Deposited: 29 Apr 2010 13:42
Last Modified: 09 Jun 2021 13:56
URI: https://eprints.mdx.ac.uk/id/eprint/5271

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
662Downloads
509Hits

Additional statistics are available via IRStats2.