Journal of Information Technology Services (한국IT서비스학회지)

Korea Society of IT Services (한국IT서비스학회)
권호 표지
DOI QR코드

DOI QR Code

Verification Tool for Feature Models and Configurations using Semantic Web Technologies

시맨틱 웹 기술을 이용한 특성 모델 및 특성 구성 검증 도구

  • 최승훈 (덕성여자대학교 컴퓨터학과)
  • Received : 2011.07.15
  • Accepted : 2011.09.14
  • Published : 2011.09.30
Download PDF
⟨ Previous Next ⟩

Abstract

Feature models are widely used to model commonalities and variabilities among products during software product line development. Feature configurations are generated by selecting the features to be included in individual products. Automated tools to identify errors or inconsistencies in the feature models and configurations are essential to successful software product line engineering. This paper proposes a verification technique and tool based on semantic web technologies such as OWL, SWRL and Protege API. This approach checks the feature model and configuration based on predefined rules and provides information on existence of errors as well as the kinds of those errors. This approach is extensible due to ease of rule modification and may be easily applied to other environments because semantic web technologies can be easily integrated with other programming environments. This paper demonstrates how various semantic web-related technologies can support automatic verification of one kind of software development artifact, the feature model.

Keywords

References

  1. Benavides, D., S. Segura, and A. Ruiz-Cortes, "Automated Analysis of Feature Models:A Detailed Literature Review", In Technical Report ISA-09-TR-04, Applied Software Engineering Research Group, University of Seville, Spain, 2009.
  2. Clements, P. and L. Northrop, Software Product Lines:Practices and Patterns, Addison Wesley, 2002.
  3. Deelstra, S., M. Sinnema, and J. Bosch, "Experiences in software product families:problems and issues during product derivation", SPLC, LNCS, Springer, Vol.3154(2004), pp. 165-182.
  4. Fan, S. and N. Zhang, "Feature Model Based On Description Logics", In Knowledge-Based Intelligent Information and Engineering Systems, 2006.
  5. Haarslev, V. and R. M¨oller, RACER User's Guide and Reference Manual:Version 1.7.6, 2002.
  6. Horrocks, I., Fact++ web site. http://owl.man.ac.uk/factplusplus/.
  7. http://protege.stanford.edu/.
  8. Lopez-Herrejon, R. E. and D. S. Batory, "A standard problem for evaluating productline methodologies", Proceedings of the Third International Conference on Generative and Component-Based Software Engineering, Springer-Verlag.pages, (2001), pp.10-24.
  9. Matcha, V. B. et al., "Software Reuse:Ontological Approach to Feature Modeling", IJC SNS(International Journal of Computer Science and Network Security), Vol.9, No.8(2009).
  10. McGuinness, D. L. and F. van Harmelen (Eds.), "OWL Web Ontology Language Overview", http://www.w3.org/TR/2003/PR-owl-features- 20031215/, 2003.
  11. Peng, X., W. Zhao, Y. Xue, and Y. Wu, "Ontology-Based Feature Modeling and Application-Oriented Tailoring", In ICSR, (2006), pp.87-100.
  12. Thiel, S. and A. Hein, "Systematic Integration of Variability into Product Line Architecture Design", SPLC 2002, LNCS, Springer-Verlag, Vol.2379, pp.130-153.
  13. Trinidad, P., D. Benavides, A. Duran, A. Ruiz-Cortes, and M. Toro, "Automated Error Analysis of Feature Models", Journal of Systems and Software, 2008.
  14. von der Massen, T. and H. Lichter, "Deficiencies in feature models", In T. Mannisto and J. Bosch, editors, Workshop on Software Variability Management for Product Derivation -Towards Tool Support, 2004.
  15. Wang, H., L. Y. Fang, J. Sun, H. Zhang and J. 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.
  16. Wang, H. H., 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, Vol.5, No.2(2007), pp.117-129. https://doi.org/10.1016/j.websem.2006.11.006
  17. Zaid, L. A., F. Kleinermann and O. D. Troyer, "Applying Semantic Web Technology to Feature Modeling", ACM SAC(Symposium on Applied Computing), 2009.