2 research outputs found
Specification and Verification of Context-dependent Services
Current approaches for the discovery, specification, and provision of
services ignore the relationship between the service contract and the
conditions in which the service can guarantee its contract. Moreover, they do
not use formal methods for specifying services, contracts, and compositions.
Without a formal basis it is not possible to justify through formal
verification the correctness conditions for service compositions and the
satisfaction of contractual obligations in service provisions. We remedy this
situation in this paper. We present a formal definition of services with
context-dependent contracts. We define a composition theory of services with
context-dependent contracts taking into consideration functional,
nonfunctional, legal and contextual information. Finally, we present a formal
verification approach that transforms the formal specification of service
composition into extended timed automata that can be verified using the model
checking tool UPPAAL.Comment: In Proceedings WWV 2011, arXiv:1108.208
A Context-aware Healthcare Architecture For The Elderly
In order to provide dependable healthcare services for the elderly, it is necessary to have a patient-centric
healthcare architecture in which context-aware healthcare services can be provided at any time and anywhere.
Such a service automation has the virtues to overcome the disadvantages arising from the disabilities that
are inherent in the elderly population, physically challenged, and those who live in remote areas. In order
that patients trust the healthcare services provided by the system, the creation of healthcare services must
be founded on accurate personalized health model of patients, and must be delivered by experts through
dependable medical devices and secure channels. Motivated by this goal, this thesis proposes a layered
health model that can be personalized to meet the privacy requirements of a patient, and constructs a
context-aware healthcare architecture in which healthcare services for each patient is specialized based on
personalized health models, health contexts, and emerging health situations. A prototype implementation
of the architecture is validated for Hypertension and Dementia case studies