Agent-based Negotiation Approach for Feature Interactions in Smart Home Systems using CCA
Smart Home Systems (SHS) provides several services which are presented according to different residents’ preferences. As a consequence, SHS is highly exposed to undesirable interactions which are known as feature interactions (FI). The FI might occur as a result of a conflict in services’ goals or conflict with residents’ preferences. Previous studies proposed solutions based on applying priorities in which some services or preferable features will be disabled in favour of other services. Alternatively, Agent- Based Negotiation Approach (ABNA) utilises agents and adopts negotiation, enabling services with contrary features to work simultaneously. ABNA avoids applying priority between services or preferences of house residents whenever there is a space for a compromise. The mechanism of ABNA is based on using a hierarchy for features based on their contribution to the function of the service or based on the importance of these features to house residents. In order to seek a compromise between conflicted services, ABNA models services and residents using agents and implement 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 using Calculus of Context-aware Ambient (CCA). This enables formal analysis of ABNA using the execution environment of CCA.
Citation : Alfakeeh, Ahmed S.et al. (2019) Agent-based Negotiation Approach for Feature Interactions in Smart Home Systems using CCA. Transactions on Emerging Telecommunications Technologies,
Research Institute : Cyber Technology Institute (CTI)
Peer Reviewed : Yes