• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제5권4호
• /
• pp.805-821
• /
• 2011

Wireless Sensor Networks (WSNs) are rapidly emerging because of their potential applications available in military and civilian environments. Due to unattended and hostile deployment environments, shared wireless links, and inherent resource constraints, providing high level security services is challenging in WSNs. In this paper, we revisit various security attack models and analyze them by using a well-known standard notation, Unified Modeling Language (UML). We provide a set of UML collaboration diagram and sequence diagrams of attack models witnessed in different network layers: physical, data/link, network, and transport. The proposed UML-based analysis not only can facilitate understanding of attack strategies, but can also provide a deep insight into designing/developing countermeasures in WSNs.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2016년도 제54차 하계학술대회논문집 24권2호
• /
• pp.25-26
• /
• 2016

본 논문에서는 효율적인 전투체계 소프트웨어 개발방안으로 UML(Unified Modeling Language)을 이용한 모델기반개발방법을 제시한다. UML은 소프트웨어 시스템을 모델링하기 위한 언어로 OMG(Object Management Group)에서 관리되고 있는 통합모델링언어이다. 본 논문에서 제시한 UML(Unified Modeling Language)을 이용하여 소프트웨어를 개발 할 경우, 표준화된 모델 언어를 사용하기 때문에 개발자들의 원활한 의사소통이 가능하여 시스템의 심각한 오류를 줄일 수 있다. 또한, 가독성이 높은 객체 모델들을 사용하기 때문에 추후 요구사항에 대한 소프트웨어 유지/보수에 용이하다는 장점을 가진다.

• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.109-116
• /
• 2022

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

• 한국컴퓨터산업학회논문지
• /
• 제5권9호
• /
• pp.1055-1062
• /
• 2004

UML(Unified Modeling Language)은 소프트웨어 시스템의 명세화, 시각화, 생성, 그리고 문서화를 목적으로 하는 언어이다. 본 연구에서는 소프트웨어의 잡화, 대형화 추세에 자동화응용 프로그램 생성 시스템들 중의 하나인 Together를 Agent의 BDI에 응용시키고 이를 컴포넌트 시스템의 상호 운영성에 대하여 고찰 한다. 상호 운용성은 컴포넌트간의 데이터 교환에 의해 이루어지며 컴포넌트의 타입이 다르더라도 서로 협력할 수 있는 표준 명세서(FIPA:Foundation for Inteligent Physical Agent)를 기반으로 ACL 메시지, 그리고 프로토콜을 사용하며 이를 객체지향 모델링을 통한 메타모델기반 등을 이용하여 구현 시 오류를 최소화하는 방법과 정확성과 일관성에 관하여 연구한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.397-399
• /
• 2001

Unified Modeling Language(UML)은 개발하고자 하는 시스템을 Visualizing, Specifying, Constructing, Documenting 화 해주는 graphical language 이다. 우리는 이러한 모델링 언어를 통하여, 객체지향 분석/설계 과정에 이용하고 있다. 그러나, EJB 로 Mapping 하기 위한 충분한 연구가 이루어지지 않아 개발자들이 EJB 로 UML 을 설계 및 구현을 명확하게 옮기지 못하였다. 본 논문에서는 이 점에 중점을 두고 UML Modeling 을 통해 설계 및 구현된 내용중 UML 의 Sequence Diagram 의 요소들을 EJB Bean으로의 구현시 Mapping 지침을 제시한다

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2017년도 제56차 하계학술대회논문집 25권2호
• /
• pp.21-24
• /
• 2017

본 논문은 함정 전투체계의 아키텍처를 설계하고 세부 기능을 분석 및 구현하기 위한 방안 연구를 위해 작성되었다. 함정 전투체계와 같이 복잡도 높은 대규모 시스템에서 문서 산출물에 근거한 개발은 산출물 간 유기적인 연결이 어렵고 요구조건의 변화에 따른 영향 요소 식별 및 반영이 어렵다는 단점을 갖는다. 이에 대한 대안으로 제시된 모델 기반 개발 방법론을 함정 전투체계에 적용하기 위해 미 국방 분야 표준 아키텍처인 DoDAF와 이를 지원하는 UPDM, 시스템 엔지니어링과 소프트웨어 엔지니어링 분야의 모델링을 지원하는 SYSML/UML을 살펴보고 함정 전투체계에 적합한 모델 구성 및 각 개발 단계 별 모델링을 수행하는 절차에 대한 가이드라인을 제시한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권8호
• /
• pp.721-730
• /
• 2007

UML(Unified Modeling Language)은 대부분의 소프트웨어 개발 방법론에서 목표로 하는 소프트웨어를 분석.설계하기 위하여 널리 사용되며, UML로 작성된 산출물을 기반으로 목표 소프트웨어를 구축한다. 그러나 방법론에서 모델링에 대한 가이드라인이 보통 자연어로 기술되어 있기 때문에 목표 소프트웨어를 위한 모델이 이를 적절히 준수하고 있는가의 검증이 어렵다는 문제점을 가지고 있다. 본 논문에서는 실시간 내장형 시스템(Real-time Embedded System)을 위한 방법론인 COMET방법론을 대상으로 모델링의 가이드라인을 표현하고, 표현된 가이드라인을 기반으로 모델을 평가할 수 있는 룰 기반 COMET 방법론 가이드라인 평가 프레임워크인 GARDIAN을 제안한다. 제안된 프레임워크의 유용성을 검증하기 위하여 비전문가가 UML을 사용하여 분석.설계한 지능형 로봇의 주행 시스템에 프레임워크를 적용하여 보았다.

• International Journal of Computer Science & Network Security
• /
• 제21권1호
• /
• pp.84-96
• /
• 2021

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies in this area can produce theoretical results that strengthen UML as the leading modeling language. Recently, a new modeling technique has been proposed called thinging machine (TM) modeling. This paper utilizes TM to further understand UML, with two objectives: (a) Fine issues in UML are studied, including theoretical notions such as events, objects, actions, activities, etc. Specifically, TM can be used to solve problems related to internal cross-diagram integration. (b) TM applies a different method of conceptualization, including building a model on one-category ontology in contrast to the object-oriented paradigm. The long-term objective of this study is to explore the possibility of TM complementing certain aspects in the UML methodology to develop and design software systems. Accordingly, we alternate between UML and TM modeling. A sample UML model is redesigned in TM, and then UML diagrams are extracted from TM. The results clarify many notions in both models. Particularly, the TM behavioral specification seems to be applicable in UML.

• 산업공학
• /
• 제16권2호
• /
• pp.156-166
• /
• 2003

Proposed in this paper is a standard-compliant business process modeling tool which is based on the UML(Unified Modeling Language) activity diagram and produces an XPDL(XML Process Definition Language) file as an output. The XPDL is a standard process definition exchange format by WfMC (Workflow Management Coalition). To develop an UML/XPDL-based modeling tool, the mapping of modeling elements between activity diagram and XPDL format is conducted after the detailed analysis of each modeling specification. As a result of this mapping, it is revealed that modeling elements of each activity diagram and XPDL must be expanded. So new modeling elements are identified and added to each specification. Based on this mapping, the prototype system is developed, and the usefulness of the developed system is shown through the case study.

• 한국전자거래학회지
• /
• 제8권4호
• /
• pp.239-252
• /
• 2003

품질 좋은 소프트웨어란 성능이 뛰어나고 가격 이 저렴한 소프트웨어를 일컫는 말이다. 또한, 시장 요구에 부응하는 서비스를 지원하면서도 오류가 적고 유지보수하기 쉬운 구조를 가져야 한다. 이 모든 것을 충족하는 소프트웨어를 개발하기 위한 방법으로 최근 CBD (Component Based Development)가 각광 받고 있다. CBD (Component Based Development) 확산과 더불어 컴포넌트 구성, 기능, 호환성, 신뢰성을 위한 컴포넌트 테스트를 수행하고 있으나 이것만으로는 CBD (Component Based Development) 기반 소프트웨어 품질을 보장할 수 엄다. 높은 신뢰성, 유지보수성, 재활용 성을 가지는 단위 컴포넌트라도 조립, 통합 후에는 의도한 요구사항을 만족시키지 못하고 문제를 일으킬 수도 있으므로 이에 대한 통합 테스트 기법이 필요하다. 본 논문은 UML (Unified Modeling Language)기반 소프트웨어 개발에 컴포넌트 통합 테스트를 위한 것이고, 테스트 기법은 UML (Unified Modeling Language)의 순차다이어그램과 협력다이어그램을 참조하여 컴포넌트 사이 인터페이스에 존재하는 결점을 추출하는 테스트기법이다.