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]

Preview

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:	http://conferences.computer.org/scc/2009... http://conferences.computer.org/scc/2009... Middlesex University Expert Profile
Depositing User:	Franco Raimondi
Date Deposited:	29 Apr 2010 13:42
Last Modified:	07 Apr 2019 09:16
URI:	https://eprints.mdx.ac.uk/id/eprint/5271

Actions (login required)

View Item

CORE (COnnecting REpositories)

Statistics

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