모델 검증 시스템을 활용한 함정전투체계 소프트웨어에 일관된 UML 모델 적용 방법에 관한 연구

A Study on Applying a Consistent UML Model to Naval Combat System Software Using Model Verification System

초록

최근 대규모 소프트웨어 개발하는 데 있어 불명확한 의사소통을 해결하기 위해 가독성이 높은표준화된 UML(Unified Modeling Language) 모델 중심의 모델 기반 개발 방법이 적용되고 있다. 하지만 소프트웨어 개발자들의 숙련도, 모델 및 모델링 도구의 이해도에 따라 대규모 소프트웨어에일관성 있는 UML 모델을 적용하기에는 어려움이 발생한다. 이에 본 논문에서는 소프트웨어 개발에 일관성 있는 UML 모델을 적용하기 위한 모델 검증 시스템 개발 방법을 제시한다. 그리고 개발된 모델 검증 시스템을 함정 전투체계 소프트웨어 개발에 일부 적용하여 기능을 입증한다. 모델 검증 시스템은 개발자들이 작성한 모델들을 도메인 특성에 맞게 자동으로 검증할 수 있는 기능을 제공한다. 본 논문에서 제안한 모델 검증 시스템을 사용하면 함정 전투체계 소프트웨어 개발에 좀 더 쉽게 일관성 있는 UML 모델을 적용할 수 있는 장점을 가진다.

키워드

Unified Modeling Language; Model Driven Development; Model Verification System; Modeling Tool; Naval Combat System Software; 통합모델링언어; 모델기반개발; 모델검증시스템; 모델링 도구; 함정전투체계 소프트웨어
제목
모델 검증 시스템을 활용한 함정전투체계 소프트웨어에 일관된 UML 모델 적용 방법에 관한 연구
제목 (타언어)
A Study on Applying a Consistent UML Model to Naval Combat System Software Using Model Verification System
저자
정승모; 이우진
DOI
10.9708/jksci.2022.27.05.109
발행일
2022-05
유형
Y
저널명
한국컴퓨터정보학회논문지
권
27
호
5
페이지
109 ~ 116