한국군사과학기술학회지 (Journal of the Korea Institute of Military Science and Technology)

  • 제24권6호
  • /
  • Pages.664-675
  • /
  • 2021
  • /
  • 1598-9127(pISSN)
  • /
  • 2636-0640(eISSN)
한국군사과학기술학회 (The Korea Institute of Military Science and Technology)
권호 표지
DOI QR코드

DOI QR Code

UML Sequence Diagram을 활용한 공대공 교전 전술 명세

The Specification of Air-to-Air Combat Tactics Using UML Sequence Diagram

  • 박명환 (공군사관학교 전산정보학과) ;
  • 오지현 (국방과학연구소 항공기술연구원) ;
  • 김천영 (국방과학연구소 항공기술연구원) ;
  • 설현주 (충남대학교 국가안보융합학부)
  • Park, Myunghwan (Department of Computer Science and Information, Korea Air Force Academy) ;
  • Oh, Jihyun (Aerospace Technology Research Institute, Agency for Defense Development) ;
  • Kim, Cheonyoung (Aerospace Technology Research Institute, Agency for Defense Development) ;
  • Seol, Hyeonju (School of Integrated National Security, Chungnam National University)
  • 투고 : 2021.02.25
  • 심사 : 2021.09.30
  • 발행 : 2021.12.05
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

Air force air-to-air combat tactics are occurring at a high speed in three-dimensional space. The specification of the tactics requires dealing with a quite amount of information, which makes it a challenge to accurately describe the maneuvering procedure of the tactics. The specification of air-to-air tactics using natural languages is not suitable because of the intrinsic ambiguity of natural languages. Therefore, this paper proposes an approach of using UML Sequence Diagram to describe air-to-air combat tactics. Since the current Sequence Diagram notation is not sufficient to express all aspects of the tactics, we extend the syntax of the Sequence Diagram to accommodate the required features of air-to-air combat tactics. We evaluate the applicability of the extended Sequence Diagram to air-to-air combat tactics using a case example, that is the manned-unmanned teaming combat tactic. The result shows that Sequence Diagram specification is more advantageous than natural language specification in terms of readability, conciseness, and accuracy. However, the expressiveness of the Sequence Diagram is evaluated to be less powerful than natural language, requiring further study to address this issue.

키워드

과제정보

본 연구는 국방과학연구소의 지원(UD200021JD)에 의해 수행되었으며, 이에 감사드립니다.

참고문헌

  1. Fowler. M, "UML Distillied, Third Edition," The Addison-Wesley, 2003.
  2. SCHMULLER. J, "Teach Yourself UML in 24 Hours," Indianapolis, SAMS, 1999.
  3. Refsdal. A and Stolen. K, "Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis," Electronic Notes in Theoretical Computer Science, Vol. 197, No. 2, pp. 15-29, 2008. https://doi.org/10.1016/j.entcs.2007.12.014
  4. Haugen. O, Husa.K. E, Runde. R. K, and Stolen. K, "STAIRS Towards Formal Design with Sequence Diagrams," Software and Systems Modeling, Vol. 4, No. 4, pp. 355-357, 2005. https://doi.org/10.1007/s10270-005-0087-0
  5. Misbhauddin. M and Alshayeb. M, "Extending the UML Metamodel for Sequential Diagram to Enhance Model Traceability," Proceedings of the Fifth International Conference on Software Engineering Advances, 2010.
  6. Silva. V. T and Lucena. C. J, "Extending the UML Sequence Diagram to Model the Dynamic Aspects of Multi-Agent Systems," Rio de Janeiro, Brazil, MCC 15/03, 2003.
  7. Padilla. G, Serrano. M. A, and Oca. C. M, "A UML Sequence Diagram Extension to Handle Multiplicities," Proceedings of the Fifth Mexican International Conference in Computer Science, 2004.
  8. Ketema K. G, "Challenges and Opportunity of UML Diagram for Software Project Development as a Complete Modeling Tool," IOSR-JMCA, Volume 7, pp. 46-48, 2020.
  9. Miles R and Hamilton K, "Learning UML 2.0," O'Reillv Online Learning Platform, 2006.
  10. Unnati. S. S and Devesh C. J, "Resolving Ambiguity in Natural Language Specification to Generate UML Diagrams for Requirements Specification," International Journal of Software Engineering, Technology and Application, Vol. 1, pp. 308-334, 2015. https://doi.org/10.1504/IJSETA.2015.075638
  11. Kim J, Byun Y, Jo B, "The Study of Operation Concept and Development Direction of Air-to-Air Unmanned Fighter Using COBRA Model," KIDA Defense Analysis(Korean Edition), Vol. 1625, 2016.