맞춤기술찾기

이전대상기술

로토스 명세의 확장을 위한 제어 방법

  • 기술번호 : KST2015076273
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 로토스 명세의 확장을 위한 제어 방법에 관한 것으로서, 본 발명에서 제공하는 방법은 사용자에 의해 입력된 텍스트 형태의 로토스 명세가 구문 검사와 의미 검사를 거쳐 내부 표현으로 변환하는 제 1 단계와, 깊이와 폭을 제한하는 매개 변수를 사용하여 상기 제 1 단계에서 생성된 내부 표현에 근거한 확장을 수행하여 시뮬레이션만을 위한 내부 행위 트리를 생성하는 제 2 단계와, 상기 제 2 단계에서 생성된 내부 행위 트리를 외부 참조가 가능한 형태의 행위 트리로 변환하여 출력하되, 동질성 규칙을 적용하여 불필요한 인터널 오퍼레이션 및 반복을 제거하여 간결한 형태의 행위 트리로 최적화하는 과정을 병행하는 제 3 단계와, 상기 제 3 단계에서 심볼 변수로 대체되어 확장된 프로세스의 입출력 변수들에 대해 형식 파라메타와 실 변수값을 함께 표현하게 함으로서 다음에 이어지는 이벤트 입력, 테스트 케이스의 생성과 같은 보조 활동이 가능하도록 준비하는 제 4 단계로 구성되어, 동질성 규칙 적용과 중간 행위 트리 생성을 조합 시킴으로서 종래의 전통적인 행위 트리 방식이 해결하기 힘들었던 행위트리 생성 시간과 메모리의 사용을 절약할 수 있다는 장점이 있다.
Int. CL G06F 9/455 (2006.01)
CPC G06F 17/30961(2013.01) G06F 17/30961(2013.01) G06F 17/30961(2013.01) G06F 17/30961(2013.01)
출원번호/일자 1019970059001 (1997.11.10)
출원인 한국전자통신연구원
등록번호/일자 10-0279750-0000 (2000.11.03)
공개번호/일자 10-1999-0039049 (1999.06.05) 문서열기
공고번호/일자 (20010201) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (1997.11.10)
심사청구항수 2

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 한국전자통신연구원 대한민국 대전광역시 유성구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 조수선 대한민국 대전광역시 유성구
2 정연대 대한민국 대전광역시 유성구
3 서동수 대한민국 대전광역시 유성구
4 이광용 대한민국 서울특별시 구로구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 이화익 대한민국 서울시 강남구 테헤란로*길** (역삼동,청원빌딩) *층,***,***호(영인국제특허법률사무소)
2 김명섭 대한민국 서울특별시 강남구 테헤란로**길 *, 테헤란오피스빌딩 ***호 시몬국제특허법률사무소 (역삼동)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 한국전자통신연구원 대한민국 대전광역시 유성구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 특허출원서
Patent Application
1997.11.10 수리 (Accepted) 1-1-1997-0186266-18
2 대리인선임신고서
Notification of assignment of agent
1997.11.10 수리 (Accepted) 1-1-1997-0186267-64
3 출원심사청구서
Request for Examination
1997.11.10 수리 (Accepted) 1-1-1997-0186268-10
4 등록사정서
Decision to grant
2000.08.31 발송처리완료 (Completion of Transmission) 9-5-2000-0224742-85
5 출원인정보변경(경정)신고서
Notification of change of applicant's information
2001.04.19 수리 (Accepted) 4-1-2001-0046046-20
6 출원인정보변경(경정)신고서
Notification of change of applicant's information
2002.08.08 수리 (Accepted) 4-1-2002-0065009-76
7 출원인정보변경(경정)신고서
Notification of change of applicant's information
2009.08.04 수리 (Accepted) 4-1-2009-5150899-36
8 출원인정보변경(경정)신고서
Notification of change of applicant's information
2015.02.02 수리 (Accepted) 4-1-2015-0006137-44
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1

사용자에 의해 입력된 텍스트 형태의 로토스 명세가 구문 검사와 의미 검사를 거쳐 내부 표현으로 변환하는 제 1 단계와,

깊이와 폭을 제한하는 매개 변수를 사용하여 상기 제 1 단계에서 생성된 내부 표현에 근거한 확장을 수행하여 시뮬레이션만을 위한 내부 행위 트리를 생성하는 제 2 단계와,

상기 제 2 단계에서 생성된 내부 행위 트리를 외부 참조가 가능한 형태의 행위 트리로 변환하여 출력하되, 동질성 규칙을 적용하여 불필요한 인터널 오퍼레이션 및 반복을 제거하여 간결한 형태의 행위 트리로 최적화하는 과정을 병행하는 제 3 단계와,

상기 제 3 단계에서 심볼 변수로 대체되어 확장된 프로세스의 입출력 변수들에 대해 형식 파라메타와 실 변수값을 함께 표현하게 함으로서 다음에 이어지는 이벤트 입력, 테스트 케이스의 생성과 같은 보조 활동이 가능하도록 준비하는 제 4 단계로 구성된 것을 특징으로 하는 로토스 명세의 확장을 위한 제어 방법

2 2

제 1 항에 있어서,

상기 제 3 단계는

원하는 로토스의 수식을 입력하는 제 31 단계와,

상기 제 31 단계에서 입력된 로토스 수식에 사용된 오퍼레이터의 타입을 검사하는 제 32 단계와,

상기 제 32 단계의 오퍼레이터 타입 검사 결과 오퍼레이터의 타입이 병렬 구성이면, 병렬 오퍼레이터가 작용하는 오퍼랜드 (B, C)에 대해 입력식 버퍼가 공백일 때 까지 왼편에서 오른편 방향으로 차례대로 식을 계산해 가면서 동시에 트리축소를 진행하는 변형 확장 규칙 1을 적용하고, 활성화 타입 구성이면 활성화 오퍼레이터가 작용하는 오퍼랜드 부분인 B, C에 대해 변형 확장 규칙 1과 유사한 방법으로 식을 계산해 가며 트리를 축소를 하는 변형 확장 규칙 2를 적용하고, 숨은 오퍼레이터인 경우 숨김 오퍼레이터의 대상 식에 대해 입력 식의 버퍼가 공백이 될 때까지 확장과 축소를 순차적으로 시행하는 변형 확장 규칙 3을 적용한 후, 상기 제 32 단계로 되돌아가는 제 33 단계와,

상기 제 32 단계의 오퍼레이터 타입 검사 결과 상기 오퍼레이터의 타입이 병렬 구성도 아니고, 수행가능한 타입도 아니고, 숨은 오퍼레이터도 아닌 경우 노드 테이블이 공백인지를 확인하는 제 34 단계와,

상기 제 34 단계의 확인 결과 노드 테이블이 공백이면 매개 변수화를 수행한 후 종료하고, 노드 테이블이 공백이 아니면 노드 테이블 포인터를 증가시킨 후 상기 제 31 단계로 되돌아가는 제 35 단계로 구성된 것을 특징으로 하는 로토스 명세의 확장을 위한 제어 방법

지정국 정보가 없습니다
패밀리정보가 없습니다
국가 R&D 정보가 없습니다.