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. (Unpublished)

[img]
Preview
PDF
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:Middlesex University Schools and Centres > School of Science and Technology > Science & Technology
ID Code:5271
Useful Links:
Deposited On:29 Apr 2010 13:42
Last Modified:23 Jul 2014 22:01

Repository staff only: item control page

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