Browse > Article
http://dx.doi.org/10.9708/jksci.2022.27.05.109

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

Jung, Seung-Mo (School of Computer Science and Engineering, KyungPook National University)
Lee, Woo-Jin (School of Computer Science and Engineering, KyungPook National University)
Publication Information
Journal of the Korea Society of Computer and Information / v.27, no.5, 2022 , pp. 109-116 More about this Journal
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.
Keywords
Unified Modeling Language; Model Driven Development; Model Verification System; Modeling Tool; Naval Combat System Software;
Citations & Related Records
연도 인용수 순위
  • Reference
1 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.
2 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.   DOI
3 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.
4 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.   DOI
5 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.   DOI
6 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.   DOI
7 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.
8 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.   DOI
9 Modeling tool Rational Rhapsody from IBM, Homepage : https://www.ibm.com/kr-ko/products/systems-design-rhapsody
10 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.   DOI
11 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.   DOI
12 Jang, Chang Ki, "Effect of Collaboration Tools on Stakeholders' Communication in Software Development Project," The Graduate School of Information Yonsei University, 2022.
13 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.   DOI
14 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.   DOI
15 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.   DOI