Rules for verifying the consistency of transformation of PIM to EJB based PSM

PIM에서 EJB기반의 PSM으로 변환에 대한 일관성 검증 규칙

  • 김동규 (숭실대학교 대학원 컴퓨터학과) ;
  • 이현정 (숭실대학교 대학원 컴퓨터학과) ;
  • 정기원 (숭실대학교 대학원 컴퓨터학과)
  • Published : 2004.10.01

Abstract

MDA 기반 개발을 지원하는 도구를 사용하여 모델 변환을 수행하거나 또는 수동으로 모델을 변환하는 경우 두 모델간에 변환의 일관성 검증은 반드시 필요하다. 본 논문에서는 현재 개발 지원 도구에서 자동으로 수행되고 있는 MDA 핵심 개념인 모델 변환 가운데 한 가지인 PIM에서 PSM으로의 변환이 일관성을 유지하면서 정확하게 수행되었는가를 검증할 수 있는 기준으로 구성 요소간의 추적성과 데이터 타입변환의 정확성을 도출하였다. 이에 따라 모델간의 일관성을 검증하기 위한 규칙을 추적성과 정확성으로 구분하여 제시한다.

Keywords