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

Cubo, Javier and Sama, Michele and Raimondi, Franco 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.

[img]
Preview
PDF
Download (334kB)

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 Research Group
Item ID: 5271
Useful Links:
Depositing User: Franco Raimondi
Date Deposited: 29 Apr 2010 13:42
Last Modified: 01 May 2015 00:13
URI: http://eprints.mdx.ac.uk/id/eprint/5271

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year