Semantic Web-based policy interaction detection method with rules in smart home for detecting interactions among user policies

The emerging technologies such as the Internet-of-Things, sensors, communication networks, have been or will be introduced to conventional domotics to provide a wide variety of smart home services to facilitate the household appliances or home cares and improve the lifestyles of people. Currently, smart home system are integrated with different features from product line and equipped with various sensors and actuators to meet the requirements of house occupants by specifying their customised user policies. However, the introduction of features and policies may result in undesired behaviours, and this effect is known as feature interactions. In this study, the authors proposed a Semantic Web-based policy interaction detection method with rules to model smart home services and policies with the aids of ontological analysis in the smart home domain, so as to construct a semantic context for inferring the interaction of policies. The authors focus their work on user policies interaction, which are detected by using the Semantic Web rule language in semantic context. The approach is successfully applied to the smart home system and is able to detect 90 interactions among 32 user policies by automated reasoning with tools support as Protege and Jess.

[1]  Abraham O. Fapojuwo,et al.  A taxonomy for identifying requirement interactions in software systems , 2007, Comput. Networks.

[2]  Gerd Wagner,et al.  Design Rationale for RuleML: A Markup Language for Semantic Web Rules , 2001, SWWS.

[3]  Bashar Nuseibeh,et al.  Feature interaction: the security threat from within software systems , 2008 .

[4]  Bashar Nuseibeh,et al.  Composing Features by Managing Inconsistent Requirements , 2007, ICFI.

[5]  Abdul Rahman Ramli,et al.  Interoperability among Heterogeneous Systems in Smart Home Environment , 2008, 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems.

[6]  Pierre-Yves Schobbens,et al.  What ' s in a Feature ? A Requirements Engineering Perspective , 2008 .

[7]  Bashar Nuseibeh,et al.  Specifying features of an evolving software system , 2009, Softw. Pract. Exp..

[8]  Daniel Amyot,et al.  Feature Interactions in Telecommunica - tions and Software Systems VII , 2003 .

[9]  Haiyan Zhao,et al.  An approach to constructing feature models based on requirements clustering , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[10]  Stephan Reiff-Marganiec,et al.  Feature interaction in policies , 2004, Comput. Networks.

[11]  Abraham O. Fapojuwo,et al.  Using semi-formal methods for detecting interactions among smart homes policies , 2007, Sci. Comput. Program..

[12]  David Menga,et al.  Context Inferring in the Smart Home: An SWRL Approach , 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

[13]  Wei-Tek Tsai,et al.  Ontology-Based Smart Home Solution and Service Composition , 2009, 2009 International Conference on Embedded Software and Systems.

[14]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[15]  Lydie du Bousquet,et al.  Feature Interactions in Software and Communication Systems IX, International Co nference on Feature Interactions in Software and Communication Systems, ICFI 2007, 3-5 September 2007, Grenoble, France , 2007, ICFI.

[16]  Tatsuhiro Tsuchiya,et al.  Detecting Feature Interactions in Home Appliance Networks , 2008, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing.

[17]  P. Leelaprute Resolution of feature interactions in integrated services of home network system , 2007, 2007 Asia-Pacific Conference on Communications.

[18]  Mario Kolberg,et al.  Compatibility issues between services supporting networked appliances , 2003, IEEE Commun. Mag..

[19]  Deborah L. McGuinness,et al.  Owl web ontology language guide , 2003 .

[20]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[21]  Helen M. Edwards,et al.  Problem frames: analyzing and structuring software development problems , 2002, Softw. Test. Verification Reliab..

[22]  Mark Dermot Ryan,et al.  Feature Interactions in Telecommunications and Software Systems VIII, ICFI'05, 28-30 June 2005, Leicester, UK , 2005, FIW.

[23]  Mario Kolberg,et al.  Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.

[24]  Ken-ichi Matsumoto,et al.  Feature Interactions in Integrated Services of Networked Home Appliances: An Object-Oriented Approach , 2005, FIW.

[25]  Armstrong Nhlabatsi,et al.  Initialisation Problems in Feature Composition , 2009 .