맞춤기술찾기

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

이전대상기술

클래스 다이어그램에 대한 ＳＭＴ 변환 장치를 이용한 클래스 다이어그램 분석 방법

  • 기술번호 : KST2014031407
  • 담당센터 : 부산기술혁신센터
  • 전화번호 : 051-606-6561
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 클래스 다이어그램에 대한 SMT 변환 장치를 이용한 클래스 다이어그램 분석 방법에 관한 것으로, SMT(Satisfiability Modulo Theories) 변환 장치에 의해, 시스템 상태로 정의된 클래스 다이어그램의 의미를 SMT 논리식의 구문으로 나타내고, 객체 선언, 클래스의 객체선언, 속성 변환, 링크 변환 및 다중성 제약의 변환 규칙에 따라 SMT 입력 언어로 매핑함으로써, 모델링된 클래스 다이어그램에 대한 XMI 파일 및 분석 기준을 SMT 입력언어로 자동 변환하는 단계; 및 SMT 처리기에 의해, 상기 SMT 입력언어로 변환된 파일에 대한 분석을 수행하여 분석 결과를 출력하는 단계를 포함하여 구성된다.
Int. CL G06F 9/45 (2006.01) G06F 9/44 (2006.01)
CPC G06F 8/24(2013.01) G06F 8/24(2013.01) G06F 8/24(2013.01) G06F 8/24(2013.01)
출원번호/일자 1020100008996 (2010.02.01)
출원인 한국전자통신연구원
등록번호/일자
공개번호/일자 10-2011-0089548 (2011.08.09) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 취하
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 N
심사청구항수 1

출원인

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

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 박사천 대한민국 경기도 수원시 장안구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 특허법인씨엔에스 대한민국 서울 강남구 언주로 **길 **, 대림아크로텔 *층(도곡동)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application		 2010.02.01 수리 (Accepted) 1-1-2010-0067155-09
2 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2015.02.02 수리 (Accepted) 4-1-2015-0006137-44
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
SMT(Satisfiability Modulo Theories) 변환 장치에 의해, 시스템 상태로 정의된 클래스 다이어그램의 의미를 SMT 논리식의 구문으로 나타내고, 객체 선언, 클래스의 객체선언, 속성 변환, 링크 변환 및 다중성 제약의 변환 규칙에 따라 SMT 입력 언어로 매핑함으로써, 모델링된 클래스 다이어그램에 대한 XMI 파일 및 분석 기준을 SMT 입력언어로 자동 변환하는 단계; 및 SMT 처리기에 의해, 상기 SMT 입력언어로 변환된 파일에 대한 분석을 수행하여 분석 결과를 출력하는 단계를 포함하는 것을 특징으로 하는 클래스 다이어그램에 대한 SMT 변환 장치를 이용한 클래스 다이어그램 분석 방법
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 지식경제부 한국전자통신연구원 IT성장동력기술개발 차량 전장용 통합제어 SW 플랫폼 개발