Browse > Article

Feature Model Specification Method in Product-Line Development  

송재승 (LG전자 CDMA단말연구소)
김민성 (서강대학교 컴퓨터학과)
박수용 (서강대학교 컴퓨터학과)
Publication Information
Journal of KIISE:Software and Applications / v.30, no.11, 2003 , pp. 1001-1014 More about this Journal
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
Product Line Development; Formal Specification; Feature Model;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 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   DOI
2 R.Koyamans, Specifying Message Passing and Time-Critical Systems with Temporal Logic. Springer-Verlag, 1992
3 M.S. Feather, S. Fickas, A. Finkelstein, A. van Lamsweerde, Requirements and Specification Exemplars Automated Software Engineering, Kluwer Pubs, Vol. 4, No.4 1997
4 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
5 B.Potter, J.Sinciair and D.Till, An Introduction to Formal Specification and Z. Second edition, Prentice Hall, 1996
6 J.M. spivey, The Z Notation, Prentice Hall, 1989
7 C.B. Jones, Systematic Software Development Using VDM, 2nd Edition, Prentice Hall, 1990
8 XML Specification, http://www.w3c.org/TR/WDxml.html
9 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   DOI   ScienceOn
10 A van Lamsweerde, Formal Specification: a Roadmap. In The Future of Software Engineering, A. Finkelsteint(ed.), ACM Press, 2000
11 Martin Fowler and Kendall Scott, UML Distilled 2nd Edition, Addison Wesley, 2000
12 W.N.Robinson, S.Pawlowski, S.Volkov, Requirements Interaction Management, GSU CIS Working Paper 99-7, Georgia State University, Atlanta, GA, August 1999
13 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   DOI
14 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   DOI
15 A.Dardenne, A.van Lamsweerde and S.Fickas, Goal-Directed Requirements Acquisition, Science of Computer Programming, Vol.20, pp. 3-50. 1993   DOI   ScienceOn
16 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   DOI   ScienceOn
17 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   DOI   ScienceOn
18 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
19 P.Clements and L.Northrop, Software Product Lines: Practices and Patterns, Boston, MA: Addisian Wesley Longman, Inc., 2001
20 P.Donohoe, Software Product Lines: Experience and Research Directions, Denver, Colorado, Boston, MA: Kluwer Academic Publishers, pp. 28-31, August 2000
21 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