Browse > Article

Feature Configuration Validation using Semantic Web Technology  

Choi, Seung-Hoon (덕성여자대학교 컴퓨터학과)
Publication Information
Journal of Internet Computing and Services / v.11, no.4, 2010 , pp. 107-117 More about this Journal
Abstract
The feature models representing the common and variable concepts among the software products and the feature configurations generated by selecting the features to be included in the target product are the essential components in the software product lines methodology. Although the researches on the formal semantics and reasoning of the feature models and feature configurations are in progress, the researches on feature model ontologies and feature configuration validation using the semantic web technologies are yet insufficient. This paper defines the formal semantics of the feature models and proposes a feature configuration validation technique based on ontology and semantic web technologies. OWL(Web Ontology Language), a semantic web standard language, is used to represent the knowledge in the feature models and the feature configurations. SWRL(Semantic Web Rule Language), a semantic web rule languages, is used to define the rules to validate the feature configurations. The approach in this paper provides the formal semantic of the feature models, automates the validation of feature configurations, and enables the application of various semantic web technologies, such as SQWRL.
Keywords
software product lines; semantic web; feature model; feature configuration validation;
Citations & Related Records
연도 인용수 순위
  • Reference
1 S. Thiel and A. Hein, "Systematic Integration of Variability into Product Line Architecture Design", SPLC2 2002, LNCS 2379, pp.130?153, 2002, Springer?Verlag.
2 노상규, 박진수 공저, "인터넷 진화의 열쇠, 온톨로지", Good's Toy business 사, 2007.
3 http://protege.stanford.edu/
4 http://www.jessrules.com/jess/index.shtml
5 D.Benavides, P.Trinidad, and A.Ruiz-Cort´es, "Automated Reasoning on Feature Models", In: Proceedings of the 17th Conference on Advanced Information System Engineering (CAiSE'05), Porto, Portugal.
6 Hai Wang, LI Yuan Fang, Jing Sun, Hongyu Zhang and Jeff Z. Pan. A Semantic Web Approach to Feature Modeling and Verification. In Proc. of the ISWC2005 Workshop on Semantic Web Enabled Software Engineering (SWESE). 2005.
7 H. H. Wang, Y. F. Li, J. Sun, H. Zhang and J. Pan. "Verifying Feature Models Using OWL", In Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 5(2):117-129, June 2007.   DOI   ScienceOn
8 D.L. McGuinness, F. van Harmelen (Eds.), OWL Web Ontology Language Overview, 2003. http://www.w3.org/TR/2003/PR-owl-features-2003 1215/.
9 V. Haarslev, R. M¨oller, RACER User''s Guide and Reference Manual: Version 1.7.6, 2002.
10 [Horrocks] I.Horrocks, P.F.Patel-Schneider, H.Boley, S.Tabet, B.Grosof and M.Dean, "SWRL: A Semantic Web Rule Language Combining OWL and RuleML", http://www.w3.org/Submissions/SWRL.
11 X.Peng, W.Zhao, Y.Xue and Y.Wu, "Ontology-Based Feature Modeling and Application-Oriented Tailoring", In: ICSR 2006: 87-100.
12 K.C.Kang, S.Kim, J. Lee, K. Kim, E.Shin and M.Huh, "FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures", Annals of Software Engineering, 5:143-168, 1998.   DOI   ScienceOn
13 R.E.Lopez-Herrejon and D.S.Batory. "A standard problem for evaluating product line methodologies", In Proceedings of the Third International Conference on Generative and Component-Based Software Engineering, pp.10-24, Erfurt, Germany, September 2001, Springer-Verlag.
14 J.Bosch, "Design & Use of Software Architectures: Adopting and Evolving a Product-Line Approach", Addison-Wesley, 2000.
15 http://www.w3.org/TR/owl-features/
16 I. Horrocks, Fact++ web site. http://owl.man.ac.uk/factplusplus/.
17 V.B.Matcha et. al., "Software Reuse: Ontological Approach to Feature Modeling", IJCSNS(International Journal of Computer Science and Network Security), Vol.9, No.8, August 2009.
18 L.A.Zaid, F.Kleinermann and O.D.Troyer, "Applying Semantic Web Technology to Feature Modeling", ACM SAC(Symposium on Applied Computing) '09, March 2009.