KIPS Transactions on Software and Data Engineering (정보처리학회논문지:소프트웨어 및 데이터공학)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Consistency Checking Rules of Variability between Feature Model and Elements in Software Product Lines

소프트웨어 제품라인의 휘처모델과 구성요소간 가변성에 대한 일관성 검증 규칙

  • Received : 2013.10.22
  • Accepted : 2013.11.23
  • Published : 2014.01.31
Download PDF
⟨ Previous Next ⟩

Abstract

Many companies have tried to adopt Software Product Line Engineering for improving the quality and productivity of information systems and software product. There are several models defined in software product line methodology and each model has different abstraction level. Therefor it is important to maintain the traceability and consistency between models. In this paper, consistency checking rules are suggested by traceability matrix of work products.

모든 기업들은 높은 품질의 정보시스템과 높은 생산성을 가지는 소프트웨어 제품을 만들기 위해 소프트웨어 제품라인 공학(software product line engineering)을 도입하고 있다. 소프트웨어 제품라인 방법론은 다양한 모델들을 가지고 있으며, 각 모델은 추상화 관점과 수준이 서로 다르다. 이러한 모델에 존재하는 요소들간 추적성(traceability)과 가변성(variability) 정보의 일관성(consistency)을 유지하는 것이 중요하다. 본 연구에서는 휘처(feature)의 가변성과 다른 산출물에 정의한 가변성의 일관성을 검증하는 규칙을 제시하였다.

Keywords

References

  1. Frank Van Der Linden, Klaus Schmid, Eelco Rommes, Software Product Line in Action, Springer, 2007.
  2. Tian Hangpei, Gao Deyuan, and Zhu Yian, Gaining Flexibility and Performance of Computing Using Application-Specific Instructions and Reconfigurable Architecture, International Journal of Hybrid Information Technology 2, 2, 2009.
  3. Felix Bachmann, Paul C. Clements, Variability in Software product lines, Technical report, CMU/SEI-2005-TR-012, Software Engineering Institute, 2005.
  4. Jean-Christophe TRIGAUX and Patrick HEYMANS, Software Product Lines: State of the art, EPH3310300R0462/ 215315, (2003)
  5. Mikael Svahnberg, Jilles Van Gurp, Jan Bosch, "A Taxonomy of Variability Realization Techniques," SP&E, 35, 8, (2005)
  6. IEEE Std 610.12-1990. IEEE Standard Glossary of Software Engineering Terminology. IEEE, New York, 1990.
  7. S. H. Kim, "Variability Modeling Method for FORM-UML and Consistency Checking Techniques", 2012.
  8. Kyo C. Kang, Sajoong Kim, Jaejoon Lee, Kijoo Kim, Gerard Jounghyun Kim, Euiseob Shin, FORM : A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures, Annals of software engineering. Volume 5. Number 1, 1998.
  9. NIPA, Applying Guide of Engineering Technology for Software Product Lines based on Software Reuse, 2009.
  10. Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang, Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line, Software Engineering Advances, 2007.
  11. S. H. Kim, J. A. Kim, "Consistency Checking Rules of Variability between Feature Model and Elements in Software Product Lines", 2012.
  12. S. H. Kim, J. W. Choi, J. A. Kim, "Construction of Online Classroom Monitoring System", The 34th Fall Conference of KIPS vol. 17, no. 2, pp.421-424, 2010.