• 한국시뮬레이션학회논문지
• /
• 제14권2호
• /
• pp.57-71
• /
• 2005

A simulation for the analysis of the evasive capability of a conventional costal submarine against a light Anti-Submarine Warfare (ASW) torpedo has been studied. The Torpedo, Submarine Controller, Devoy, and Jammer models of this simulation are analysised and designed using Unified Modeling Language (UML) and in addition they are modeled Discrete Event System Specification (DEVS). We examine maximum speed, acceleration, countermeasure systems capabilities of a submarine, and sonar range of a torpedo as the factors which affect the evasive capability of the submarine. This paper shows the relationships between those various factors and the submarine's evasive capability as the outcome of the simulation. The simulation models can be applied for simulation based acquisition (SBA) of a submarine system.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.391-393
• /
• 2004

본 논문에서는 실시간 객체 지향 모델의 시나리오 기반 다중 쓰레딩에 대한 실험적 평가를 위해 PBX (Private Branch eXchange, 사설 교환기) 시스템에 대한 사례 연구 결과를 제시한다. 사용된 PBX 시스템은 재구성 가능한 동적 구조와 전형적인 계층 구조와 같은 실세계의 응용들에서 발견되는 많은 특징을 보인다 이 실험적 연구는 (1) 설계자의 사용 편리성과 (2) 결과적인 실행 바이너리의 성능이 얼마나 향상되는지를 평가하는 것을 목적으로 한다. 본 논문에서는 우리의 도구를 통해 시나리오 기반 다중 쓰레딩 실행 바이너리를 생성하는 것과 함께 시나리오를 모델링하기 위해 이를 어떻게 적응하는지를 보인다 이 사례 연구는 우리의 방법이 규모의 복잡한 모델을 다룰 수 있으며 시나리오 기반 다중 쓰레딩이 실세계 모델에 대하여 성능 향상을 가져오는 것을 명백하게 보여준다.

• 한국측량학회지
• /
• 제38권6호
• /
• pp.533-542
• /
• 2020

본 연구는 지하시설물 중 상수도 부문을 대상으로 국제표준을 준용한 공간 데이터 모델의 논리적 모델을 제시한다. 이를 위하여 국내·외 관련 표준 및 선행연구, 기 구축된 지하시설물통합체계 및 지하공간통합지도에 대한 현황 검토를 수행한다. 이후 선행연구 고찰 및 현황 검토를 통해 도출된 문제점 및 이슈를 토대로 상수도 부문 지하시설물 데이터 모델의 개념적 설계 방향을 마련한다. 설계 방향에 따라 상수도 부문 지하시설물 용어 및 분류 체계 정의, 객체 간의 위상 관계 등을 정의하고, UML (Unified Modeling Language)다이어그램을 이용하여 국제표준으로 제정된 ISO, OGC 등의 준거 모델에 해당하는 표준들을 참조하여 국내 지하 공간 환경에 적합한 새로운 형태의 참조 모델을 마련한다. 다음으로 상수도 부문 지하 공간 데이터 모델의 개념적 설계를 위해서 상수도 분류 체계에 따라 지하시설물 구축에 필요한 모든 데이터에 작명 기준을 규정하고, 그 기준에 따라 표준 항목 명칭을 부여한다. 또한 UML 다이어그램을 활용하여 논리적 모델을 묘화 및 기술한다. 해당 결과물을 토대로 지하시설물 데이터와 관련된 정확도를 제고할 것으로 사료된다.

• 한국멀티미디어학회논문지
• /
• 제11권4호
• /
• pp.525-543
• /
• 2008

최근 들어 소프트웨어 개발에 있어서 사용자 인터페이스가 차지하는 비중이 급증하고 있다. 이로 인해 스윙, MFC, Web 2.0 등과 같은 다양한 사용자 인터페이스 개발 관련 기술들이 소개되고 있다. 그러나 현재 대부분의 소프트웨어 개발에 있어서는 사용자 인터페이스 부분과 비즈니스 부분을 별도로 개발하는 프로세스로 진행되고 있다. 이로 인해 통합 과정에서의 어려움, 개발 기간의 연장, 개발 모델의 재사용성의 저하등과 같은 문제점들이 발생하고 있다. 즉, UI 모델링이 체계적이고 계층적이지 못하며, UI 모델링과 비즈니스 모델링간의 일관성있는 통합 기법을 제공치 않아, 구축 모델의 확장성과 재사용성의 저하를 초래하고 있다. 본 논문은 이를 해결하기 위해 개발 단계의 추상화 수준에 따른 계층적 메타모델을 사용해서 단일화되고 체계적인 UML 기반의 사용자 인터페이스 모델링 프로세스를 제시한다. 이를 위해, 개발의 성숙도에 준거하여 PIM/PSM으로 UI 모델의 모델링 요소를 계층화하여 메타모델을 제시한다. 3 단계 모델링(개념/명세/상세)에 의해 UI 및 비즈니스 메타모델을 적용해서 UI 모델링과 비즈니스 모델링이 통합된 계층적인 모델링 프로세스를 정립한다. 제시한 프로세스를 인터넷 쇼핑몰에 적용해 봄으로써 실효성을 제시한다. 실험 결과를 통해 계층적 UI 메타모델 및 프로세스가 체계적이고 계층적인 UI 모델을 구축할 수 있다. 이는 모델의 품질과 재 사용성을 향상시킬 수 있었다.

• 한국전자거래학회지
• /
• 제14권1호
• /
• pp.13-34
• /
• 2009

최근 유비쿼터스 컴퓨팅 기술이 발전함에 따라서 유비쿼터스 컴퓨팅 기술을 이용한 다양한 서비스들이 개발되고 있고, 일부 u-서비스들은 상용화되고 있다. 이와 더불어 u-서비스의 비즈니스 모델에 대한 연구의 중요성 또한 커지고 있다. 하지만 비즈니스 모델에 대한 명확한 정의가 없고, 작성되는 비즈니스 모델의 방법론이 통일되지 않는 등 u-서비스에 대한 구조적인 비즈니스 모델을 작성하는 구조적인 방법론이 아직 거의 존재하지 않는다. 더욱이 현재 개발된 비즈니스 모델 작성 및 분석 방법론은 기존 전통적인 서비스나 e-service를 대상으로 작성된 반면 u-service의 특성에 대한 고려가 되고 있지 않다. 따라서 본 논문에서는 비즈니스 모델 개념의 정의와 비즈니스 모델의 설계, 분석에 이르는 비즈니스 모델에 대한 통합 방법론을 개발하는 것이 목적이다. 이를 위해 u-서비스에 맞는 모델 컴포넌트를 포함한 비즈니스 모델링 다이어그램(BMD)라고 하는 도구를 제안하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.431-442
• /
• 2009

소프트웨어 제품 생산 라인(Software Product Line) 공학은 새로운 소프트웨어 개발 패러다임으로 각광받고 있다. SPL에 FORM(Feature-Oriented Reuse Method) 방법론을 적용하면, 휴대전화나 디지털TV 같이 공통점이 많은 제품군의 다양한 소프트웨어를 휘처 모델링을 통해 만들어진 재사용 가능하고 유연한 컴포넌트를 조합하여 생산해 낼 수 있다. 한편, MDA(Model Driven Architecture) 방법론은 PIM(Platform Independent Model) 을 통해 다양한 개별 플랫폼을 위한 소프트웨어를 생산할 수 있게 하는 새로운 기술을 제공한다. 위 두 가지 방법론의 장점을 조합하면 공통점을 공유하면서 다양한 플랫폼에서 동작하는 제품군의 소프트웨어를 생산하는데 도움이 된다. 이 논문에서는 FORM 방법론과 MDA 방법론을 조합하기 위해 먼저, 프로파일링 기법을 통해 UML2.0을 확장하여 FORM 아키텍처와 Parameterized Statechart 모델링이 가능하게 한다. 다음으로, 휘처가 휘처 모델과 Parameterized Statechart사이에서 일관성 있게 element의 형태로 위치하고 있는지 검증하는 일관성 규칙을 제공한다. 몇 가지 규칙은 FORM 아키텍처와 Parameterized Statechart 사이의 일관성을 검사하기 위해 고안되었다. 마지막으로, 엘리베이터 시스템의 사례연구를 통해 이 논문에서 제안하는 모델링 기법과 일관성 검사 법칙의 유효성을 제시한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제12권2호
• /
• pp.129-140
• /
• 2006

기존 소프트웨어 개발 프로세스는 분석 단계보다는 설계나 구현 단계만을 강조하고 있으며 서브시스템이 많은 복잡한 비즈니스 애플리케이션 분석 시 분석가의 경험이나 업무 지식의 차이에 따라 스타일과 추상화 레벨이 다른 분석 산출물을 작성하게 된다. 이러한 분석 산출물은 산출물 일관성이나 가독성에 영향을 미친다. 본 논문에서는 많은 서브시스템들에 대한 분석을 서로 다른 분석가에 의해서 수행해야 하고 외부 이벤트에 대해 트랜잭션 처리를 룰 기반으로 처리해야 하는 도메인 상에서 객체 기반의 중요 개념을 룰 기반으로 추출하고 그들 간의 상호작용 모델링을 효과적으로 할 수 있는 룰 기반 분석 패턴을 제시한다. 또한 제시한 분석 패턴이 가지는 3개의 핵심 개념들을 기반으로 UML Components 개발 프로세스 상에서 비즈니스 컴포넌트를 개발하는 방법을 은행 수신업무 적용 사례를 통해 제시한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.443-450
• /
• 2009

시스템 개발 초기 단계에 시스템의 기능적 요구사항이 제대로 반영되었는지를 검사하기 위해 시뮬레이션 기법을 이용한다. 일반적으로 시뮬레이션은 순차도에 나타난 추상적 시나리오를 바탕으로 상태머신을 직접 또는 랜덤으로 수행하는 행태로 진행된다. 시뮬레이션은 분석자가 직접 수행해야 하므로 많은 시간과 노력이 소요된다. 이 논문에서는 순차도 기반의 상태 머신의 시뮬레이션의 자동화 기법을 제공한다. 일반적으로 순차도와 상태머신의 추상화 레벨이 달라서 순차도에서 상세 시뮬레이션 트레이스를 추출하기가 쉽지 않다. 이 연구에서는 상태 머신을 LTS 모델로 변환하여 합성적 분석, 트랜지션 축약 등의 분석 방법을 적용하여 순차도와 동일한 추상화 레벨로 변환한 다음, 시나리오 포함여부를 검사한 후 해당 시나리오의 상세 시뮬레이션 트레이스를 생성한다. 이러한 시뮬레이션 트레이스는 순차도에 기술된 시나리오를 기반으로 시뮬레이션을 자동으로 수행할 뿐만 아니라, 특정 시스템 상태까지 자동 시뮬레이션할 수 있으므로 시뮬레이션을 효율적으로 진행할 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제24권1호
• /
• pp.121-128
• /
• 2019

An Internet of Things(IoT) technology which provides intelligent services by combining context-awareness based intelligences, inter-communication is made of between things and things or between things and person through the network connected with intelligent things is spreading rapidly. Especially as this technology is converged into smart device, mobile, cloud, big data technologies, it is applied into various domains. Therefore, this is different from existing Web or Mobile Application. New types of IoT applications are emerging by adapting IoT into Web or mobile. Because IoT application is not only focused on software but also considering hardware or things aspect, there are limitations existing development process. Existing development processes don't consider analysis and design techniques considering both hardware and things. We propose not only a meta-model for development process which can support IoT application's development but also meta-models for main activities in this paper. Especially we define modeling elements by using UML's extension mechanisms, provide development process, and suggest design techniques how to apply those elements into IoT application's modeling phase. Because there are many types of IoT application's type, we propose an Android and Arduino-based on IoT application as a case study. We expect that proposed technique can be applied into many of various IoT application development and design with a form of flexible and extensible as well as main functionalities or elements are more concretely described. As a result, it brings IoT application's flexibility and the effect of quality improvement.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권7호
• /
• pp.733-737
• /
• 2008

비즈니스 프로세스 모델링은 고객의 요구사항을 만족하기 위해 기업들이 취하는 일련의 행위들을 그래픽적인 요소로 표현한 것이다. 오늘날 빠르고 다양한 형태로 고객의 요구사항이 변하게 됨으로써 비즈니스 프로세스 모델에서는 일어날 가능성이 있는 변화요소들을 표현하여 급변하는 요구사항에 대해 빠르게 대처할 수 있는 능력을 제공해야 한다. 본 논문에서는 비즈니스 프로세스 모델에 소프트웨어 프로덕트 라인 공학의 공통성과 가변성을 모델링 할 수 있는 비즈니스 프로세스 패밀리 모델을 제시하고 모델링 도구의 개발을 쉽게 접근할 수 있게 해주는 이클립스 플러그인 Graphical Modeling Framework(GMF)를 사용하여 비즈니스 프로세스 패밀리 모델링을 지원하는 도구를 설계하고 개발하는 과정을 보여준다 비즈니스 프로세스의 가변성은 UML2.0 활동도의 요소를 기반으로 표현된다.