맞춤기술찾기

이전대상기술

프로세스 명세와 시공간논리를 이용한 프로세스검증장치(APPARATUS OF VERIFYING A PROCESS USING PROCESS ALGEBRA AND GEO-TEMPORAL LOGIC)

  • 기술번호 : KST2017011363
  • 담당센터 : 광주기술혁신센터
  • 전화번호 : 062-360-4654
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 정형기법을 통해 명세된 프로세스를 시각적으로 표현하며, 프로세스의 실행 가능한 경우의 수를 모의계산하여 프로세스 실행시 발생되는 오류를 검출하며. 시공간논리를 통해 프로세스의 요구사항을 검증하기 위한 프로세스 검증장치에 관한 것이다. 본 발명은 프로세스의 명세를 시각화하며, 시각화된 프로세스가 실행가능 한 모든 경우의 수를 모의계산하여 프로세스의 실행시 발생되는 오류를 검출함으로써, 프로세스의 안정성을 높일 수 있는 효과가 있다. 또한, 프로세스 간의 의존성 관계와 같은 요구사항을 시간 및 공간으로 표현 가능한 검증기호를 통해 프로세스의 요구사항을 검증함으로써, 시각적으로 프로세스의 요구사항을 검증할 수 있는 효과가 있다.
Int. CL G06F 11/36 (2016.02.15) G06F 9/44 (2016.02.15)
CPC G06F 11/3604(2013.01) G06F 11/3604(2013.01) G06F 11/3604(2013.01) G06F 11/3604(2013.01)
출원번호/일자 1020150191240 (2015.12.31)
출원인 전북대학교산학협력단
등록번호/일자
공개번호/일자 10-2017-0080060 (2017.07.10) 문서열기
공고번호/일자 문서열기
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 등록
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2015.12.31)
심사청구항수 3

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 전북대학교산학협력단 대한민국 전라북도 전주시 덕진구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 최영복 대한민국 전라북도 김제시 백구
2 이문근 대한민국 전라북도 전주시 완산구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 홍성일 대한민국 대전광역시 서구 둔산중로 **, *층 ***호 국제특허법률사무소 태상 (둔산동, 인곡타워)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
1 전북대학교산학협력단 대한민국 전라북도 전주시 덕진구
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application
2015.12.31 수리 (Accepted) 1-1-2015-1293918-25
2 출원인정보변경(경정)신고서
Notification of change of applicant's information
2016.01.29 수리 (Accepted) 4-1-2016-5013206-34
3 선행기술조사의뢰서
Request for Prior Art Search
2016.07.11 수리 (Accepted) 9-1-9999-9999999-89
4 선행기술조사보고서
Report of Prior Art Search
2016.08.30 발송처리완료 (Completion of Transmission) 9-6-2016-0108618-75
5 의견제출통지서
Notification of reason for refusal
2016.09.01 발송처리완료 (Completion of Transmission) 9-5-2016-0632647-12
6 [출원서 등 보정(보완)]보정서
2016.10.25 수리 (Accepted) 1-1-2016-1037601-65
7 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)
2016.10.25 수리 (Accepted) 1-1-2016-1037620-22
8 [공지예외적용 보완 증명서류]서류제출서
2016.10.25 수리 (Accepted) 1-1-2016-1037610-76
9 의견제출통지서
Notification of reason for refusal
2017.03.23 발송처리완료 (Completion of Transmission) 9-5-2017-0212752-14
10 [거절이유 등 통지에 따른 의견]의견(답변, 소명)서
[Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation)
2017.05.23 수리 (Accepted) 1-1-2017-0489448-10
11 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment
2017.05.23 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2017-0489456-75
12 등록결정서
Decision to grant
2017.09.27 발송처리완료 (Completion of Transmission) 9-5-2017-0683101-25
13 출원인정보변경(경정)신고서
Notification of change of applicant's information
2019.02.27 수리 (Accepted) 4-1-2019-5038917-11
14 출원인정보변경(경정)신고서
Notification of change of applicant's information
2019.07.23 수리 (Accepted) 4-1-2019-5146985-61
15 출원인정보변경(경정)신고서
Notification of change of applicant's information
2019.07.23 수리 (Accepted) 4-1-2019-5146986-17
16 출원인정보변경(경정)신고서
Notification of change of applicant's information
2019.10.22 수리 (Accepted) 4-1-2019-5219602-91
17 출원인정보변경(경정)신고서
Notification of change of applicant's information
2020.07.06 수리 (Accepted) 4-1-2020-5149086-79
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
소프트웨어 설계에 필요한 프로세스를 명세하기 위해 적어도 하나의 정형명세가 정의되며, 상기 정의된 정형명세에 대응되는 시각화된 모형이 저장된 명세저장부;특정 프로세스를 명세하기 위해 입력된 특정 정형명세를 상기 저장된 시각화된 모형과 비교하여 상기 특정 정형명세에 대응되는 특정모형을 시각적으로 표시하는 명세표시부;상기 특정모형으로 시각화된 특정모형을 통해 상기 특정 프로세스가 실행 가능한 모든 경우의 수를 모의계산하며, 상기 모의계산 된 경우의 수를 도식화하는 모의계산부;시간테이블을 기준으로 상기 모의계산된 경우의 수 각각을 상기 특정 프로세스의 통신, 이동, 실행 및 상호작용과 관련된 행위로 블록화하여 나열하는 블록생성부;상기 특정프로세스의 요구사항을 식별하며, 상기 식별된 특정프로세스의 요구사항에 대응되는 특정검증기호를 식별하는 하는 기호식별부;상기 식별된 특정검증기호를 상기 나열된 블록 상에 표시하는 기호표시부; 및상기 블록 상에 표시된 특정 검증기호가 기호생성부에 정의된 요구사항의 만족여부를 확인하는 명세검증부를 포함하는 것을 특징으로 하는 프로세스 명세와 시공간논리를 이용한 프로세스검증장치
2 2
제1 항에 있어서,상기 도식화된 결과를 통해 상기 특정 프로세스의 실행이 중단되는 경우의 수를 시각적으로 표시하는 오류표시부를 더 포함하는 것을 특징으로 하는 프로세스 명세와 시공간논리를 이용한 프로세스검증장치
3 3
제1 항에 있어서,상기 프로세스 간의 포함관계, 상기 프로세스의 우선순위, 상기 프로세스의 실행순서, 상기 프로세스의 구간 및 상기 프로세스의 상태 중 적어도 어느 하나가 포함된 프로세스의 요구사항을 정의하기 위한 검증기호를 생성하는 기호생성부를 더 포함하는 것을 톡징으로 하는 프로세스 명세와 시공간논리를 이용한 프로세스검증장치
4 4
삭제
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 미래창조과학부 고려대학교 대학ICT연구센터육성지원 고품질 융합 소프트웨어 개발 지원 도구 연구