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)
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:||School of Science and Technology > Science & Technology|
|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