맞춤기술찾기

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

이전대상기술

로토스정형명세의확인장치및방법

  • 기술번호 : KST2015076857
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 LOTOS(Language of Temporal Ordering Specification) 정형 명세의 확인 장치 및 방법에 관한 것으로, 사용자 인터페이스를 그래픽 트리로 처리하여 복잡한 LOTOS 명세를 한눈에 직관적으로 파악할 수 있고 다이얼로그나 그래픽 트리상에서 마우스 클릭만으로 명세의 확인 과정을 쉽고 빠르게 전개해 나갈 수 있도록 한다.본 발명은 간단한 마우스 클릭만으로 확인 대상 부분 행위로 내부 포커스를 옮겨주는 행위 이동 다이얼로그를 포함하는 행위 이동 처리기와, 그래픽 트리 및 마우스 클릭을 이용한 편리한 사용자 인터페이스를 통해 사용자와의 단계별 상호 작용으로 상태 전이를 진행시키며 시뮬레이션 다이얼로그 및 그래픽 시뮬레이션 트리를 포함하는 단계 시뮬레이터와, 그래픽 트리 및 마우스 클릭을 이용한 편리한 사용자 인터페이스를 통해 주어진 LOTOS 행위 명세를 원하는 깊이만큼 확장하며 확장 다이얼로그 및 그래픽 확장 트리를 포함하는 명세 확장기와, LOTOS 자료 명세를 검증하며 텀 개서 시스템 및 완료 프로시저를 포함하는 자료 평가기를 포함하여 구성된다.본 발명에 의하면 종래의 기법에 비해 빠르고 편리하게 LOTOS 명세를 검증할 수 있고, 하나의 시스템으로 작용하여 LOTOS로 표현된 요구 명세의 확인 및 분석을 다양한 방법으로, 빠르고 편리하게 지원하여 명세상의 오류를 효과적으로 검출할 수 있다.LOTOS, 정형 명세, 그래픽 트리, 시뮬레이션
Int. CL G06F 9/455 (2006.01)
CPC G06F 8/34(2013.01) G06F 8/34(2013.01) G06F 8/34(2013.01)
출원번호/일자 1019980052216 (1998.12.01)
출원인 한국전자통신연구원
등록번호/일자 10-0317504-0000 (2001.11.30)
공개번호/일자 10-2000-0037589 (2000.07.05) 문서열기
공고번호/일자 (20020219) 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 소멸
심사진행상태 수리
심판사항
구분
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (1998.12.01)
심사청구항수 5

출원인

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

발명자

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

대리인

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

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 한국전자통신연구원 대한민국 대전 유성구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 특허출원서
Patent Application		 1998.12.01 수리 (Accepted) 1-1-1998-0403028-84
2 대리인선임신고서
Notification of assignment of agent		 1998.12.01 수리 (Accepted) 1-1-1998-0403029-29
3 출원심사청구서
Request for Examination		 1998.12.01 수리 (Accepted) 1-1-1998-0403030-76
4 의견제출통지서
Notification of reason for refusal		 2000.12.29 발송처리완료 (Completion of Transmission) 9-5-2000-0345652-23
5 명세서등보정서
Amendment to Description, etc.		 2001.02.12 보정승인 (Acceptance of amendment) 1-1-2001-5041344-51
6 의견서
Written Opinion		 2001.02.12 수리 (Accepted) 1-1-2001-5041343-16
7 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2001.04.19 수리 (Accepted) 4-1-2001-0046046-20
8 등록결정서
Decision to grant		 2001.11.22 발송처리완료 (Completion of Transmission) 9-5-2001-0320248-06
9 FD제출서
FD Submission		 2001.12.03 수리 (Accepted) 2-1-2001-5199344-45
10 FD제출서
FD Submission		 2001.12.03 수리 (Accepted) 2-1-2001-5199348-27
11 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2002.08.08 수리 (Accepted) 4-1-2002-0065009-76
12 [대리인사임]대리인(대표자)에 관한 신고서
[Resignation of Agent] Report on Agent (Representative)		 2008.11.06 수리 (Accepted) 1-1-2008-5055004-78
13 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2009.08.04 수리 (Accepted) 4-1-2009-5150899-36
14 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2015.02.02 수리 (Accepted) 4-1-2015-0006137-44
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1

마우스의 클릭에 의해 확인 대상 부분 행위로 내부 포커스를 옮겨주는 행위 이동 다이얼로그를 포함하는 행위 이동 처리기와,

그래픽 트리 및 마우스 클릭을 이용한 편리한 사용자 인터페이스를 통해 사용자와의 단계별 상호 작용으로 상태 전이를 진행시키며 시뮬레이션 다이얼로그 및 그래픽 시뮬레이션 트리를 포함하는 단계 시뮬레이터와,

그래픽 트리 및 마우스 클릭을 이용한 편리한 사용자 인터페이스를 통해 주어진 LOTOS 행위 명세를 원하는 깊이만큼 확장하며 확장 다이얼로그 및 그래픽 확장 트리를 포함하는 명세 확장기와,

LOTOS 자료 명세를 검증하며, 텀 개서 시스템 및 완료 프로시저를 포함하는 자료 평가기를 포함하여 이루어진 것을 특징으로 하는 LOTOS 정형 명세의 확인 장치

2 2

제 1 항에 있어서, 상기 시뮬레이션 다이얼로그는 동작 메뉴 표시기 및 동작 경로 표시기를 포함하는 것을 특징으로 하는 LOTOS 정형 명세의 확인 장치

3 3

제 1 항에 있어서, 상기 확장 다이얼로그는 확장 옵션 표시기 및 확장 결과 표시기를 포함하는 것을 특징으로 하는 LOTOS 정형 명세의 확인 장치

4 4

행위이동 다이얼로그 상에서 마우스 클릭으로 이루어지는 사용자의 행위 선택에 따라 현재 상태를 계산하는 행위 이동 과정과,

현재 상태로부터 동작 메뉴를 구성하여 그래픽 전이 트리로 제시한 후 선택 가능한 동작을 나타내는 그래픽 트리의 노드들 중에서 원하는 노드를 마우스로 더블 클릭하게 함으로써 사용자의 동작 선택을 받아들여 새로운 상태를 계산하거나 실행 취소를 받아들여 이전 상태를 계산한 후 다시 동작 메뉴를 제시하는 단계 시뮬레이션 과정과,

확장 다이얼로그 상에서 마우스 클릭으로 이루어지는 사용자의 선택에 따라 확장 옵션을 설정하거나 현재 상태로 주어진 명세를 확장 옵션에 따라 확장하여 그 결과를 상기 확장 다이얼로그 상에 표시하는 동시에 상태의 특성별로 고유한 색의 노드를 가지는 그래픽 확장 트리를 전시하는 명세 확장 과정과,

텀 개서 시스템을 생성한 후 사용자가 완료 프로시저를 선택하면 그것으로부터 텀 개서 시스템을 새로이 구축하고 자료 평가를 선택하면 주어진 LOTOS 자료형을 개서하여 평가해주는 자료 평가 과정을 포함하여 이루어진 것을 특징으로 하는 LOTOS 정형 명세의 확인 방법

5 5

행위이동 다이얼로그 상에서 마우스 클릭으로 이루어지는 사용자의 행위 선택에 따라 현재 상태를 계산하기 위한 수단과,

현재 상태로부터 동작 메뉴를 구성하여 그래픽 전이 트리로 제시한 후 선택 가능한 동작을 나타내는 그래픽 트리의 노드들 중에서 원하는 노드를 마우스로 더블 클릭하게 함으로써 사용자의 동작 선택을 받아들여 새로운 상태를 계산하거나 실행 취소를 받아들여 이전 상태를 계산한 후 다시 동작 메뉴를 제시하기 위한 수단과,

확장 다이얼로그 상에서 간단한 마우스 클릭만으로 이루어지는 사용자의 선택에 따라 확장 옵션을 설정하거나 현재 상태로 주어진 명세를 확장 옵션에 따라 확장하여 그 결과를 상기 확장 다이얼로그 상에 표시하는 동시에 상태의 특성별로 고유한 색의 노드를 가지는 그래픽 확장 트리를 전시하기 위한 수단과,

텀 개서 시스템을 생성한 후 사용자가 완료 프로시저를 선택하면 그것으로부터 텀 개서 시스템을 새로이 구축하고 자료 평가를 선택하면 주어진 LOTOS 자료형을 개서하여 평가하기 위한 수단을 기능시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체

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