맞춤기술찾기

홈으로 가기
맞춤기술찾기
이전대상기술
프린트하기

이전대상기술

그래픽 전이 트리를 이용한 시간 순서화 명세언어의시뮬레이션 방법

  • 기술번호 : KST2015076808
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 현재 상태를 루트 노드로하고 동작 종류를 엣지로 하는 트리를 생성하고, 사용자에게 그래픽 형태로 제시하여 사용자가 그래픽 트리 상에서 동작 메뉴 중 하나를 선택하면, 다음 상태로 전이하여 새로운 상태에서 다시 동작 메뉴를 계산한 후, 사용자에게 새로운 그래픽 트리로 제시하는 그래픽 전이 트리를 이용한 시간 순서화 명세언어의 시뮬레이션 방법에 관한 것이다.본 발명은 명세를 로딩한 후 초기 상태를 계산하고 현재 상태에서 발생 가능한 동작들로 메뉴를 구성하는 과정과, 상기 현재 상태와 동작 메뉴로 그래픽 전이 트리를 구축하는 과정과, 상기 구축된 그래픽 전이 트리를 화면에 전시한 후 사용자의 입력이 들어올 때 까지 대기하는 과정과, 상기 사용자의 입력이 동작 메뉴에서 하나의 동작을 선택한 것이면 현재 상태와 선택된 동작으로 새로운 상태를 계산하여 상기 메뉴 구성의 단계에서부터 이후의 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 실행 취소를 선택한 것이면 이전 상태를 계산하여 상기 동작 메뉴 구성 단계에서부터 이후 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 동작 선택도 아니고 실행 취소도 아니면 시뮬레이션이 끝임을 알리고 종료하는 과정을 포함하여 이루어진 것을 특징으로 한다.
Int. CL G06F 9/455 (2006.01)
CPC G06F 8/38(2013.01) G06F 8/38(2013.01)
출원번호/일자 1019980052021 (1998.11.30)
출원인 한국전자통신연구원
등록번호/일자 10-0290464-0000 (2001.03.02)
공개번호/일자 10-2000-0034647 (2000.06.26) 문서열기
공고번호/일자 (20010601) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (1998.11.30)
심사청구항수 2

출원인

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

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 조수선 대한민국 대전광역시 유성구
2 오영배 대한민국 대전광역시 유성구
3 김흥남 대한민국 대전광역시 유성구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 신영무 대한민국 서울특별시 강남구 영동대로 ***(대치동) KT&G타워 *층(에스앤엘파트너스)
2 최승민 대한민국 서울특별시 중구 통일로 **, 에이스타워 *층 (순화동)(법무법인 세종)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 한국전자통신연구원 대한민국 대전 유성구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 특허출원서
Patent Application		 1998.11.30 수리 (Accepted) 1-1-1998-0402494-68
2 대리인선임신고서
Notification of assignment of agent		 1998.11.30 수리 (Accepted) 1-1-1998-0402495-14
3 출원심사청구서
Request for Examination		 1998.11.30 수리 (Accepted) 1-1-1998-0402496-59
4 등록사정서
Decision to grant		 2000.10.30 발송처리완료 (Completion of Transmission) 9-5-2000-0280040-44
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 [대리인사임]대리인(대표자)에 관한 신고서
[Resignation of Agent] Report on Agent (Representative)		 2008.11.06 수리 (Accepted) 1-1-2008-5055004-78
8 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2009.08.04 수리 (Accepted) 4-1-2009-5150899-36
9 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2015.02.02 수리 (Accepted) 4-1-2015-0006137-44
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1

명세를 로딩한 후 초기 상태를 계산하고 현재 상태에서 발생 가능한 동작들로 메뉴를 구성하는 제 1 과정과,

상기 현재 상태와 동작 메뉴로 그래픽 전이 트리를 구축하는 제 2 과정과,

상기 구축된 그래픽 전이 트리를 화면에 전시한 후 사용자의 입력이 들어올 때 까지 대기하는 제 3 과정과,

상기 사용자의 입력이 동작 메뉴에서 하나의 동작을 선택한 것이면 현재 상태와 선택된 동작으로 새로운 상태를 계산하여 상기 메뉴 구성의 단계에서부터 이후의 과정을 반복 수행하는 제 4 과정과,

상기 사용자의 입력이 실행 취소를 선택한 것이면 이전 상태를 계산하여 상기 동작 메뉴 구성 단계에서부터 이후 과정을 반복 수행하는 제 5 과정과,

상기 사용자의 입력이 동작 선택도 아니고 실행 취소도 아니면 시뮬레이션이 끝임을 알리고 종료하는 제 6 과정을 포함하여 이루어진 것을 특징으로 하는 그래픽 전이 트리를 이용한 시간 순서화 명세언어의 시뮬레이션 방법

2 2

명세를 로딩한 후 초기 상태를 계산하고 현재 상태에서 발생 가능한 동작들로 메뉴를 구성하는 제 1 과정과,

상기 현재 상태와 동작 메뉴로 그래픽 전이 트리를 구축하는 제 2 과정과,

상기 구축된 그래픽 전이 트리를 화면에 전시한 후 사용자의 입력이 들어올 때 까지 대기하는 제 3 과정과,

상기 사용자의 입력이 동작 메뉴에서 하나의 동작을 선택한 것이면 현재 상태와 선택된 동작으로 새로운 상태를 계산하여 상기 메뉴 구성의 단계에서부터 이후의 과정을 반복 수행하는 제 4 과정과,

상기 사용자의 입력이 실행 취소를 선택한 것이면 이전 상태를 계산하여 상기 동작 메뉴 구성 단계에서부터 이후 과정을 반복 수행하는 제 5 과정과,

상기 사용자의 입력이 동작 선택도 아니고 실행 취소도 아니면 시뮬레이션이 끝임을 알리고 종료하는 제 6 과정을 실행시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체

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