맞춤기술찾기

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

이전대상기술

로토스 명세로 부터 생성된 코드의 실행 방법

  • 기술번호 : KST2015097985
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 명세언어인 로토스(LOTOS)로 작성된 문서를 프로그래밍 언어로 변환하는 방법에 관한 것이다. 목적 언어로 변환된 코드는 커널 트리에 행위 정보를 유지하면서 멩세를 실행한다. 기존 로토스 도구가 생성하는 코드는 로토스 명세로부터 생성된 코드가 커널 함수를 직접 호출하여 커널 트리를 조작했으나, 본 발명에서는 커널 트리 조작을 커널 코드가 수행하도록 하였다. 커널 트리 조작을 커널 코드가 수행하므로 생성된 코드에는 행위 정보를 모아서 커널에 전달하는 부분만 나타난다. 따라서 생성된 코드가 간결하고 읽기 쉽기 때문에 코드의 유지/관리가 용이하고, 커널 함수 호출에 신경쓰지 않고 목적 코드 생성기를 구현할 수 있으므로 목적 코드 생성기의 구현 부담을 줄일 수 있다. 본 발명은 코드 생성기의 목적 코드에 독립적으로 적용될 수 있다.
Int. CL G06F 17/22 (2011.01) G06F 19/00 (2011.01)
CPC G06F 17/2264(2013.01)
출원번호/일자 1019970067908 (1997.12.11)
출원인 한국전자통신연구원
등록번호/일자
공개번호/일자 10-1998-0004125 (1998.03.30) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 거절
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (1997.12.11)
심사청구항수 2

출원인

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

발명자

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

대리인

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

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 출원심사청구서
Request for Examination		 1997.12.11 수리 (Accepted) 1-1-1997-0212927-45
2 특허출원서
Patent Application		 1997.12.11 수리 (Accepted) 1-1-1997-0212924-19
3 대리인선임신고서
Notification of assignment of agent		 1997.12.11 수리 (Accepted) 1-1-1997-0212926-00
4 조기출원공개신청서
Request for Laying Open of Early Application		 1997.12.11 수리 (Accepted) 1-1-1997-0212925-54
5 대리인선임신고서
Notification of assignment of agent		 1999.02.19 수리 (Accepted) 1-1-1999-5066510-92
6 의견제출통지서
Notification of reason for refusal		 1999.11.25 발송처리완료 (Completion of Transmission) 9-5-1999-0352799-52
7 거절사정서
Decision to Refuse a Patent		 2000.02.29 발송처리완료 (Completion of Transmission) 9-5-2000-0045111-97
8 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2001.04.19 수리 (Accepted) 4-1-2001-0046046-20
9 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2002.08.08 수리 (Accepted) 4-1-2002-0065009-76
10 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2009.08.04 수리 (Accepted) 4-1-2009-5150899-36
11 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2015.02.02 수리 (Accepted) 4-1-2015-0006137-44
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1

로토스 명세를 프로그래밍 언어로 변환하는 방법에 있어서, 로토스 프로세스를 실행할 때 생성된 코드는 행위의 순서에 따라 해당 행위 정보를 반환값(return value)으로 커널에 전달하면 커널 코드가 행위 정보를 분석하여 커널 트리 작업을 수행하는 것을 특징으로 하는 로토스 명세로부터 생성된 코드의 실행 방법

2 2

제1항에 있어서, 커널 함수 호출을 생성된 코드에 나타내지 않고 커널 코드에 내장하는 것을 특징으로 하는 것을 특징으로 하는 로토스 명세로부터 생성된 코드의 실행 방법

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