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]

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:	http://conferences.computer.org/scc/2009... http://conferences.computer.org/scc/2009... Middlesex University Expert Profile
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

Statistics

Downloads

Activity Overview

662Downloads

509Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)