公开(公告)号：KR100279750B1

公开(公告)日：2001-02-01

申请号：KR1019970059001

申请日：1997-11-10

Applicant: 한국전자통신연구원

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

IPC: G06F9/455

Abstract: 본 발명은 로토스 명세의 확장을 위한 제어 방법에 관한 것으로서, 본 발명에서 제공하는 방법은 사용자에 의해 입력된 텍스트 형태의 로토스 명세가 구문 검사와 의미 검사를 거쳐 내부 표현으로 변환하는 제 1 단계와, 깊이와 폭을 제한하는 매개 변수를 사용하여 상기 제 1 단계에서 생성된 내부 표현에 근거한 확장을 수행하여 시뮬레이션만을 위한 내부 행위 트리를 생성하는 제 2 단계와, 상기 제 2 단계에서 생성된 내부 행위 트리를 외부 참조가 가능한 형태의 행위 트리로 변환하여 출력하되, 동질성 규칙을 적용하여 불필요한 인터널 오퍼레이션 및 반복을 제거하여 간결한 형태의 행위 트리로 최적화하는 과정을 병행하는 제 3 단계와, 상기 제 3 단계에서 심볼 변수로 대체되어 확장된 프로세스의 입출력 변수들에 대해 형식 파라메타와 실 변수값 을 함께 표현하게 함으로서 다음에 이어지는 이벤트 입력, 테스트 케이스의 생성과 같은 보조 활동이 가능하도록 준비하는 제 4 단계로 구성되어, 동질성 규칙 적용과 중간 행위 트리 생성을 조합 시킴으로서 종래의 전통적인 행위 트리 방식이 해결하기 힘들었던 행위트리 생성 시간과 메모리의 사용을 절약할 수 있다는 장점이 있다.

公开(公告)号：KR100289061B1

公开(公告)日：2001-05-02

申请号：KR1019970055205

申请日：1997-10-27

Applicant: 한국전자통신연구원

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

IPC: G06F9/44

Abstract: PURPOSE: A manager system for a simulation tool of LOTOS(language of temporal ordering specification) is provided to connect a LOTOS simulation engine portion to a window user interface portion of a PC by making a LOTOS shaping specification prepared by a user as a simulation object, converting a LOTOS specification into an internal data structure, executing an extension simulator and a stage simulator, and including a confirming process for creating a reliable program. CONSTITUTION: In a manager system for a simulation tool of a specification out of a developing environment based on a LOTOS, an interpreter(4) interprets a pre-processed specification as a convenient form for being managed in a tool and stores the specification in an internal data structure, and constructs an internal data structure of the tool for using the specification as an input of an action processor(11) and a data evaluating device(9). The action processor(11) additionally processes an action portion of the specification and charges a pre-processing role of an action simulation. An extension simulator(13) calculates a finite state extended from the LOTOS specification. A stage simulator(18) receives a partial action as an initial state and creates selection available operations. The data evaluating device(9) receives a data value expression formula from a user using a function independent on the extension simulator(13) and the stage simulator(18), rewrites the expression formula by a rewriting rule made in a rewriting rule creating device, and manufactures a normalized form.

公开(公告)号：KR1019990039049A

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

申请号：KR1019970059001

申请日：1997-11-10

Applicant: 한국전자통신연구원

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

IPC: G06F9/455

Abstract: 본 발명은 로토스 명세의 확장을 위한 제어 방법에 관한 것으로서, 본 발명에서 제공하는 방법은 사용자에 의해 입력된 텍스트 형태의 로토스 명세가 구문 검사와 의미 검사를 거쳐 내부 표현으로 변환하는 제 1 단계와, 깊이와 폭을 제한하는 매개 변수를 사용하여 상기 제 1 단계에서 생성된 내부 표현에 근거한 확장을 수행하여 시뮬레이션만을 위한 내부 행위 트리를 생성하는 제 2 단계와, 상기 제 2 단계에서 생성된 내부 행위 트리를 외부 참조가 가능한 형태의 행위 트리로 변환하여 출력하되, 동질성 규칙을 적용하여 불필요한 인터널 오퍼레이션 및 반복을 제거하여 간결한 형태의 행위 트리로 최적화하는 과정을 병행하는 제 3 단계와, 상기 제 3 단계에서 심볼 변수로 대체되어 확장된 프로세스의 입출력 변수들에 대해 형식 파라메타와 실 변수값 을 함께 표현하게 함으로서 다음에 이어지는 이벤트 입력, 테스트 케이스의 생성과 같은 보조 활동이 가능하도록 준비하는 제 4 단계로 구성되어, 동질성 규칙 적용과 중간 행위 트리 생성을 조합 시킴으로서 종래의 전통적인 행위 트리 방식이 해결하기 힘들었던 행위트리 생성 시간과 메모리의 사용을 절약할 수 있다는 장점이 있다.

公开(公告)号：KR1019990033786A

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

申请号：KR1019970055205

申请日：1997-10-27

Applicant: 한국전자통신연구원

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

IPC: G06F9/44

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