公开(公告)号：KR100319753B1

公开(公告)日：2002-01-09

申请号：KR1019990061184

申请日：1999-12-23

Applicant: 한국전자통신연구원

Inventor： 오영배 ,  정연대 ,  이상덕

IPC: G06F17/50

Abstract: 본발명은 3층구조상에서의컴포넌트구현방법과상기방법을실현시키기위한프로그램을기록한컴퓨터로읽을수 있는기록매체에관한것으로, 사용자, 프로세스로직및 정보계층을분리한 3층(3-tier)구조상에서컴포넌트를개발함으로써, 환경의변화에신속히대응할수 있고, 컴포넌트의재사용성을극대화시킬수있는 3층구조상에서의컴포넌트구현방법과상기방법을실현시키기위한프로그램을기록한컴퓨터로읽을수 있는기록매체를제공하기위하여, 컴포넌트개발요구사항분석을통해분석모델인객체를추출하는제 1 단계; 상기추출된객체를이용하여사용자계층, 프로세스로직계층및 정보계층으로구성된 3층(3-tier)구조상에서의모델을설계하는제 2 단계; 및상기설계된모델을이용하여컴포넌트를구현하는제 3 단계를포함하며, 컴포넌트개발등에이용됨.

公开(公告)号：KR1019990033786A

公开(公告)日：1999-05-15

申请号：KR1019970055205

申请日：1997-10-27

Applicant: 한국전자통신연구원

Inventor： 서동수 ,  이광용 ,  조수선 ,  정연대

IPC: G06F9/44

Abstract: 본 발명은 시간 순서화 명세 언어(LOTOS) 기반의 개발 환경 중 명세의 시뮬레이션 도구를 위한 관리자 시스템 및 그 운용 방법에 관한 것으로서, 시뮬레이션 도구 관리자 시스템은 라이브러리 형태로 존재하는 시뮬레이션 도구의 핵심 기능을 관리하고 사용자에게 친숙한 윈도우 환경과 연결시켜주는 인터페이스 역할을 할 수 있도록 지원하며, 관리자 시스템 객체들로 이루어져 시뮬레이션의 여러 가지 방법에 따라 관리자 객체들이 라이브러리를 효과적으로 관리하여 원하는 시뮬레이션 구현을 지원함으로써 시뮬레이션의 핵심 기능을 그대로 보존하면서 최종적으로 구현되는 도구를 기능별로 재구성할 수 있도록 하고, 관리자 시스템의 운용 방법은 데이터의 교환을 포함한 관리자 객체들간의 효율적인 통신 방법 및 사용자 환경과의 원활한 연계를 구 현함으로써, 사용자 요구에 맞는 다양한 방법의 LOTOS 명세 시뮬레이션 도구의 개발을 PC의 윈도우 환경에서 지원해주어 PC의 윈도우 환경이 지배적인 개발 환경으로 자리 잡아가는 현 시점에서 정형기법을 이용한 정보 통신용 시스템 개발 현장에 적극적으로 활용될 수 있는 효과가 있다.

公开(公告)号：KR1019990032411A

公开(公告)日：1999-05-15

申请号：KR1019970053452

申请日：1997-10-17

Applicant: 한국전자통신연구원

Inventor： 정연대 ,  정철주 ,  김영찬

IPC: G06F11/00

Abstract: 본 발명은 액션 집합의 크기가 1인 경우에 한하여 두 개의 병행 시스템의 명세들 간의 완전 트레이스 동치성(completed trace equivalence)을 검사하는 방법에 관한 것이다. 본 발명을 달성하기 위해 두 개의 병행 시스템의 각 명세의 시작 상태에 대하여 특징 함수 (characteristic polynomial)를 생성한 후, 그 각 특징 함수들이 동일한지를 비교함으로써, 두 명세가 완전 트레이스 동치인지를 검사할 수 있는 것이다. 이와 같이 본 발명에서는 다항 함수를 두 개의 배열을 통해 나타내는 방법을 이용함으로써 효율적인 동치성 검사가 이루어지도록 한다. 따라서, 본 발명은 주어진 시스템 명세에서 사용되는 액션 집합의 크기가 1인 경우 두 명세간의 완전 트레이스 동치성을 제곱 시간(quadratic time) 내에 검사해 주게 된다.

公开(公告)号：KR1019980000670A

公开(公告)日：1998-03-30

申请号：KR1019970066358

申请日：1997-12-05

Applicant: 한국전자통신연구원

Inventor： 오영배 ,  김강호 ,  정연대

IPC: G06F3/14