객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법Techniques to Transform Object-oriented Design into Component-based Design Formal Specifications using Formal Specifications
- Other Titles
- Techniques to Transform Object-oriented Design into Component-based Design Formal Specifications using Formal Specifications
- Authors
- 신숙경; 이동국; 김수동
- Issue Date
- Jul-2004
- Publisher
- 한국정보과학회
- Keywords
- Object-oriented design; Component-based design; Formal specification; Program transformation; Object-oriented design; Component-based design; Formal specification; Program transformation; 객체지향 설계; 컴포넌트 설계; 정형명세; 프로그램 변환
- Citation
- 정보과학회논문지 : 소프트웨어 및 응용, v.31, no.7, pp.883 - 900
- Journal Title
- 정보과학회논문지 : 소프트웨어 및 응용
- Volume
- 31
- Number
- 7
- Start Page
- 883
- End Page
- 900
- URI
- http://scholarworks.bwise.kr/ssu/handle/2018.sw.ssu/20527
- ISSN
- 1229-6848
- Abstract
- 재사용성과 확장성을 높이는 객체지향 개발이 보편화 되면서 새로운 소프트웨어를 개발할 경우 기 개발되어 검증된 객체지향 산출물을 재사용함으로써 개발기간을 단축하고 품질을 향상할 수 있다. 이렇게 성능이 검증된 기 개발된 객체지향 산출물을 이용하여 컴포넌트 기반 모델로 변환하면 짧은 기간에 고품질의 컴포넌트 기반 시스템을 구축할 수 있다.본 논문에서는 이미 개발되어 있는 객체지향 설계 모델을 이용하여 컴포넌트 기반 설계로 변환하되 변환의 정확성을 위해 정형명세 기법을 사용한다. 컴포넌트 기반 설계를 정형명세하기 위해 컴포넌트 정형명세 언어를 정의한다. 그리고 객체지향 설계의 정적, 동적, 기능적 측면을 정형명세 언어 Object-Z를 사용하여 정형명세하는 기법을 제시한 후, 객체지향 정형명세를 컴포넌트 정형명세로 변환하는 기법을 제시한다. 사례연구는 제시된 변환 기법을 적용하여 객체지향 정형명세가 컴포넌트 기반 정형명세로의 변환과정을 설명한다.
- Files in This Item
-
Go to Link
- Appears in
Collections - College of Information Technology > School of Software > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.