• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.271-273
• /
• 2001

본 논문에서는 무선 마크업 언어의 특성을 고려하여 무선 환경에 적합한 무선 인터넷 컨텐츠인 바이너리 무선 마크업 언어 문서를 브라우징하기 위한 시스템을 설계, 구현하였다. 카드 랜더링 및 사용자와의 상호작용 시 브라우징 처리를 단순화하기 위해 문서를 개체 모델링하였다. 무선 마크업 언어 문서 객체 모델은 무선 마크업 언어 특성을 고려하여 설계되었으며, 브라우징 처리 시에 문서의 검색 및 편집을 용이하게 하는 장점을 가진다. 또한 문서객체 모델은 컨텐츠의 파싱과 브라우징 처리를 분리하는 역할을 하기도 한다. 본 논문의 브라우징 시스템은 자바를 기반으로 설계 및 구현되었기 때문에 플랫폼 독립적이며, 메모리나 디스크가 제한되어 있어 한번에 여러 개의 프로그램을 상주시킬 수 없는 단말의 경우 네트워크를 통해 동적으로 프로그램을 실행시킬 수 있다는 장점이 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.448-450
• /
• 2003

PtolemyII는 내장형 시스템과 같이 이질적 성질을 가진 병렬 시스템을 모델링하고 디자인 할 수 있는 환경을 지원해준다. PtolemyII의 CSP 도메인은 병렬 시스템을 효과적으로 명세할 수 있는 프로세스 알제브라 언어인 CSP를 구현한 것이다. CCS도 프로세스 알제브라 언어로써 정형적으로 병렬시스템을 명세하고 검증할 수 있다. 이 두 프로세스 알제브라 언어는 비슷한 목적으로 가지고 개발되었으나 통신의 세부적인 부분의 개념에 있어서 차이가 존재한다. 본 논문에서는 CCS 기반의 통신이 이루어 질 수 있는 CCS 도메인을 구현하여 PtolemyII에 추가하였으며, PtolemyII에 구현된 CCS 도메인의 커널구조와 구현 방법을 설명하겠다. CCS 도메인 구현은 기존의 개발자들이 actor-oriented 디자인을 하는 PtolemyII의 디자인 방법을 따라 기존의 프로세스 알제브라 언어들의 문법을 익히지 않고도 모델링 하고 시뮬레이션 할 수 있다는 것을 의미한다. 또한 PtolemyII에 CCS도메인을 추가함으로써 정형적 명세의 다양성을 높였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.166-168
• /
• 2003

본 워크플로우 모델링 시스템은 기존의 워크플로우 모델링 시스템과 달리, 인터넷 기반의 실시간 그룹웨어 기술을 통해 일련의 사용자 그룹이 동시에 워크플로우 모델링을 할 수 있는 기능을 제공하며. 스윔레인 워크플로우 모델링 방식의 역할 기반의 모델링은 복잡한 모델링 작업을 단순화 시킬 수 있다. 즉, 기존의 워크플로우 모델링 기능에 실시간 그룹웨어 특성들을 통합함으로써, 한 차원 높은 수준의 모델링 환경을 제공하고, 이를 통하여 기존의 워크플로우 시스템들이 지원하지 못 했던 워크플로우 모델링 협동 작업을 실시간으로 지원 할 수 있을 뿐만 아니라. 요즘과 같이 대형화와 복잡화 그리고 다양화의 특징을 갖는 조직들의 워크플로우들에 대한 효율적인 분석 및 모델링 환경을 제공하기 위하여 스윔레인 워크플로우 모델링 시스템을 설계 및 구현하였다. 또한 본 워크플로우 모델링 시스템을 통한 모델링 결과는 국제 표준화 워크플로우 정의 언어 (Process Definition Language)를 제공함으로써, 기존의 다른 워크플로우 시스템들과의 상호 호환성을 제공하고자 하였다.

• Annual Conference on Human and Language Technology
• /
• 1998.10c
• /
• pp.239-246
• /
• 1998

확률적 언어모델링은 일련의 단어열에 문장확률값을 적용하는 기법으로서 음성인식, 확률적 기계번역 등의 많은 자연언어처리 응용시스템의 중요한 한 요소이다. 기존의 접근방식으로는 크게 n-gram 기반, 문법 기반의 두가지가 있다. 일반적으로 n-gram 방식은 원거리 의존관계를 잘 표현 할 수 없으며 문법 기반 방식은 광범위한 커버리지의 문법을 습득하는데에 어려움을 가지고 있다. 본 논문에서는 일종의 단순한 의존문법을 기반으로 하는 언어모델링 기법을 제시한다. 의존문법은 단어와 단어 사이의 지배-피지배 관계로 구성되며 본 논문에서 소개되는 의존문법 재추정 알고리즘을 이용하여 원시 코퍼스로부터 자동적으로 학습된다. 실험 결과, 제시된 의존관계기반 모델이 tri-gram, bi-gram 모델보다 실험코퍼스에 대해서 약 11%에서 11.5%의 엔트로피 감소를 보임으로써 성능의 개선이 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1181-1184
• /
• 2000

정보통신 분야의 급격한 발달은 다양한 프로토콜을 지원하는 통신 시스템의 개발 주기를 더욱 빠르게 하고 있으며, 통신 프로토콜의 체계적인 분석과 재사용성 및 확장성을 고려한 시스템의 모델링 방법에 대한 필요성을 증가시키고 있다. 본 논문에서는 이에 대한 방안으로 객체지향 방법을 이용한 프로토콜의 시스템 모델링 및 설계 방안을 제시하였다. 이를 위해 WAP(Wireless Application Protocol)의 WTP를 객체지향 모델링 언어인 UML과 통신 시스템의 명세서를 작성하고 설계하는 표준화된 언어인 SDL을 이용하여 분석하고 설계하였다.

• The KIPS Transactions:PartD
• /
• v.15D no.4
• /
• pp.505-512
• /
• 2008

In order to do requirement-based testing of embedded system, we must have correct requirement specifications. But, natural language requirements of a client have ambiguity, inaccuracy, and inconsistency. To solve these problems, natural language requirements are modeled with modeling language such as UML and Simulink. During a modeling phase, the requirements are rearranged and retranslated in use-case. These activities are disadvantages of modeling. In this paper, we propose the technique, which is how to model a embedded system requirement into a model without rearranging and retranslating. This technique 1) represent a embedded system requirement with graphical language, and 2) model a requirement into a model. Because this technique only describes "what-to-do" of the requirement, this technique is useful to not only the low-level requirements but also the high-level requirements. We show some example systems modeled by REED, which has adopted this technique.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.448-450
• /
• 2005

Acme와 같은 ADL(Architecture Description Language) 들은 컴포넌트 기반 시스템의 아키텍쳐를 정형적으로 명세할 수 있는 장점을 가지고 있다. 하지만 날로 다각화되는 개발 과정 상의 이해관계들을 다 포용하지 못하고, 아키텍쳐에 특화된 별도의 표기 형식을 익혀야 하는 부담이 있어 아키텍쳐를 명세하는 언어로서 정착되지 못하고 있다. 반면 UML(Unified Modeling Language)은 범용 모델링 언어이여 소프트웨어 개발의 전 과정에 일관된 표기형식과 폭넓은 지원도구들을 제공하고 있어 소프트웨어 개발을 위한 사실상의 표준 언어로 자리잡고 있다. 이에 따라 지금까지 UML을 이용하여 아키텍쳐를 모델링하기 위한 연구들이 많이 진행되어 왔다. 특히 UML에서 표현수단이 미흡한 아키텍쳐의 핵심 개념들을 명시적으로 표현할 수 있도록 UML의 확장 메커니즘을 사용하여 UML을 특화하는 연구 결과들이 많이 소개되고 있으나 특화된 영역의 아키텍쳐를 기술하기에는 부족하다. 본 논문에서는 최근에 활발히 개발되고 있는 모바일 애플리케이션의 특징중의 하나인 device의 제약사항을 QoS로 정의하고 UML 확장메커니즘을 이용하여 모바일을 위한 아키텍쳐 모델링 언어 프레임웍을 제시하고 있다.

• The Journal of Information Systems
• /
• v.1
• /
• pp.111-122
• /
• 1992

본 논문은 IBIS(Information-Based Integrated Simulation)라 불리우는 정보 중심 의 시뮬레이션 방법을 다중 처리(Multiprocessor) 컴퓨터 시스템의 시뮬레이션 모델링에 이 용하였다. IBIS는 지금까지 시뮬레이션의 중요한 접근 방법이었던 언어 정의 (Language-Defined) 혹은 목적 지향적인(Object-oriented)방법의 단점을 보완한 방법으로 각각의 다른 단계에 있는 여러 개의 모델들을 조합하여 정보 시스템을 구축하루 수 있다. 본 연구에서 IBIS적인 접근 방법을 컴퓨터 시스템의 시뮬레이션 모델링에 국한하였으나 이 를 확장하면 서비스 시스템을 포함하여 시뮬레이션이 적용될 수 있는 모든 시스템에 IBIS적 인 접근 방법을 이용할 수 있을 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.1-3
• /
• 2004

BPMN은 비즈니스 프로세스를 모델링하는 표기법으로써 시각화된 플로우차트를 통해 일반화된 형식으로 비즈니스 프로세스를 정의할 수 있게 해준다. 이와 반대로 XPDL은 비즈니스 프로세스를 실행하는 언어로써 이 언어를 지원하는 시스템을 통해 비즈니스 프로세스를 실행시킬 수 있게 해준다. 그러므로 BPMN으로 모델링한 비즈니스 프로세스가 XPDL을 지원하는 실행시스템을 통해 실행되기 일해서는 BPMN 형식의 비즈니스 프로세스를 XPDL 비즈니스 프로세스로 변환하여야 한다. 그러나 이들은 각기 다른 기반과 목적에 따라 정의되었기 때문에 서로의 요소간의 표현하는 방식에 차이가 있다. 따라서 본 논문에서는 BPMN 형식의 비즈니스 프로세스를 XPDL 비즈니스 프로세스로 변환하는 기법을 제안한다.

• IE interfaces
• /
• v.8 no.3
• /
• pp.47-60
• /
• 1995

물류시스템간의 상호작용이 복잡한 자동화제조시스템을 시뮬레이션하기 위해서는 전통적인 사건중심의 모델링이나 고객중심의 프로세스묘사방식 모델링보다 서버중심의 프로세스상호작용방식 모델링이 유리하다. 이러한 모델링 방식은 기존의 동적시스템 모델링 이론과도 일치하며 최근의 소프트웨어엔지니어링기법인 객체지향적 모델링기법과도 상통한다. 본 연구에서는 객체지향적 모델링 기법을 바탕으로 서버중심의 프로세스상호작용방식에 기초한 시뮬레이션 모델링 방법을 제안한다. 이러한 방법을 자동화제조시스템의 시뮬레이션모델링에 작용한 예를 소개하고, 순차적 처리언어인 C＋＋ 사용하여 프로세스상호작용방식의 시뮬레이션 실행기를 구현하는 방법을 설명한다.