Semantic Annotations of Feature Models for Dynamic Product Configuration in Ubiquitous Environments

The domain of ubiquitous computing is flooded with a vast number of services, which although share similar functionalities, fail in easy integration and composition. The efforts in providing an integration framework for these services employs software product line engineering to capture variations and commonalities across these services. These approaches however fall short in that they are either incapable of capturing nonfunctional requirements or are non-evolutionary in response to the changes in functional and nonfunctional requirements of the ever-changing domain of ubicomp. In this paper, we propose annotation of feature models with ontologies covering non-functional requirements to increase the flexibility and expandability of such systems. In our approach, we also use ontologies for annotation and expansion of feature models. We show how this allows formalization of nonfunctional requirements through logical foundations and enables reasoning and product consistency check with respect to features and their corresponding components.

[1]  Klaus Schmid,et al.  GoPhone - A Software Product Line in the Mobile Phone Domain , 2004 .

[2]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[3]  Maurizio Lenzerini,et al.  TBox and ABox Reasoning in Expressive Description Logics , 1996, KR.

[4]  Charles Krasic,et al.  Toward Wide Area Interaction with Ubiquitous Computing Environments , 2006, EuroSSC.

[5]  Jeff Z. Pan,et al.  Verifying feature models using OWL , 2007, J. Web Semant..

[6]  Charles Krasic,et al.  Evaluation and Analysis of a Common Model for Ubiquitous Systems Interoperability , 2008, Pervasive.

[7]  Armando Fox,et al.  Making computers disappear: appliance data services , 2001, MobiCom '01.

[8]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[9]  Gordon S. Blair,et al.  A reflective framework for discovery and interaction in heterogeneous mobile environments , 2005, MOCO.

[10]  Weishan Zhang,et al.  Synergy Between Software Product Line and Intelligent Mobile Middleware , 2007 .

[11]  Antonio Ruiz Cortés,et al.  Automated Reasoning on Feature Models , 2005, CAiSE.

[12]  Douglas C. Schmidt,et al.  Model-Driven Product-Line Architectures for Mobile Devices , 2008 .

[13]  Jules White,et al.  Automating Product-Line Variant Selection for Mobile Devices , 2007 .

[14]  Krzysztof Czarnecki,et al.  Staged Configuration Using Feature Models , 2004, SPLC.

[15]  S. Weibel,et al.  RFC 2413: Dublin core metadata for resource discovery , 1998 .

[16]  E. J. Friedman-hill,et al.  Jess, the Java expert system shell , 1997 .

[17]  Z E. Jess Friedman-hill,et al.  The Java Expert System Shell , 2000 .

[18]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[19]  Doug Foxvog,et al.  Modeling QoS characteristics in WSMO , 2006, MW4SOC '06.

[20]  Amit P. Sheth,et al.  A Semantic Web Services Architecture , 2005, IEEE Internet Comput..