Annual Conference of KIPS (한국정보처리학회:학술대회논문집)

  • 2005.05a
  • /
  • Pages.349-352
  • /
  • 2005
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

A USE command Generator for the efficiency of model verifications

USE 모델검증 효율화를 위한 명령어 생성기

  • Ha, Il-Kyu (Dept. of Computer Engineering, Yeung-nam University) ;
  • Kang, Byong-Uk (Dept. of Computer Engineering, Yeung-nam University)
  • 하일규 (영남대학교 컴퓨터공학과) ;
  • 강병욱 (영남대학교 컴퓨터공학과)
  • Published : 2005.05.13
Download PDF
⟨ Previous Next ⟩

Abstract

USE는 OCL(Object Constraint Language)로 작성된 UML 다이어그램의 제약조건을 검증해볼 수 있는 가장 뛰어난 도구이다. USE는 다이어그램에 적용되는 제약조건을 미리 저장해두고 검증 다이어그램을 명령어 형태로 입력받아 정확성 또는 일관성을 검증하는데 사용된다. 본 연구에서는 이러한 검증과정의 복잡함을 줄이기 위하여, UML 모델링 시에 검증 대상이 되는 다이어그램의 USE 명령어를 생성하는 효율적인 도구를 설계하고 구현한다.

Keywords