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

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

객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법

Techniques to Transform Object-oriented Design into Component-based Design Formal Specifications using Formal Specifications

  • 발행 : 2004.07.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

재사용성과 확장성을 높이는 객체지향 개발이 보편화되면서 새로운 소프트웨어를 개발할 경우 기 개발되어 검증된 객체지향 산출물을 재사용함으로써 개발기간을 단축하고 품질을 향상할 수 있다. 이렇게 성능이 검증된 기 개발된 객체지향 산출물을 이용하여 컴포넌트 기반 모델로 변환하면 짧은 기간에 고품질의 컴포넌트 기반 시스템을 구축할 수 있다. 본 논문에서는 이미 개발되어 있는 객체지향 설계 모델을 이용하여 컴포넌트 기반 설계로 변환하되 변환의 정확성을 위해 정형명세 기법을 사용한다. 컴포넌트 기반 설계를 정형명세하기 위해 컴포넌트 정형명세 언어를 정의한다. 그리고 객체지향 설계의 정적, 동적, 기능적 측면을 정형명세 언어 Object-Z를 사용하여 정형명세하는 기법을 제시한 후, 객체지향 정형명세를 컴포넌트 정형명세로 변환하는 기법을 제시한다. 사례연구는 제시된 변환 기법을 적용하여 객체지향 정형명세가 컴포넌트 기반 정형명세로의 변환과정을 설명한다.

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

키워드

참고문헌

  1. Szyperski, C, Component Software- beyond Object-Oriented Programming, Addison Wesley, 1997
  2. Brown, A., Large-Scale, Component-Based Development, Prentice Hall, 2000
  3. Larsson, M. and Crnkovic, I., 'Development Experiences of a Component-Based System,' Seventh IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2000 https://doi.org/10.1109/ECBS.2000.839883
  4. McGibbon, B., 'Status of CBSE in Europe,' Component-Based Software Engineering, Addison-Wesley, 2001
  5. Sousa, P. and Garlan, D., 'Formal Modeling of the Enterprise JavaBeans Component Integration Framework,' Information and Software Technology, Vol.43, 2001 https://doi.org/10.1016/S0950-5849(00)00157-9
  6. OMG, UML Specification v1.4, September, 2001
  7. Spivey, J. The Z Notation A Reference Manual, URL : http://spivey.oriel.ox.ac.uk/~mike/zrm/, 1992
  8. Smith, G., The Object-Z Specification Language, Kluwer Academic Publishers, 2000
  9. Smith, G., 'An Object-Oriented Approach to Formal Specification,' Doctoral Thesis, University of Queensland, 1992
  10. Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Uthing, D., Paech, B., Wuest, J. and Zettel, J. Component-based Product Line Engineering with UML, Addison-Wesley, 2001
  11. Fischer, C., 'Combination and Implementation of Processes and Data: from CSP-OZ to Java,' Doctoral Thesis, University of Oldenburg, January 2000
  12. Soon-Kyeong Kim and David Carrington, 'A Formal Mapping between UML Models and Object-Z Specifications,' International Conference of Band Z Users, Springer Verlag, Berlin, 2000
  13. Booch, G., Rumbaugh, J. and Jacobson, I., The Unified Modeling Language User Guide, Addison-Wesley, 1998
  14. Butler, G., Grogono, P. and Khendek, F., 'A Z Specification of Use Cases: A Preliminary Report,' 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), IEEE Computer Society Press, Los Alamitos, CA, 1997 https://doi.org/10.1109/APSEC.1997.640207