Facial reconstruction

Search LJMU Research Online

Browse Repository | Browse E-Theses

Agent-based Negotiation Approach for Feature Interactions in Smart Home Systems using Calculus of the Context-aware Ambient

Alfakeeh, AS, Al-Bayatti, AH, Siewe, F and Baker, T Agent-based Negotiation Approach for Feature Interactions in Smart Home Systems using Calculus of the Context-aware Ambient. Transactions on Emerging Telecommunications Technologies. ISSN 2161-3915 (Accepted)

[img] Text
ABNA_V6_F.pdf - Accepted Version
Restricted to Repository staff only

Download (1MB)

Abstract

Smart Home Systems (SHSs) provide several services which are tailored to different residents’ preferences. As a result, SHSs are highly exposed to undesirable interactions, known as feature interactions (FIs). FIs might occur as a result of a conflict in services’ goals or a conflict with residents’ preferences. Previous studies have proposed solutions based on applying priorities, in which some services or preferable features are disabled in favour of other services. Alternatively, the agent-based negotiation approach (ABNA) utilises agents and applies negotiation, enabling services with contrary features to work simultaneously. ABNA avoids applying priority between services or house residents’ preferences whenever a space for a compromise exists. The mechanism of ABNA is based on the use of a hierarchy of features based on their contribution to the function of the service or on the importance of these features to house residents. To achieve a compromise between conflicting services, ABNA models services and residents by using agents, and implements a negotiation algorithm that allows services with conflicting features to work simultaneously. This paper presents a description of ABNA with a formal specification of ABNA in the Calculus of Context-aware Ambient (CCA). This enables the formal analysis of ABNA by using the execution environment of CCA.

Item Type: Article
Uncontrolled Keywords: 0805 Distributed Computing, 0906 Electrical and Electronic Engineering, 1005 Communications Technologies
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
T Technology > T Technology (General)
Divisions: Computer Science
Publisher: Wiley
Date Deposited: 17 Oct 2019 08:20
Last Modified: 17 Oct 2019 08:30
URI: http://researchonline.ljmu.ac.uk/id/eprint/11592

Actions (login required)

View Item View Item