Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2006.06c
  • /
  • Pages.181-183
  • /
  • 2006
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Time Consistency Checking on UML 2.0 Behavioral Models Using OCL

OCL을 이용한 UML 2.0 행위 모델의 시간 일관성 검사

  • Han Ah-Rim (Division of Computer Science, Dept. of EECS KAIST) ;
  • Jeon Sang-Uk (Division of Computer Science, Dept. of EECS KAIST) ;
  • Hong Jang-Eui (School of Electric and Computer Engineering , Chungbuk National University) ;
  • Bae Doo-Hwan (Division of Computer Science, Dept. of EECS KAIST)
  • 한아림 (한국과학기술원 전자전산학과) ;
  • 전상욱 (한국과학기술원 전자전산학과) ;
  • 홍장의 (충북대학교 전기전자컴퓨터공학부) ;
  • 배두환 (한국과학기술원 전자전산학과)
  • Published : 2006.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

UML 2.0의 시퀀스 다이어그램은 실시간 특성을 표기할 수 있는 표기법이 추가됨으로써 시간의 엄격성이 중요하게 여겨지는 임베디드 소프트웨어의 행위를 보다 정확하고 상세하게 모델링 할 수 있게 되었다. 시퀀스 다이어그램은 전체 시스템의 부분적인 행위를 기술하여 같은 행위가 여러 다이어그램에 걸쳐서 기술되어지므로 이들 다이어그램들은 서로 일관성을 가져야 하는데 복잡한 시스템에서 일관성을 검사하는 것은 어려운 일이다. 본 논문에서는 행위 모델을 표현하는 시퀀스 다이어그램과 다른 다이어그램에 기술된 실시간 특성들의 일관성을 자동으로 검사할 수 있는 방법을 제안한다. 먼저 서로 다른(inter) 다이어그램들 사이의 시간적인 일관성을 유지하기 위한 제약사항을 파악하여 정의한다. 그리고 모델을 구성하는 인스턴스들에 대한 제약사항을 OCL로 기술하는데 이는 UML 2.0이 발표되면서 모델의 의미를 정확하고 상세하게 표현할 수 있는 메타 모델과 그들의 연관관계가 추가되고 명확하게 정의됨에 따라 가능하게 된 것이다. 이렇게 OCL로 정형화되어 기술된 식은 UML 2.0 메타 모델을 이용한 어느 모델에나 적용 가능하며 모델의 문제점을 발견하고 정확한 모델을 구축하도록 도와준다.

Keywords