© The Institution of Engineering and Technology
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 Protégé and Jess.
References
-
-
1)
-
R. Laney ,
T.T. Tun ,
M. Jackson ,
B. Nuseibeh
.
(2007)
Composing features by managing inconsistent requirements.
-
2)
-
A. Nhlabatsi ,
R. Laney ,
B. Nuseibeh
.
Feature interaction: the security threat from within software systems.
Prog. Inform.
,
75 -
89
-
3)
-
S. Reiff-Marganiec ,
K.J. Turner
.
Feature interaction in policies.
Comput. Netw.
,
4 ,
569 -
584
-
4)
-
Leelaprute, P.: `Resolution of feature interactions in integrated services of home network system', Proc. Asia-Pacific Conf. on Communications, October 2007, Bangkok, Thailand, p. 363–366.
-
5)
-
Nhlabatsi, A.: `Initialisation problems in feature composition', 2009, PhD, The Open University.
-
6)
-
M. Kolberg ,
E.H. Magill ,
M. Wilson
.
Compatibility issues between services supporting networked appliances.
IEEE Commun. Mag.
,
11 ,
136 -
147
-
7)
-
I. Horrocks ,
P.F. Patel-Schneider ,
H. Boley ,
S. Tabet ,
B. Grosof ,
M. Dean
.
SWRL: a semantic web rule language combining OWL and RuleML.
-
8)
-
M. Shehata ,
A. Eberlein ,
A. Fapojuwo
.
A taxonomy for identifying requirement interactions in software systems.
Comput. Netw.
,
2 ,
398 -
425
-
9)
-
M. Shehata ,
A. Eberlein ,
A. Fapojuwo
.
Using semi-formal methods for detecting interactions among smart homes policies.
Sci. Comput. Program.
,
125 -
161
-
10)
-
Bousquet, L., Richier, J.: `Feature Interactions in Software and Communication Systems IX', Proc. Int. Conf. on Feature Interactions in Software and Communication Systems, ICFI'07, 2007, Grenoble, France.
-
11)
-
T.T. Tun ,
T. Trew ,
M. Jackson ,
R. Laney ,
B. Nuseibeh
.
Specifying features of an evolving software system.
Softw. Pract. Exp.
,
11 ,
973 -
1002
-
12)
-
Ricquebourg, V., Durand, D., Menga, D.: `Context inferring in the smart home: an SWRL approach', Proc. Int. Conf. on Advanced Information Networking and Applications Workshops, May 2007, Niagara Falls, Canada, p. 290–295.
-
13)
-
W3C OWL Working Group: ‘OWL 2 web ontology language document overview’. W3C Recommendation, 27 October 2009, http://www.w3.org/TR/owl2-overview/, last accessed on 12 May 2010.
-
14)
-
Reiff-Marganiec, S., Ryan, M.: `Feature interactions in telecommunications and software systems VIII', Proc. Int. Conf. on Feature Interactions in Software and Communication Systems, ICFI'05, 2005, Leicester, UK, IOS Press.
-
15)
-
Xu, J., Lee, Y., Tsai, W.: `Ontology-based smart home solution and service composition', Proc. Int. Conf. on Embedded Software and Systems, May 2009, Hangzhou, China, p. 297–304.
-
16)
-
Boley, H., Tabet, S., Wagner, G.: `Design rationale of RuleML: a markup language for Semantic Web rules', Proc. Semantic Web Working Symp., August 2001, CA, USA, p. 381–401.
-
17)
-
M.K. Smith ,
C. Welty ,
D.L. McGuinness
.
OWL web ontology language guide.
-
18)
-
Perumal, T., Ramli, A.R., Leong, C.Y., Mansor, S., Samsudin, K.: `Interoperability among heterogeneous systems in smart home environment', Proc. Int. Conf. on Signal Image Technology and Internet based Systems, November 2008, Bali, Indonesia, p. 177–186.
-
19)
-
Classen, A., Heymans, P., Schobbens, P.: `What's in a feature: a requirements engineering perspective', Proc. Int. Conf. on Fundamental Approaches to Software Engineering. Budapest, March 2008, Hungary, p. 16–30.
-
20)
-
P. Zave ,
M.A. Jackson
.
Four dark corners of requirements engineering.
ACM Trans. Softw. Eng. Methodol.
,
1 ,
1 -
30
-
21)
-
Amyot, D., Logrippo, L.: `Feature interactions in telecommunications and software systems VII', Proc. Int. Conf. on Feature Interactions in Software and Communication Systems, ICFI'03, 2003, Ottawa, Canada.
-
22)
-
Chen, K., Zhang, W., Zhao, H., Mei, H.: `An approach to constructing feature models based on requirements clustering', Proc. Int. Conf. on Requirements Engineering, April 2005, Paris, France, p. 31–40.
-
23)
-
M. Calder ,
M. Kolberg ,
E.H. Magill ,
S. Reiff-Marganiec
.
Feature interaction: a critical review and considered forecast.
Comput. Netw.
,
1 ,
115 -
141
-
24)
-
N. Noy ,
A. Rector
.
Defining N-ary relations on the semantic web.
-
25)
-
M. Nakamura ,
H. Igaki ,
K. Matsumoto ,
S. Reiff-Marganiec ,
M. Ryan
.
(2005)
Feature interactions in integrated services of networked home appliances-an object-oriented approach.
-
26)
-
M.A. Jackson
.
(2001)
Problem frames: analyzing and structuring software development problems.
-
27)
-
Leelaprute, P., Matsuo, T., Tsuchiya, T., Kikuno, T.: `Detecting feature interactions in home appliance networks', Proc. ACIS Int. Conf. on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, August 2008, Phuket, Thailand, p. 895–903.
http://iet.metastore.ingenta.com/content/journals/10.1049/iet-com.2010.0615
Related content
content/journals/10.1049/iet-com.2010.0615
pub_keyword,iet_inspecKeyword,pub_concept
6
6