Journal of Internet Computing and Services (인터넷정보학회논문지)

Korean Society for Internet Information (한국인터넷정보학회)
권호 표지

Rule-based Feature Model Validation Tool

규칙 기반 특성 모델 검증 도구

  • 최승훈 (덕성여자대학교 컴퓨공학부)
  • Published : 2009.08.30
Download PDF
⟨ Previous Next ⟩

Abstract

The feature models are widely used to model the commonalities and variabilities among the products in the domain engineering phase of software product line developments. The findings and corrections of the errors or consistencies in the feature models are essential to the successful software product line engineering. The aids of the automated tools are needed to perform the validation of the feature models effectively. This paper describes the approach based on JESS rule-base system to validate the feature models and proposes the feature model validation tool using this approach. The tool of this paper validates the feature models in real-time when modeling the feature models. Then it provides the information on existence of errors and the explanations on causes of those errors, which allows the feature modeler to create the error-free feature models. This attempt to validate the feature model using the rule-based system is supposed to be the first time in this research field.

특성 모델(Feature Model)은 소프트웨어 제품 라인 개발 시 도메인 공학 단계에서 제품들 사이의 공통점과 차이점을 모델링하는데 널리 사용된다. 특성 모델의 오류 또는 불일치성에 대한 발견 및 수정은 성공적인 소프트웨어 제품 라인 공학을 위해서 필수적이다. 특성 모델의 검증을 효과적으로 수행하기 위해서는 자동화된 도구의 도움이 필요하다. 본 논문에서는 JESS 규칙 기반 시스템을 이용하여 특성 모델의 유효성을 검증하는 기법을 기술하고 이를 이용한 특성 모델 검증 도구를 제안한다. 본 논문의 도구는 특성 모델링 작업 시 실시간으로 특성 모델을 검증하여 오류의 존재 여부와 오류의 원인에 대한 설명을 제공함으로써 오류 없는 특성 모델을 생성할 수 있도록 해 준다. 특성 모델 검증 기법에 규칙 기반 시스템을 이용한 경우는 본 논문이 최초의 시도로 사료된다.

Keywords

References

  1. P. Clements and L. Northrop, "Software Product Lines: Practices and Patterns", Addison Wesley, 2002.
  2. K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. Feature–Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, November 1990.
  3. D. Batory, D. Benavides, A. Ruiz-Cortes, Automated Analysis of feature models: Challenges ahead, Communications of the ACM 49 (12), pp.45-47, 2006.
  4. D Benavides, A Ruiz-Cortes, P Trinidad, S Segura, A survey on the automated analyses of feature models, Jornadas de Ingenierıa del Software y Bases de Datos (JISBD), 2006.
  5. M. Mannion. Using First-Order Logic for Product Line Model Validation. In Proceedings of the Second Software Product Line Conference (SPLC2), LNCS 2379, pages 176–187, San Diego, CA, 2002. Springer.
  6. W. Zhang, H. Zhao, and H. Mei. A propositional logic-based method for verification of feature models. In J. Davies, editor, ICFEM 2004, volume 3308, pages 115–130. Springer–Verlag, 2004.
  7. D. Batory. Feature models, grammars, and propositional formulas. In Software Product Lines Conference, LNCS 3714, pages 7–20, 2005.
  8. H. Wang, Y. Li, J. Sun, H. Zhang, and J. Pan. A semantic web approach to feature modeling and verification. In Workshop on Semantic Web Enabled Software Engineering (SWESE’05), November 2005.
  9. 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. https://doi.org/10.1016/j.websem.2006.11.006
  10. D. Benavides, A. Ruiz-Cort'es, and P. Trinidad. Automated reasoning on feature models. LNCS, Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, 3520:491–503, 2005.
  11. P. Trinidad, D. Benavides, and A. Ruiz-Cort'es. Explanations for Agile Feature Modeling. In Proceedings of the First International Workshop on Agile Product Line Engineering (APLE'06), Baltimore, MD, USA, 2006.
  12. Czarnecki, K. and Kim, P., "Cardinality-based feature modeling and constrains: A progress report", In Proceedings of the International Workshop on Software Factories at OOPSL 2005.
  13. Sun, J., Zhang, H., Li, Y., Wang, H., "Formal semantics and verification for feagure modeling" In Proceedings of the ICECSS05.
  14. P. Trinidad, D. Benavides, A. Duran, A. Ruiz-Cortés and M. Toro, "Automated Error Analysis of Feature Models", Journal of Systems and Software(in press), 2008.
  15. Ernest Friedman-Hill, "JESS in Action", Manning, 2003.
  16. T. von der Massen and H. Lichter. Deficiencies in featuremodels. In T. Mannisto and J. Bosch, editors, Workshop on Software Variability Management for Product Derivation - Towards Tool Support, 2004.
  17. Roberto E. Lopez-Herrejon and Don S. Batory. A standard problem for evaluating productline methodologies. In Proceedings of the Third International Conference on Generative and Component-Based Software Engineering, pages 10-24, Erfurt, Germany, September 2001.