모델 검증 시스템을 활용한 함정전투체계 소프트웨어에 일관된 UML 모델 적용 방법에 관한 연구
A Study on Applying a Consistent UML Model to Naval Combat System Software Using Model Verification System
0
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
최근 대규모 소프트웨어 개발하는 데 있어 불명확한 의사소통을 해결하기 위해 가독성이 높은표준화된 UML(Unified Modeling Language) 모델 중심의 모델 기반 개발 방법이 적용되고 있다. 하지만 소프트웨어 개발자들의 숙련도, 모델 및 모델링 도구의 이해도에 따라 대규모 소프트웨어에일관성 있는 UML 모델을 적용하기에는 어려움이 발생한다. 이에 본 논문에서는 소프트웨어 개발에 일관성 있는 UML 모델을 적용하기 위한 모델 검증 시스템 개발 방법을 제시한다. 그리고 개발된 모델 검증 시스템을 함정 전투체계 소프트웨어 개발에 일부 적용하여 기능을 입증한다. 모델 검증 시스템은 개발자들이 작성한 모델들을 도메인 특성에 맞게 자동으로 검증할 수 있는 기능을 제공한다. 본 논문에서 제안한 모델 검증 시스템을 사용하면 함정 전투체계 소프트웨어 개발에 좀 더 쉽게 일관성 있는 UML 모델을 적용할 수 있는 장점을 가진다.
Abstract
Recently, a model-based development method centered on highly readable and standardized UML (Unified Modeling Language) models has been applied to solve unclear communications in large-scale software development. However, it is difficult to apply consistent UML models depending on software developers' proficiency, understanding of models and modeling tools. In this paper, we propose a method for developing a Model Verification System to apply an consistent UML model to software development. Then, the developed Model Verification System is partially applied to the Naval Combat System Software development to prove its function. The Model Verification System provides automatic verification of models created by developers according to domain characteristics. If the Model Verification System proposed in this paper is used, It has the advantage of being able to apply the consistent UML model more easily to Naval Combat System Software Development.
참고문헌 (15)
- Jang, Chang Ki, "Effect of Collaboration Tools on Stakeholders'Communication in Software Development Project", pp.2022
- 김석관, "시스템 통합(SI) 구축 사업 품질 향상을 위한 연구", 한국정보전자통신기술학회 논문지, 11(3), pp.215~220 (2018), 한국정보전자통신기술학회
- 김현식, "UML을 활용한 미래전 대비 포병 사격지휘 자동화 발전방향 연구", 한국CDE학회 논문집, 23(4), pp.394~403 (2018), 한국CDE학회[DOI]
- 김윤호, "UML 다이어그램을 위한 다이어그램 레포지토리의 정보구조화", 한국정보통신학회논문지, 23(12), pp.1588~1595 (2019), 한국정보통신학회[DOI]
- 정승모, "UML을 이용한 효율적인 전투체계 소프트웨어 모델 기반 개발 방법에 대한 연구", 한국컴퓨터정보학회논문지, 21(10), pp.115~123 (2016), 한국컴퓨터정보학회
- G. Martin, "UML for Embedded Systems Specification and Design : Motivation and Overview", Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition, pp.773~775 (2002)
- M. U. Khan, "Model-Driven Development of Real-Time Systems with UML 2.0and C", MBD-MOMPES'06, pp.10~42 (2006)
- 하일규, "상호점검규칙에 의한 UML 다이어그램의 일관성 개", 한국정보통신학회논문지, 16(6), pp.1291~1299 (2012), 한국정보통신학회[DOI]
- Francisco J. Lucas, "A systematic review of UML model consistency management", Information and Software Technology, 51(12), pp.1631~1645 (2009)
- M. Usman, "A survey of Consistency Checking Techniques for UML Models", 2008 Advanced Software Engineering and Its Applications, pp.57~62 (2008)
- G. Engles, "Testing the Consistency of Dynamic UML diagrams", Proc. Sixth International Conference on Integrated Design and Process Technology (IDPT 2002) (2002)
- B. Graaf, "Model-Driven Consistency Checking of Behavioral Specifications", MOMPES'07, pp.115~126 (2007)
- 권상민, "가상화를 적용한 고효율 함정 전투체계 설계 및 성능 분석", 한국컴퓨터정보학회논문지, 23(11), pp.9~15 (2018), 한국컴퓨터정보학회[DOI]
- "Modeling tool Rational Rhapsody from IBM"[URL]
- 송경섭, "함정 전투 시스템을 위한 메시지 지향 모델링 도구 설계", 전자공학회논문지, 51(2), pp.197~204 (2014), 대한전자공학회