• 제목/요약/키워드: 시스템 모델링 언어

검색결과 312건 처리시간 0.036초

무선 마크업 언어 문서의 객체 모델링을 통한 자바 기반 브라우징 시스템의 설계 및 구현 (Design and Implementation of Java based Browsing System using Wireless Markup Language Document Object Modeling)

  • 최은정;한동원;김태주;임경식
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
    • /
    • pp.271-273
    • /
    • 2001
  • 본 논문에서는 무선 마크업 언어의 특성을 고려하여 무선 환경에 적합한 무선 인터넷 컨텐츠인 바이너리 무선 마크업 언어 문서를 브라우징하기 위한 시스템을 설계, 구현하였다. 카드 랜더링 및 사용자와의 상호작용 시 브라우징 처리를 단순화하기 위해 문서를 개체 모델링하였다. 무선 마크업 언어 문서 객체 모델은 무선 마크업 언어 특성을 고려하여 설계되었으며, 브라우징 처리 시에 문서의 검색 및 편집을 용이하게 하는 장점을 가진다. 또한 문서객체 모델은 컨텐츠의 파싱과 브라우징 처리를 분리하는 역할을 하기도 한다. 본 논문의 브라우징 시스템은 자바를 기반으로 설계 및 구현되었기 때문에 플랫폼 독립적이며, 메모리나 디스크가 제한되어 있어 한번에 여러 개의 프로그램을 상주시킬 수 없는 단말의 경우 네트워크를 통해 동적으로 프로그램을 실행시킬 수 있다는 장점이 있다.

PtolemyII의 CCS도메인 (CCS domain in PtolemyII)

  • 황혜정;김윤정;남기혁;김일곤;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
    • /
    • pp.448-450
    • /
    • 2003
  • PtolemyII는 내장형 시스템과 같이 이질적 성질을 가진 병렬 시스템을 모델링하고 디자인 할 수 있는 환경을 지원해준다. PtolemyII의 CSP 도메인은 병렬 시스템을 효과적으로 명세할 수 있는 프로세스 알제브라 언어인 CSP를 구현한 것이다. CCS도 프로세스 알제브라 언어로써 정형적으로 병렬시스템을 명세하고 검증할 수 있다. 이 두 프로세스 알제브라 언어는 비슷한 목적으로 가지고 개발되었으나 통신의 세부적인 부분의 개념에 있어서 차이가 존재한다. 본 논문에서는 CCS 기반의 통신이 이루어 질 수 있는 CCS 도메인을 구현하여 PtolemyII에 추가하였으며, PtolemyII에 구현된 CCS 도메인의 커널구조와 구현 방법을 설명하겠다. CCS 도메인 구현은 기존의 개발자들이 actor-oriented 디자인을 하는 PtolemyII의 디자인 방법을 따라 기존의 프로세스 알제브라 언어들의 문법을 익히지 않고도 모델링 하고 시뮬레이션 할 수 있다는 것을 의미한다. 또한 PtolemyII에 CCS도메인을 추가함으로써 정형적 명세의 다양성을 높였다.

  • PDF

스윔레인 워크플로우 모델링 시스템 설계 및 구현 (Swimlane Workflow Modeling System)

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

  • PDF

단어간 의존관계에 기반한 언어모델링 (Language Modeling based on Inter-Word Dependency Relation)

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

  • PDF

객체지향 모델링을 이용한 무선 트랜잭션 프로토콜의 분석 및 설계 (An Analysis and Design of the Wireless Transaction Protocol using Object-Oriented Modeling)

  • 정호원;이해동;김기조;임경식
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2000년도 추계학술발표논문집 (하)
    • /
    • pp.1181-1184
    • /
    • 2000
  • 정보통신 분야의 급격한 발달은 다양한 프로토콜을 지원하는 통신 시스템의 개발 주기를 더욱 빠르게 하고 있으며, 통신 프로토콜의 체계적인 분석과 재사용성 및 확장성을 고려한 시스템의 모델링 방법에 대한 필요성을 증가시키고 있다. 본 논문에서는 이에 대한 방안으로 객체지향 방법을 이용한 프로토콜의 시스템 모델링 및 설계 방안을 제시하였다. 이를 위해 WAP(Wireless Application Protocol)의 WTP를 객체지향 모델링 언어인 UML과 통신 시스템의 명세서를 작성하고 설계하는 표준화된 언어인 SDL을 이용하여 분석하고 설계하였다.

  • PDF

그래픽 언어를 이용한 임베디드 시스템의 단일 요구사항 모델링 (A Single Requirement Modeling with Graphical Language for Embedded System)

  • 오정섭;이홍석;박현상;김장복;최경희;정기현
    • 정보처리학회논문지D
    • /
    • 제15D권4호
    • /
    • pp.505-512
    • /
    • 2008
  • 임베디드 시스템에 대한 RBT(Requirement-Based Testing)를 수행하기 위하여 정확한 요구사항 명세서가 존재해야 한다. 그러나 고객이 자연어로 작성하는 요구사항은 모호성, 부정확성, 불일치성을 가지고 있다. 이를 해결하기 위해서 UML, Simulink등의 모델링 언어를 이용하여 요구사항을 다시 모델링 하지만, 이 과정에서 요구사항을 use-case단위로 조합하고 재해석하는 단점이 생겨나게 되었다. 본 논문에서는 임베디드 시스템에 대한 고객의 요구사항을 use-case단위의 조합이나 재해석이 필요 없이 곧바로 모델로 표현할 수 있는 그래픽 언어를 이용한 1:1 요구사항 모델링 기법을 소개한다. 제안한 방법은 1) 임베디드 시스템의 요구사항을 자연어가 아닌 의미가 분명한 그래픽 언어를 이용하여 표현하고, 2) 하나의 요구사항을 하나의 그래픽 모델로 표현한다. 또한 제안한 방법은 시스템의 입출력을 기반으로 "what-to-do"만을 기술하기 때문에 상위레벨의 요구사항이나 하위레벨의 요구사항 모두에 적용할 수 있는 기법이다. 이 기법이 적용된 REED라는 도구를 통하여 실제 프로젝트에 적용한 예를 살펴본다.

모바일을 위한 UML 2.0 기반의 아키텍쳐 모델링 언어 프레임웍 (UML 2.0 based ADL Framework for Mobile Application)

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

  • PDF

컴퓨터 시스템의 시뮬레이션 모델링에 대한 정보 구조의 구축에 관한 연구

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

  • PDF

BPMN을 XPDL로 변환하는 기법에 관한 연구 (Analyses on the Transformation Mechanism from BPMN to XPDL)

  • 정문영;김학수;조명현;손진현
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
    • /
    • pp.1-3
    • /
    • 2004
  • BPMN은 비즈니스 프로세스를 모델링하는 표기법으로써 시각화된 플로우차트를 통해 일반화된 형식으로 비즈니스 프로세스를 정의할 수 있게 해준다. 이와 반대로 XPDL은 비즈니스 프로세스를 실행하는 언어로써 이 언어를 지원하는 시스템을 통해 비즈니스 프로세스를 실행시킬 수 있게 해준다. 그러므로 BPMN으로 모델링한 비즈니스 프로세스가 XPDL을 지원하는 실행시스템을 통해 실행되기 일해서는 BPMN 형식의 비즈니스 프로세스를 XPDL 비즈니스 프로세스로 변환하여야 한다. 그러나 이들은 각기 다른 기반과 목적에 따라 정의되었기 때문에 서로의 요소간의 표현하는 방식에 차이가 있다. 따라서 본 논문에서는 BPMN 형식의 비즈니스 프로세스를 XPDL 비즈니스 프로세스로 변환하는 기법을 제안한다.

  • PDF

자동화제조시스템의 객체지향적 모델링기법과 시뮬레이션구현방법: K-SIM의 사례 (Object-Oriented Modeling and Simulation of Automated Manufacturing Systems : the K-SIM Case)

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

  • PDF