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]
|
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: | 07 Jun 2022 12:43 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/5271 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)