Browse > Article

A Method for Instantiating Product Line Architecture using Formal Specifications  

Shin, Suk-Kyung (한국학술진흥재단 학술정보팀)
Her, Jin-Sun (숭실대학교 컴퓨터학과)
Kim, Soo-Dong (숭실대학교 컴퓨터학과)
Publication Information
Journal of KIISE:Software and Applications / v.33, no.12, 2006 , pp. 1008-1021 More about this Journal
Abstract
Product line engineering(PLE) is one of the recent and effective reuse approaches that enables developing a number of applications by instantiating a core asset. Elements of a core asset are product line architecture(PLA), component, and decision model. Among these elements, PLA is the key element since it defines the overall structure of the core asset. Although numerous PLE methodologies have been introduced, it is still unclear what should be the elements of a PLA and how to systematically instantiate it for specific applications. Formal specifications can play a key role in defining detailed and precise instantiation process. In this paper, we first present a meta model of PLA and show how to specify PLA in a formal language, Object-Z. Then, we propose instantiation rules using formal specification and those rules precisely define constraints for instantiating PLA. By applying the proposed formal specification, we believe PLA instantiation can be carried out precisely and correctly, yielding high quality software development.
Keywords
Product Line Engineering; Formal Specification; Object-Z; Product Line Architecture; Instantiation;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Geyer, L., and Becker, M., 'On the Influence of Variabilities on the Application-Engineering Process of a Product Family,' Lecture Notes in Computer Science 2379, Proceedings of the 2nd Software Product Line Conference, 2002
2 Clements, P., et al., Documenting Software Architectures Views and Beyond, Addison Wesley, 2003
3 Matinlassi, M., Niemela, E., and Dobrica, L., 'Quality-driven architecture design and quality analysis method,' VTT publication 456, VTT Technical Research Center of Finland, ESP002002, 2002
4 Bayer, J, et aI., 'PuLSE: A Methodology to Develop Software Product Lines,' Proceedings of the Symposium on Software Reusability (SSR'99), Los Angeles, 1999   DOI
5 Deelstra, S., Sinnema, M., and Bosch, J., 'Product derivation in software product families: a case study,' The Journal of Systems and Software, Vol.74, No.2, p.l74-194, Jan. 2005   DOI   ScienceOn
6 Smith, G., The Object- Z Specification Language, Kluwer Academic Publishers, 2000
7 Smith, G., 'An Object-Oriented Approach to Formal Specification,' Doctoral Thesis, University of Queensland, 1992
8 Shin, S. K., Lee, J. K., and Kim, S. D, 'Techniques to Transform Object-Oriented Design into Component-Based Design Formal Specifications Using Formal Specifications,' Journal of Korea Irformation Science Society(KlSS): Software and Applications, 31(7):883-900, 2004
9 Clements, P., et aI., Software Product Lines, Addison-Wesley, 2002
10 Bosch, J. Design and Use of Software Architectures, Addison-Wesley, 2000
11 Kim, S., Chang, S., and Chang, C., 'A Systematic Method to Instantiate Core Assets in Product Line Engineering,' Proceedings of APSEC 2004, pp.92-98, Nov. 2004   DOI
12 Kang, K., Kim,S., Lee, J.. Kim, K., Shin, E. and Huh, M., 'FORM: A Feature-Oriented Reuse ？Method with Domain-Specific Reference Architectures,' Annals of Software Engineering, vol.5, pp.143-168, 1998   DOI   ScienceOn
13 Atkinson, C., et aI., Component-based Product Line Engineering with UML, Addison Wesley, 2001
14 Thiel, S., and Hein, A., 'Systematic Integration of Variability into Product Line Architecture Design,' Lecture Notes In Computer Science 2379, Proceedings of SPLC2, Springer-Verlag Berlin Heidelberg, 2002
15 Kim, S., Her, J., and Chang, S., 'A theoretical foundation of variability m component-based development,' Journal of Information and Software Technology, 2005, To Appear
16 Bass, L., Clements, P., and Kazman, R., Software Architecture in Practice, Addison-Wesley, 1998