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
| Preview | 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 and Mathematics | 
| Publisher: | Wiley | 
| Date of acceptance: | 16 October 2019 | 
| Date of first compliant Open Access: | 13 January 2022 | 
| 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 | 
 
             Export Citation
 Export Citation Export Citation
 Export Citation