Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Feature Model Specification Method in Product-Line Development

프로덕트 라인 개발에서 피쳐 모델의 명세화 기법

  • Published : 2003.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

In a feature modeling, problems such as ambiguities, interpretation errors, incompleteness, etc caused by informal specification occur in the modeling phase. Therefore, feature specification method and processes are suggested in this paper to resolve these problems. The structure and language of feature modeling is defined in this paper to specify various features. First, this feature model is abstracted in the meta-level to get predicates and attributes. Formal feature model specification method is proposed using multi-paradigm language. Second, Feature specification process is proposed to describe how to specify feature formally. And third, Feature interaction management is defined to solve the problems caused between specified features. Finally, the proposed feature specification method is applied to Distributed Meeting Scheduler System domain.

빠르게 변화하는 시장의 요구에 대응하고자 특정 영역에 속하는 애플리케이션 간의 재사용을 높이려는 프로덕트 라인 개발 방법에 대한 연구가 활발하게 진행되고 있다. 프로덕트 라인 개발 방법에서는 영역 내의 여러 애플리케이션들 간의 차이점과 공통점을 분류하는데 피쳐 모델링이라는 분석 방법을 주로 사용하고 있다. 기존 피쳐 모델링에서는 피쳐를 비정형적으로 명세화하기 때문에 모호성, 이해의 오류, 잘못된 해석 등의 문제가 발생하고 있다. 피쳐를 추상화하여 도메인에 독립적인 메타 모델로 나타내고 정형화 기법을 도입하여 명세화 한다면 기존의 피쳐 모델에서 발생하는 문제점들을 해결할 수 있을 것이다. 따라서 본 논문에서는 첫째, 메타 수준에서의 피쳐 모델링을 통하여 피쳐의 구조와 속성을 정의한 후 다중 패러다임 정형화 명세 언어를 사용하여 피쳐를 명세화하는 기법을 제시하였다. 둘째, 피쳐에 대한 정형화 명세 프로세스를 기술하였으며, 셋째, 명세화된 피쳐들 간에 발생할 수 있는 문제점들을 해결하기 위한 피쳐 상호작용 관리기법을 정의하였다. 그리고 마지막으로, 제시된 피쳐의 정형화 명세 기법을 분산 미팅 스케줄러 시스템에 적용시켜보았다.

Keywords

References

  1. P.Clements and L.Northrop, Software Product Lines: Practices and Patterns, Boston, MA: Addisian Wesley Longman, Inc., 2001
  2. P.Donohoe, Software Product Lines: Experience and Research Directions, Denver, Colorado, Boston, MA: Kluwer Academic Publishers, pp. 28-31, August 2000
  3. C.Kang, S.G.Cohen, J.A Hess, W.E.Novak, and A.S.Peterson, Feature-Oriented Domain Analysis (FODA) Feasibility Study, Technical Report CMU/SEI-90-TR-21, Pittsburgh, PA, Software Engineering Institute, Carnegie Mellon University, 1990
  4. Cohen, G.Sholom, Jr.Stanley. L.Jay, Peterson, S. Spencer & Jr. Krut, W.Robert, Application of Feature-Oriented Domain Analysis to the Army Movement Control Domain (CMU/SEI-91-TR-28). Pittsburgh, Pa.: Software Engineering Institute, Carnegie Mellon University, 1992
  5. A.Dardenne, A.van Lamsweerde and S.Fickas, Goal-Directed Requirements Acquisition, Science of Computer Programming, Vol.20, pp. 3-50. 1993 https://doi.org/10.1016/0167-6423(93)90021-G
  6. A.van Lamsweerde, R.Darimont and E.Letier, Managing Conflicts in Goal-Driven Requirements Engineering, IEEE Trans. On Software. Engineering, Special Issue on Inconsistency Management in Software Development, November 1998 https://doi.org/10.1109/32.730542
  7. C.Kang, S.Kim, J.J.Lee, K.Kim, E.Shin, M.Huh, FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures, Annals of Software Engineering, 5: pp.143-168, 1998 https://doi.org/10.1023/A:1018980625587
  8. A.D.Vici and N.Argentieri, FODAcom: An Experience with Domain Analysis in the Italian Telecom Industry, Proceedings of the 5th International Conference on Software Reuse (ICSR), Victoria, BC, Canada, pp.166-175, June 1998 https://doi.org/10.1109/ICSR.1998.685741
  9. M.L.Griss, J,Favaro and M.d' Alessandro, Integrating Feature Modeling with the RSEB, Proceedings of the 5th International Conference on Software Reuse (I, Victoria, BC, Canada, pp.76-85, June 1998 https://doi.org/10.1109/ICSR.1998.685732
  10. Kyo C. Kang, Sajoong Kim, Jaejoon Lee, Kwanwoo Lee, Feature-Oriented Engineering of PBX Software for Adaptability and Reusability, Software Practice & Experience, Vol. 29 No.10, pp. 875-896, 1999 https://doi.org/10.1002/(SICI)1097-024X(199908)29:10<875::AID-SPE262>3.0.CO;2-W
  11. A van Lamsweerde, Formal Specification: a Roadmap. In The Future of Software Engineering, A. Finkelsteint(ed.), ACM Press, 2000
  12. Martin Fowler and Kendall Scott, UML Distilled 2nd Edition, Addison Wesley, 2000
  13. W.N.Robinson, S.Pawlowski, S.Volkov, Requirements Interaction Management, GSU CIS Working Paper 99-7, Georgia State University, Atlanta, GA, August 1999
  14. B.Potter, J.Sinciair and D.Till, An Introduction to Formal Specification and Z. Second edition, Prentice Hall, 1996
  15. J.M. spivey, The Z Notation, Prentice Hall, 1989
  16. C.B. Jones, Systematic Software Development Using VDM, 2nd Edition, Prentice Hall, 1990
  17. XML Specification, http://www.w3c.org/TR/WDxml.html
  18. E.Dubois, J.Hagelstein and A.Rifaut, A Formal Language for the Requirements Engineering of Computer Systems, Introducing a Logic Based Approach to Artificial Intelligence, A. Thayse(Ed.), Vol. 3, Wiley, pp.357-433, 1991
  19. R.Koyamans, Specifying Message Passing and Time-Critical Systems with Temporal Logic. Springer-Verlag, 1992
  20. M.S. Feather, S. Fickas, A. Finkelstein, A. van Lamsweerde, Requirements and Specification Exemplars Automated Software Engineering, Kluwer Pubs, Vol. 4, No.4 1997
  21. A. van Lamsweerde, R. Darimont and Ph. Massonet, Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt, Proceedings RE'95-Second International Conference on Requirements Engineering (York, UK), IEEE Computer Society Press, March, pp. 194-203. 1995 https://doi.org/10.1109/ISRE.1995.512561