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: | 30 Nov 2022 01:32 |
URI: | https://eprints.mdx.ac.uk/id/eprint/5271 |
Actions (login required)
![]() |
View Item |
Statistics
Additional statistics are available via IRStats2.