Verifying feature models using OWL

Hai H. Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang, Jeff Pan

Research output: Contribution to journalArticle

81 Citations (Scopus)

Abstract

Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a formal semantics and reasoning support of feature models has hindered the development of this area. Industrial experiences also show that methods and tools that can support feature model analysis are badly appreciated. Such reasoning tool should be fully automated and efficient. At the same time, the reasoning tool should scale up well since it may need to handle hundreds or even thousands of features a that modern software systems may have. This paper presents an approach to modeling and verifying feature diagrams using Semantic Web OWL ontologies. We use OWL DL ontologies to precisely capture the inter-relationships among the features in a feature diagram. OWL reasoning engines such as FaCT++ are deployed to check for the inconsistencies of feature configurations fully automatically. Furthermore, a general OWL debugger has been developed to tackle the disadvantage of lacking debugging aids for the current OWL reasoner and to complement our verification approach. We also developed a CASE tool to facilitate visual development, interchange and reasoning of feature diagrams in the SemanticWeb environment.

Original languageEnglish
Pages (from-to)117-129
Number of pages13
JournalWeb semantics: science, services and agents on the World Wide Web
Volume5
Issue number2
Early online date20 Jan 2007
DOIs
Publication statusPublished - Jun 2007

Keywords

  • semantic web
  • OWL
  • ontologies
  • feature modeling

Cite this

Verifying feature models using OWL. / Wang, Hai H.; Li, Yuan Fang; Sun, Jing; Zhang, Hongyu; Pan, Jeff.

In: Web semantics: science, services and agents on the World Wide Web, Vol. 5, No. 2, 06.2007, p. 117-129.

Research output: Contribution to journalArticle

Wang, Hai H. ; Li, Yuan Fang ; Sun, Jing ; Zhang, Hongyu ; Pan, Jeff. / Verifying feature models using OWL. In: Web semantics: science, services and agents on the World Wide Web. 2007 ; Vol. 5, No. 2. pp. 117-129.
@article{8ff704c6dff545a6bddbefb9fc373630,
title = "Verifying feature models using OWL",
abstract = "Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a formal semantics and reasoning support of feature models has hindered the development of this area. Industrial experiences also show that methods and tools that can support feature model analysis are badly appreciated. Such reasoning tool should be fully automated and efficient. At the same time, the reasoning tool should scale up well since it may need to handle hundreds or even thousands of features a that modern software systems may have. This paper presents an approach to modeling and verifying feature diagrams using Semantic Web OWL ontologies. We use OWL DL ontologies to precisely capture the inter-relationships among the features in a feature diagram. OWL reasoning engines such as FaCT++ are deployed to check for the inconsistencies of feature configurations fully automatically. Furthermore, a general OWL debugger has been developed to tackle the disadvantage of lacking debugging aids for the current OWL reasoner and to complement our verification approach. We also developed a CASE tool to facilitate visual development, interchange and reasoning of feature diagrams in the SemanticWeb environment.",
keywords = "semantic web, OWL, ontologies, feature modeling",
author = "Wang, {Hai H.} and Li, {Yuan Fang} and Jing Sun and Hongyu Zhang and Jeff Pan",
year = "2007",
month = "6",
doi = "10.1016/j.websem.2006.11.006",
language = "English",
volume = "5",
pages = "117--129",
journal = "Web semantics: science, services and agents on the World Wide Web",
issn = "1570-8268",
publisher = "Elsevier",
number = "2",

}

TY - JOUR

T1 - Verifying feature models using OWL

AU - Wang, Hai H.

AU - Li, Yuan Fang

AU - Sun, Jing

AU - Zhang, Hongyu

AU - Pan, Jeff

PY - 2007/6

Y1 - 2007/6

N2 - Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a formal semantics and reasoning support of feature models has hindered the development of this area. Industrial experiences also show that methods and tools that can support feature model analysis are badly appreciated. Such reasoning tool should be fully automated and efficient. At the same time, the reasoning tool should scale up well since it may need to handle hundreds or even thousands of features a that modern software systems may have. This paper presents an approach to modeling and verifying feature diagrams using Semantic Web OWL ontologies. We use OWL DL ontologies to precisely capture the inter-relationships among the features in a feature diagram. OWL reasoning engines such as FaCT++ are deployed to check for the inconsistencies of feature configurations fully automatically. Furthermore, a general OWL debugger has been developed to tackle the disadvantage of lacking debugging aids for the current OWL reasoner and to complement our verification approach. We also developed a CASE tool to facilitate visual development, interchange and reasoning of feature diagrams in the SemanticWeb environment.

AB - Feature models are widely used in domain engineering to capture common and variant features among systems in a particular domain. However, the lack of a formal semantics and reasoning support of feature models has hindered the development of this area. Industrial experiences also show that methods and tools that can support feature model analysis are badly appreciated. Such reasoning tool should be fully automated and efficient. At the same time, the reasoning tool should scale up well since it may need to handle hundreds or even thousands of features a that modern software systems may have. This paper presents an approach to modeling and verifying feature diagrams using Semantic Web OWL ontologies. We use OWL DL ontologies to precisely capture the inter-relationships among the features in a feature diagram. OWL reasoning engines such as FaCT++ are deployed to check for the inconsistencies of feature configurations fully automatically. Furthermore, a general OWL debugger has been developed to tackle the disadvantage of lacking debugging aids for the current OWL reasoner and to complement our verification approach. We also developed a CASE tool to facilitate visual development, interchange and reasoning of feature diagrams in the SemanticWeb environment.

KW - semantic web

KW - OWL

KW - ontologies

KW - feature modeling

U2 - 10.1016/j.websem.2006.11.006

DO - 10.1016/j.websem.2006.11.006

M3 - Article

VL - 5

SP - 117

EP - 129

JO - Web semantics: science, services and agents on the World Wide Web

JF - Web semantics: science, services and agents on the World Wide Web

SN - 1570-8268

IS - 2

ER -