• 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 KIISE
• /
• v.42 no.7
• /
• pp.823-833
• /
• 2015

Hybrid system is a dynamic system that is composed of both a continuous and discrete system, suitable for automobile, avionic and defense systems. Various modeling languages and their supporting tools have been proposed and used in the hybrid system. The languages and tools have specific characteristics for their purpose. Electronics and Telecommunications Research Institute (ETRI) proposed a hybrid system modeling language, ECML (ETRI CPS Modeling Language). ECML extends DEV&DESS (Differential Event and Differential Equation Specified System) formalism with consideration of CPS (Cyber-Physical System), which supports modeling and simulation. In this paper, we introduce ECML and suggest a formal definition. The case study specifies a simple vehicle model using the suggested formal definition.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.348-353
• /
• 2006

데이터의 흐름과 그 데이터의 처리가 중요한 시스템이 있다. 이러한 시스템을 구현하는 데이터 흐름 언어들은 데이터 흐름도로 모델링하는 것이 가장 이해하기 쉽고 정보의 손실이 적은 방법이다. 이러한 시스템은 분산 환경의 중요성이 높아짐에 따라 다른 이종적인 시스템과 같이 개발 될 가능성이 높아지고 있다. 따라서 이종적인 시스템에 대한 일관성 있고 통합적인 설계와 문서화가 필요하게 되었다. UML로 객체 지향 언어로 구현되는 시스템의 모델링과 문서화에 있어서는 사실상의 표준이지만 데이터 흐름의 구성 요소들이 객체 지향적이지 않기 때문에 UML로 데이터 흐름을 나타내는 것은 어렵다. 따라서 우리는 이러한 문제를 해결하기 위한 UML 확장 메커니즘을 제안한다. 데이터 흐름 언어가 객체와 클래스로 사상될 수 있는 특성들을 가지고 있다면 그 특성들을 UML 다이어그램으로 확장할 수 있다. 그러기위해 새로운 스테레오타입들을 정의하여 기존의 UML 다이어그램 구성물과의 차이를 둔다. 이러한 과정을 통해 UML 사용자들은 데이터 흐름 언어의 구성 요소들을 캡슐화 할 수 있다. 데이터 흐름 언어로 구현되는 일반적인 시스템에 적용하기 위해 우리는 UML 메타모델 개요를 제안하는 것으로 스테레오타입들을 정의한다. 그리고 이렇게 확장된 UML 메커니즘을 가지고 데이터 흐름 언어로 구현된 두 개의 시스템을 설계하고 설계에 따라 구현 하였다.

• Journal of the KSME
• /
• v.25 no.3
• /
• pp.204-208
• /
• 1985

이글에서는 SIMAN을 사용한 생산시스템의 시뮬레이션에 대하여 알아보았다. 1.1 매크로 스브모델 1.2 가공순서와 가공설비의 스케주울 1.3 자재운반 시스템의 모델링 2. SIMAN의 응용사례 SIMAN의 기본이념과 모델링 특성에 관하여 개괄적으로 고찰하고, 주로 생산시스템에 관련된 SIMAN의 특성에 중점을 두어 고찰하였다. SIMAN에서 사용되는 가종 블록에 대하여, 또 다른 여러 가지 모델링 기능에 대하여는 지면 관계상 생략하였다. SIMAN은 일반 목적용 시뮬레이션 언어로써는 물론, 특히 SMS등의 생산시스템의 시률레이션에 아주 유용한 언어로써 이의 광범 위한 활용이 기재된다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2001.06a
• /
• pp.475-484
• /
• 2001

정보시스템 구축에 있어서 적절한 시스템 분석 및 설계를 위한 모델링 기법을 활용하는 것이 중요 과제이며, 이러한 시스템 모델링 분야에서 객체지향 기법을 적용하는 것이 업계의 표준으로 인식되어 가고 있다. 통합 모델링 언어로 불리는 UML은 시스템 개발 과정에 참여하는 모든 이들이 각자의 시각에서 이해할 수 있도록 각 분야의 설계도를 그릴 수 있는 표준을 제공하고, 그래픽 요소를 조합해서 다이어그램으로 나타낼 수 있는 장점이 있으며, 객체지향 시스템 개발그룹에서 표준으로 인정받고 있는 모델링 언어이다. IDEF3는 비즈니스 프로세서를 분석하고자 시도된 최초의 방법이고, 업무를 체계적으로 분석할 수 있으며, 쓰여지는 기호의 간편함과 명료함 때문에 쉽게 표현할 수 있는 장점이 있다. 본 논문에서는 신발을 수출하고 있는 중소기업의 반 정형화(semi-structured)된 수출/무역관리 업무 프로세서에 대하여, UML과 IDEF를 이용하여 분석하고, 이에 따른 시스템 개발 방안을 제시하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.1221-1224
• /
• 2003

비즈니스 룰은 이윤을 획득하기 위한 상용 시스템에서는 반드시 명확하게 기술되어야만 하며 시스템에서 비즈니스 룰의 충돌은 시스템에 대한 신뢰도를 떨어뜨리는 요인이 될 뿐만 아니라, 시스템의 계획 당시에는 예측하지 못했던 크고 작은 경제적인 손실을 발생하게 한다. 일반적으로 비즈니스 룰은 애매모호함을 가지고 있는 비정형 언어로 기술되는 경우가 많아서, 설정된 비즈니스 룰간의 충돌을 예측하기가 매우 어려울 뿐만 아니라, 개발 중에 룰이 추가되는 경우에 기존의 룰과의 충돌을 예측하기란 매우 어려운 일이다. 본 논문에서는 이 문제를 해결하기 정형 명세를 이용한 모델링을 사용하였다. 수학, 논리학에 기반을 둔 정형 모델링 방법으로 비즈니스 룰을 명확하게 표현하고, 해당 룰을 내포한 시스템 모델링을 구현하였다. 그 결과 작성된 비즈니스 룰의 충돌 여부를 판단할 수 있게 되었다. 시스템 개발 초기에 구현 후에 발생할 수 있는 문제를 미연에 발견하여 시스템 모델 혹은 비즈니스 룰의 수정하여 신뢰할 수 있는 시스템을 개발할 수 있도록 도움을 주고자 한다 본 논문에서는 명확한 표현을 위해서 비즈니스 룰을 일차 논리로 기술하고 룰과 모델링을 위해서 일차논리 기반의 정형 명세 언어인 Z 를 사용하였다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.05a
• /
• pp.277-285
• /
• 2007

본 연구는 시맨틱웹 응용의 중심 기술인 웹 온톨로지의 표현과 추론을 위해 서술 논리와 규칙언어를 기반으로하는 웹 온톨로지 모델링 방법을 제안한다. 현재 웹 온톨로지 표현 언어인 OWL DL은 서술 논리에 근거하여 표현되는 것이나, 기계나 온톨로지 공학자가 OWL로 기술된 온톨로지를 직관적으로 이해하고 공유할 수 있는 형식적이고 명시적인 온톨로지의 지식 표현은 부족한 실정이다. 따라서 본 연구는 시맨틱웹이 목적하는 웹 온톨로지 구축을 위한 웹 온톨로지 모델링 방법으로 웹 온톨로지 모델링 계층을 제안하고, 제안된 각 계층에 따라 서술 논리의 TBox와 ABox의 구조와 SWRL을 기반으로 지식을 표현하는 웹 온톨로지 모델링 방법을 제안한다. 제안된 웹 온톨로지 모델링 방법의 성능 검증을 위해 제안 방법에 따라 웹 온톨로지를 구축하였고, SPARQL과 TopBraid의 DL Inference를 이용하여 구축된 웹 온톨로지의 성능을 검증하였다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.2
• /
• pp.167-185
• /
• 2006

Software architecture, which is the high level model of a software system, should be specified with ADLs (Architecture Description Languages) for its clarity and preciseness. Most of ADLs such as ACME, however, have not come into extensive use in industries since ADL users should learn a distinct notation specific to architecture. On the other hand, UML is a do facto standard general modeling language for software developments. UML provides a consistent notation and various supporting tools during the whole software development cycle. UML, being a general modeling language, does not provide all concepts that are important to architecture description. UML should be extended in order to precisely model architecture. A number of researches on architecture modeling based on WML have been progressed. Ail of them, however, are based on the UML1.x. UML2.0 embraces much more concepts that are important to architecture modeling than UML1.x. In this paper. we defined an architecture modeling language based on UML2.0. We defined Generic ADL by extending UML2.0 and applied the defined Generic ADL to a restaurant reservation system.

• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.17-31
• /
• 2006

Software architecture is the high level model of a software system. It should be specified with ADLs (Architecture Description Languages) for its clarity and preciseness. Most ADLs such as C2SADL have not come into extensive use in industries since ADL users should learn a distinct notation specific to architecture, and ADLs do not address all stakes of the development process that is becoming diversified everyday. On the other hand, UML is a do facto standard general modeling language for software developments. UML provides a consistent notation and various supporting tools during the whole software development cycle. But, UML is a general modeling language and does not provide all concepts that are important to architecture description. UML should be extended in order to precisely model architecture. In this paper, we defined a C2 architecture modeling language as a UML2.0 profile. We applied the defined C2 architecture modeling language to the modeling of a restaurant reservation system.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.07a
• /
• pp.25-26
• /
• 2016

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