Alfakeeh, AS, Al-Bayatti, AH, Siewe, F and Baker, T (2019) Agent-based Negotiation Approach for Feature Interactions in Smart Home Systems using Calculus of the Context-aware Ambient. Transactions on Emerging Telecommunications Technologies, 33 (2). ISSN 2161-3915
|
Text
ABNA_V6_F.pdf - Accepted Version Download (1MB) | Preview |
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 |
---|---|
Additional Information: | This is the peer reviewed version of the following article:Agent-based Negotiation Approach for Feature Interactions in Smart Home Systems using Calculus of the Context-aware Ambient, which has been published in final form at https://doi.org/10.1002/ett.3808. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Use of Self-Archived Versions. |
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 & Mathematics |
Publisher: | Wiley |
Date Deposited: | 17 Oct 2019 08:20 |
Last Modified: | 10 Mar 2023 10:45 |
DOI or ID number: | 10.1002/ett.3808 |
URI: | https://researchonline.ljmu.ac.uk/id/eprint/11592 |
View Item |