• 한국정보처리학회논문지
• /
• 제5권5호
• /
• pp.1345-1356
• /
• 1998

본 논문은 컴파일러에 의해 생성된 목적 코드상의 프로시저의 수행 속도를 향상시키기 위한 방안으로, 프롤로그 테일러링 알고리즘을 제안한다. 레지스터의 수가 많은 기계에서 반복 수행되는 프로시저의 경우, 프롤로그와 에필로그에서 실행되는 레지스터 저장 및 복원 명령어를 줄이는 것은 프로시저 실행 속도 향상의 주요 작업이 된다. IBM XL C 컴파일러에서 제공되는 에필로그 테일러링은 실행 경로상의 레지스터 복원 명령어를 줄임으로써, 프로시저 성능 향상에 기여해왔으나, 프롤로그 테일러링에 대한 구체적 알고리즘은 현재 제안되어 있지 않다. 본 논문이 제안하는 알고리즘에 의해 생성된 프롤로그는 각각의 실행 경로에 대해 현저히 감소된 수의 레지스터 저장 명령을 실행하도록 함으로써, 프로시저의 실행 속도를 개선시킨다. 테일러된 프롤로그를 갖는 프로시저가 바르게 실행되기 위해서는, 다이아몬드 구조나 반복 구조 내분에 레지스터 저장 명령을 생성해서는 안된다. 그러므로, 본 논문은 다이아몬드 구조나 반복 구조 내부가 아닌 최적의 위치에 레지스터 저장 명령을 생성하는 알고리즘을 제안한다.

• 한국정보처리학회논문지
• /
• 제4권6호
• /
• pp.1557-1564
• /
• 1997

본 논문에서는 프롤로그 프로그램의 수행을 제어하기 위한 하나의 기능으로서 수항목(count term)이라는 새로운 기능을 제안한다. 그 목적은 사용자와 프로그래머에게 답 또는 증명의 수를 제한하는 기능과 프롤로그 프로그램의 수행을 제어하는 데 편리함을 주기 위한 것이다. 따라서 그를 위한 구문과 작동적 의미를 제시하였으며 WAM(Warren Abstract Machine)에서 백트랙킹시 관련된 명령어를 수정하여 수항목의 구현 방법을 제시한다.

• 건축사
• /
• 통권587호
• /
• pp.128-135
• /
• 2018

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.631-633
• /
• 2003

시스템의 안전성을 평가하기 위해 프롤로그 기반의 명세 언어인 SPSL을 사용하여 보안 모델을 정형적으로 설계하였다. 보안 모델은 시스템의 3가지 컴포넌트, 시스템 보안 상태(system security states), 접근 통제 규칙(access control rules), 그리고 보안 기준(security criteria)으로 구성된다. 본 논문에서는 NTFS의 다중 사용 권한에 대한 보안 모델을 만들어서 3가지 컴포넌트를 명세하고 안전성 문제 해결 도구인 SPR［1］을 이용하여 검증하였다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.655-659
• /
• 2003

시스템의 안전성을 평가하기 위해 안전성 문제 해결 도구인 SPR［1］을 이용하여 보안 모델을 프롤로그 기반의 명세 언어인 SPSL로 기술하여 안전성을 검증한다. 보안 모델은 시스템의 3가지 컴포넌트, 시스템 보안 상태(system security states), 접근 통제 규칙(access control rules), 그리고 보안 기준(security criteria)으로 구성된다. 본 논문에서는 보안 모델의 보안 기준에 NTFS의 다중 사용 권한을 적용하여 명세하고 안전성 문제 해결방법을 제시하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.601-604
• /
• 2007

공개된 웹 서비스를 가공하여 새로운 서비스를 만들어내는 매쉬업 서비스가 활발하게 개발되어 사용자에게 제공되고 있다. 그러나 이러한 매쉬업 서비스도 프로그래밍 수준에서 이루어지고 있어 매우 제한된 사람만 개발 할 수 있다는 단점이 있다. 본 논문에서는 이러한 메쉬업 서비스를 기술하고, 기술된 서비스를 효과적으로 실행할 수 있는 시스템을 제안한다.

• 정보처리학회논문지B
• /
• 제9B권6호
• /
• pp.817-826
• /
• 2002

한국어대화에서는 존대현상(honorification phenomenon)이 일어나기도 하고, 존대대명사(honorific pronoun)가 사용되기도 하며, 맥락상 되찾을 수 있으면 주어나 목적어가 완전히 생략되기도 한다. 이러한 특징적인 언어현상이 일어나는 한국어대화를 처리하고 그것의 표상구조를 만들기 위해서 대화참석자에 관한 정보, 발화문의 화행에 관한 정보. 대화에 관련된 사람들의 사회적 지위에 있어서의 상대적 순위에 관한 정보, 대화에 나타나는 발화문 사이의 정보흐름 등을 묵시적으로가 아니라 명시적으로 표시하고 이용할 것을 본 논문은 제안한다. 또한. 본 논문은 이러한 상황정보(situational information)를 표시하고 이용하는 방법과 한국어대화의 적절한 표상구조를 제시한다. 본 논문에서 한국어대화표상구조의 설정은 담화표상이론(Discourse Representation Theory)과 분할담화표상이론(Segmented Discourse Representation Theory)을 수정ㆍ확대하여 이루어진다. 나아가서, 본 논문은 한국어대화를 전산적으로 어떻게 처리하고 그것의 표상구조를 구축하는지를 프롤로그 프로그래밍 언어를 사용하여 보여주고 나서, 그러한 표상구조의 타당성을 알아보기 위해 자연발생적 한국어대화에도 적용시켜 본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (C)
• /
• pp.435-438
• /
• 2008

본 논문은 기업 온톨로지를 기반으로 하는 비즈니스 프로세스 컨설턴트 시스템(BUPCO)의 설계를 기술한다. BUPCO 시스템은 사용자 인터페이스, 프로세스 표현 도구, 프로세스 평가 도구, 프로세스 분석 도구, 워크플로우 영향분석 도구, 프로세스 시각화 도구로 구성된다. 그 기반에 기업의 프로세스 지식을 표현하기 위해 기업 온톨로지를 구축하고 온톨로지 추론을 위한 프롤로그 추론기를 개발하였다. BUPCO 시스템은 기업 업무 환경의 변화에 빠르게 적응할 수 있는 최적의 프로세스 개선안을 제공하는 것을 목적으로 한다. 이 시스템을 통해 기업은 내부의 각종 비효율성을 제거하고 프로세스와 자원을 최적화함으로써 기업의 경쟁력을 제고시킬 수 있을 것이다.

• 한국컴퓨터정보학회논문지
• /
• 제9권3호
• /
• pp.135-141
• /
• 2004

소프트웨어의 종류가 다양하고, 커짐에 따라서 유지 보수 문제는 더욱 복잡하고 어렵게 되고, 프로그램 에러의 교정이나 요구 사항의 변경, 사용자에 대한 요구가 점차 증가되면서 소프트웨어의 유지 보수가 소프트웨어 생명 주기에서 가장 비용을 많이 차지하는 부분이 되었다. 본 논문에서는 객체지향 시스템에서 소프트웨어 재구성 환경을 위한 역공학 도구를 설계, 구현하였다. 이 도구는 클래스 정보를 이용한 규칙기반 역공학 도구이다. 프로그램 유지보수자가 프롤로그를 이용한 시스템 쿼리를 사용할 수 있도록 하였다. 대부분의 유사한 클래스를 추출하기 위한 재구조화 방법과 변수와 함수 사이의 관계에 근거를 둔 방법을 사용하였다. 추출된 클래스의 가시성이 자동적으로 산출되고, 논리언어를 이용한 쿼리를 사용함으로서 실질적인 유지보수가 이루어지도록 하였다. 또한 이 도구를 평가하는 방법을 제안하였다.

• 인터넷정보학회논문지
• /
• 제10권4호
• /
• pp.139-149
• /
• 2009

본 논문에서는 데이터 보호 규정에 관련된 요구사항들이나 규칙들이 소프트웨어에 잘 표현되어 있는지를 검증하기 위하여 도메인 고유의 언어인 DSML(Domain Specific Modeling Language)을 사용해 정책을 정규화 혹은 계산적 표현에 관련된 솔루션을 제시하고 있다. 모든 정책들은 공식적으로 프롤로그( Prolog) 언어 기반으로 표현된 후 DSML에 통합되며 정책검증은 요구사항 준수가 언제 평가되어야 하는지에 따라 정적 정책검증과 동적 정책검증의 두가지 정책이 존재한다.