• Journal of Internet Computing and Services
    ISSN 2287 - 1136(Online) / ISSN 1598 - 0170 (Print)
    http://jics.or.kr/

Feature Configuration Verification Using JESS Rule-based System


Seung-Hoon Choi, Journal of Internet Computing and Services, Vol. 8, No. 6, pp. 135-144, Dec. 2007
Full Text:
Keywords: Software Product Lines, Feature Modeling, Feature Configuration Verification, Rule-based System

Abstract

Feature models are widely used in domain engineering phase of software product lines development to model the common and variable concepts among products. From the feature model, the feature configurations are generated by selecting the features to be included in target product. The feature configuration represents the requirements for the specific product to be implemented. Although there are a lot of researches on how to build and use the feature models and feature configurations, the researches on the formal semantics and reasoning of them are rather inactive. This paper proposes the feature configuration verification approach based on JESS, java-based rule-base system. The Graph Product Line, a standard problem for evaluating the software product line technologies, is used throughout the paper to illustrate this approach. The approach in this paper has advantage of presenting the exact reason causing inconsistency in the feature configuration. In addition, this approach should be easily applied into other software product lines development environments because JESS system can be easily integrated with Java language.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from November 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[APA Style]
Seung-Hoon Choi (2007). Feature Configuration Verification Using JESS Rule-based System. Journal of Internet Computing and Services, 8(6), 135-144.

[IEEE Style]
S. Choi, "Feature Configuration Verification Using JESS Rule-based System," Journal of Internet Computing and Services, vol. 8, no. 6, pp. 135-144, 2007.

[ACM Style]
Seung-Hoon Choi. 2007. Feature Configuration Verification Using JESS Rule-based System. Journal of Internet Computing and Services, 8, 6, (2007), 135-144.