$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

A Study on Applying a Consistent UML Model to Naval Combat System Software Using Model Verification System 원문보기

韓國컴퓨터情報學會論文誌 = Journal of the Korea Society of Computer and Information, v.27 no.5, 2022년, pp.109 - 116  

Jung, Seung-Mo (School of Computer Science and Engineering, KyungPook National University) ,  Lee, Woo-Jin (School of Computer Science and Engineering, KyungPook National University)

초록
AI-Helper 아이콘AI-Helper

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

Abstract ▼ AI-Helper 아이콘AI-Helper

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 developer...

주제어

#통합모델링언어   #모델기반개발   #모델검증시스템   #모델링 도구   #함정전투체계 소프트웨어  

표/그림 (12)

AI 본문요약
AI-Helper 아이콘 AI-Helper

문제 정의

  • 본 논문에서는 함정 전투체계 소프트웨어 개발에 일관 성 있는 UML 모델을 적용하기 위한 모델 검증 시스템 개 발방안을 제안하였고 개발환경 및 개발과정에 대해서 설 명하였다. 그리고 개발된 모델 검증 시스템을 함정 전투체 계 소프트웨어 모듈에 일부 적용하면서 기능 또한 입증 하였다.
  • 모델 검증 시스템은 개발자들이 작성한 UML 모델 들을 입력으로 받아 도메인 특성에 맞게 자동으로 검증할 수 있는 기능을 제공한다. 이를 통해 함정 전투체계 소프 트웨어 모델 적용의 정확성 및 일관성 있는 UML 모델들 을 적용 하는데 그 목적을 가진다. 본 논문에서 제시한 모 델 검증 시스템의 기능을 소프트웨어 개발에 활용한다면 더욱 신속한 시간에 일관성 있는 UML 모델들을 소프트웨 어 개발에 적용할 수 있다.
  • 이에 본 논문에서는 함정 전투체계 소프트웨어 개발에 일관성 있는 UML 모델을 적용하기 위한 모델 검증 시스 템 (MVS : Model Verification System) 개발방안을 제시 한다. 모델 검증 시스템은 개발자들이 작성한 UML 모델 들을 입력으로 받아 도메인 특성에 맞게 자동으로 검증할 수 있는 기능을 제공한다.
본문요약 정보가 도움이 되었나요?

참고문헌 (15)

  1. Jang, Chang Ki, "Effect of Collaboration Tools on Stakeholders' Communication in Software Development Project," The Graduate School of Information Yonsei University, 2022. 

  2. Seok-Kwan Kim, Gab-Sang Ryu, "Research for improving quality of SI(System integration) development project," The Journal of Korea Institute of Information, Electronics, and Communication Technology, Vol.11 No.3, pp. 215-220. Jun. 2018. 

    원문보기 상세보기 crossref

  3. Hyunsik Kim, Seokjun Hong, Dongho Kwon, Juhyun Kim, and Jungmok Ma, "The Study on Automated Artillery Fire Direction for Future Warfare with UML," Korean Journal of Computational Design and Engineering, Vol. 23, No. 4, pp. 394-403. Dec. 2018. 

    상세보기 crossref

  4. Yun-Ho Kim, "Information Structuring of Diagram Repository for UML Diagrams," Journal of the Korea Institute of Information and Communication Engineering, Vol. 23, No. 12, pp.1588~1595, Dec. 2019. 

    원문보기 상세보기 crossref

  5. Seung-Mo Jung, Young-Ju Lee, "A Study on the Model Driven Development of the Efficient Combat System Software Using UML," Journal of the Korea Society of Computer and Information, Vol. 23, No. 10, pp. 115-123, Oct. 2016. 

  6. G. Martin, "UML for Embedded Systems Specification and Design : Motivation and Overview," Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition, 2002, pp. 773-775, Mar. 2002. DOI: 10.1109/DATE.2002.998386. 

    crossref

  7. M. U. Khan, K. Geihs, F. Gutbrodt, P. Gohner, and R. Trauter, "Model-Driven Development of Real-Time Systems with UML 2.0 and C," MBD-MOMPES'06, pp. 10-42, Mar. 2006. DOI: 10.1109/MBD-MOMPES.2006.21. 

    crossref

  8. Ha Il-Kyu, "Improvement of Consistency for UML Diagrams with Cross Checking Rules," Journal of information and communication convergence engineering. vol. 16, no. 6, pp. 1291-1299, Jun. 2012. 

  9. Francisco J. Lucas, Fernando Molina and Ambrosio Toval, "A systematic review of UML model consistency management," Information and Software Technology. vol. 51, no. 12, pp. 1631-1645, May. 2009. 

    상세보기 crossref

  10. M. Usman, A. Nadeem, "A survey of Consistency Checking Techniques for UML Models," 2008 Advanced Software Engineering and Its Applications, pp. 57-62, Dec. 2008. DOI: 10.1109/ASEA.2008.40. 

    crossref

  11. G. Engles, J. H. Hausmann, R. Heckel and S. Sauer, "Testing the Consistency of Dynamic UML diagrams," Proc. Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), 2002. 

  12. B. Graaf and A-V. Deursen, "Model-Driven Consistency Checking of Behavioral Specifications," MOMPES'07, pp. 115-126, Mar. 2007. DOI: 10.1109/MOMPES.2007.12. 

    crossref

  13. Sang-Min Kwon, Seung-Mo Jung, "Virtualization based high efficiency naval combat management system design and performance analysis," Journal of the Korea Society of Computer and Information Vol. 23, No. 11, pp. 9-15, Nov. 2018. 

    원문보기 상세보기 crossref

  14. Modeling tool Rational Rhapsody from IBM, Homepage : https://www.ibm.com/kr-ko/products/systems-design-rhapsody 

  15. S. Kyoung-Sub, K. Dong-Seong, C. Yoon-Suk, "A Design of Message Oriented Management and Analysis Tool for Naval Combat Systems", Journal of the Institute of Electronics and Information Engineers, Vol. 51, NO. 2, pp. 197-204, Feb. 2014. 

    원문보기 상세보기 crossref

관련 콘텐츠

오픈액세스(OA) 유형

FREE

Free Access. 출판사/학술단체 등이 허락한 무료 공개 사이트를 통해 자유로운 이용이 가능한 논문

저작권 관리 안내
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로