• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.1673-1676
• /
• 2002

본 논문에서는 UML을 이용하여 W3C XML Schema를 설계하기 위한 XML 모델링 방법으로 UML을 이용한 3단계 XML 모델링 방법을 제안한다. 이 방법에서 개념적 단계는 UML 클래스 표기법 사용으로 표현하고 논리적 단계는 UML 스테레오타입의 set를 사용하여 표현하며 물리적 단계는 XML schema를 표현한다. 아울러 교환되는 XML 데이터를 효율적으로 저장하기 위하여 관계형 데이터베이스 스키마 설계를 위한 통합 설계 방법론 제안한다.

• Journal of KIISE
• /
• v.42 no.11
• /
• pp.1410-1422
• /
• 2015

In order to design a system, software developers use an object model such as the UML class diagram. Object-Relational Transformation Methodology (ORTM) is a methodology to transform the relationships that are expressed in the object model into relational database tables, and it is applied for the implementation of the designed system. Previous ORTM studies have suggested a number of transformation methods to represent one relationship. However, there is an implementation problem that is difficult to apply because the usage criteria for each transformation method do not exist. Therefore, this paper proposes a binary decision diagram-based modeling rule for each relationship. Hence, we define the conditions for distinguishing the transformation methods. By measuring the query execution time, we also evaluate the modeling rules that are required for the verification. After evaluation, we re-define the final modeling rules which are represented by propositional logic, and show that our proposed modeling rules are useful for the implementation of the designed system through a case study.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.110-114
• /
• 1999

본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

• Journal of Internet Computing and Services
• /
• v.6 no.2
• /
• pp.141-152
• /
• 2005

Many organizations have been recognizing the necessity of workflow automation technologies according to the rapid expansion of business process oriented applications, such as enterprise resource pianning, customer relationship management, electronic approval management, and so on, Thus, they have started adopting workflow management systems as an essential technological solution for their workflow processes, However, we need some technological extensions and improvements on them in order to accommodate a new type of workflow processes, which is called cross-organizational global workflow processes that require a certain level of collaborations between the organizations engaged in the global workflow processes, Fragment-driven workflow modeling methodology is a Bottom-Up methodology composing a global workflow by defining each organization's own activities, which is called a fragment through a realtime cooperative system. The approach is able to not only simplify the modeling work but also keep each organization's independence in modeling a global workflow, In this paper, we describe the fragment-driven workflow modeling methodology and realize the methodology through the implementation of a cooperative swimlane workflow modeling system.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.475-480
• /
• 1998

계면면적 밀도는 two-fluid 모델에서 각 상 간의 상호작용에 영향을 주는 중요한 인자로서 이상유동 현상의 해석을 위하여는 이의 적절한 모델링이 필요하다. 계면면적 밀도의 모델링은 크게 상관식에 의존하는 방법론과 수송 방정식을 사용한 이론적인 접근방식으로 개발되어왔다. 후자는 시간적, 공간적으로 변하고 있는 동적 유동조건에 대하여 계면면적 밀도를 효과적으로 예측할 수 있는 방법론으로서 flow regime의 의존성을 줄이거나 없앨 수 있는 장점을 가진다. 계면면적 수송 방정식은 유체입자의 수밀도에 대한 수송 방정식의 통계적인 모델로부터 유도되며 입자들의 상호작용 및 상변화와 관련된 생성항을 포함하고 있다. 본 연구에서는 계면면적 밀도 수송 방정식 및 그 구성 모델들에 대한 연구현황을 정리하였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.150-155
• /
• 2000

본 논문에서는 최근 많은 이슈가 되고 있는 공급사슬경영과 관련하여 공급사슬의 객체지향 모델링 방법론을 제시하고 이를 시뮬레이션 방법론을 이용하여 구현하고자 한다. 공급사슬의 객체지향 모델링을 위해 필요한 클래스들과 이들 클래스에 필요한 속성 및 메소드를 제안하고 각 클래스들간의 관계에 대해서 살펴보았으며 객체지향 언어인 Smalltalk의 이산사건 시뮬레이션 프레임웍을 이용하여 가상 모델을 시뮬레이션 하고자 한다.

• Annual Conference on Human and Language Technology
• /
• 2001.10d
• /
• pp.310-316
• /
• 2001

이 논문은 '에서', '으로'와 같은 한국어의 부사격 조사들을 다국어 기계번역 시스템에서 다룰 때 올바른 역어 선택을 위한 3단계 변환 방식과 이를 위한 부사격 조사의 언어학적 모델링 방법을 제시한다. 3단계 변환 방식은 부사격 조사의 의미 모호성 해소, 의사 중간언어표상 (Quasi-Interlingua Representation)으로의 변환, 전치사 선택의 3단계로 구성되어 있다. 본 논문에서 중점적으로 다루게 될 세번째 단계, 즉 영어나 독일어에서 한국어의 부사격 조사에 대한 전치사 선택의 단계에서 올바른 대역어 선정 방법론의 핵심이 되는 부사격 조사에 대한 언어학적 모델링을 위해 Pustejovsky (1995)의 생성 어휘부 이론 (Generative Lexicon Theory)을 도입한다. 이 논문에서 제시한 방법론은 그 타당성의 수학적 검증을 위해 통합기반 기계번역 시스템인 CAT2에서 구현되었으나, 방법론 자체는 특정 시스템에 제한됨 없이 범용적으로 적용될 수 있을 것이다.

• Journal of the Korea Society for Simulation
• /
• v.25 no.4
• /
• pp.77-84
• /
• 2016

This paper proposes a methodology for creating a function based reliability prediction model. Although, there are various works for reliability prediction, one of the features of their research is that the research is based on hardware-centered reliability prediction. Reliability is often defined as the probability that a device will perform its intended function, under operating condition, for a specified period of time, there is a profound irony about reliability prediction problem. In this paper, we proposed four-phase modeling procedure for function-centered reliability prediction. The proposed modeling procedure consists of four models; 1) structure block model, 2) function block model, 3) device model, and 4) reliability prediction model. We performed function-centered reliability prediction for electronic ballast using the proposed modeling procedure and MIL-HDBK-217F which is the military handbook for reliability prediction of electronic equipment.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.04a
• /
• pp.45-50
• /
• 2000

실시간 시뮬레이션은 제약조건이 있는 시뮬레이션의 대표적인 경우로, 반드시 주어진 시간안에 최상의 시뮬레이션 결과를 생성해내야 한다. 본 논문에서는 시간제약과 같은 시스템에 주어진 제약조건을 모델링 및 시뮬레이션하기 위한 방법론을 제시한다. 시스템의 모델링 과정에서는 계층적 방법론에 기초하여 다중 추상화(multi-resolution)를 제공하는 모델을 만든다. 또한 제약조건이 있는 시뮬레이션을 위해서는 구축된 모델의 추상화수준을 조절한다. 즉, 1) 구축된 모델을 추상화 수준에 따라 정리하여 AT(Abstraction Tree)를 생성한 후 2) 주어진 제약조건을 integer programming 기법을 이용하여 정형화하고, 3) 제약조건을 만족시키는 최상의 추상화 수준을 AT상에서 결정한다. 결정된 추상화 수준에 따라 시뮬레이션에 필요한 모델을 동적으로 재구성하여 임의의 제약조건이 있는 시뮬레이션을 효과적으로 수행함으로써, 모델의 재사용 및 경제성을 증진시킬 수 있다.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.721-730
• /
• 2007

UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.