초록

용어보기논문에서 용어와 풀이말을 자동 추출한 결과로, 시범 서비스 중입니다. AI-Helper

본 논문에서는 XML 문서에 문서검증을 위한 로직을 추가하였다 로직을 기술하기 위해 규칙 표현에 효과적인 Prolog를 이용하였고 검증 규칙을 XML 문서로 변환하여 원래의 XML 문서에 포함시켰다. XML 문서검증에 관한 연구가 기존에는 주로 문서 구조의 검증에 치중한 반면 본 논문은 XML 엘리먼트의 데이터 값 검증에 역점을 두었다. 또한 폼 값의 검증을 XML과 Prolog를 이용하여 검증함으로써 스크립트언어를 사용해 검증하는 일반적인 방법을 개선하였다.

본 논문에서는 XML 문서에 문서검증을 위한 로직을 추가하였다 로직을 기술하기 위해 규칙 표현에 효과적인 Prolog를 이용하였고 검증 규칙을 XML 문서로 변환하여 원래의 XML 문서에 포함시켰다. XML 문서검증에 관한 연구가 기존에는 주로 문서 구조의 검증에 치중한 반면 본 논문은 XML 엘리먼트의 데이터 값 검증에 역점을 두었다. 또한 폼 값의 검증을 XML과 Prolog를 이용하여 검증함으로써 스크립트언어를 사용해 검증하는 일반적인 방법을 개선하였다.

AI 본문요약

엑셀 다운로드 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

• 연구 주제
• 연구 방법
• 연구 결과

문제 정의

• HTML 기반 폼의 이와 같은 문제점으로 인하여 본 논문에서는 XML에 기반한 폼으로 작성하려고 한다. 하지만 HTML 폼은 XML에 XSL을 적용한 결과로 나타나게 되어 단지 사용자들이 데이터를 입력하기 위한 인터페이스로 존재하게 된다.
• 본 논문은 XML 문서로 일관된 처리를 하고 HTML 기반의 폼을 개선하기 위해 XML에 XSL을 이용해서 ① 과같이 HTML 폼 올 생성하였다. HTML 폼 인터페이스를 이용하여 사용자는 입력 시 주의사항에 맞게 데이터를 입력한다.
• 본 논문은 XML의 논리적 구조가 Prolog의 Structure로 매핑될 수 있고 의미론적으로 유사한 상호 연관성을 통하여 XML과 Prolog의 통합 표현을 시도하였다. 이러한 시도의 한 결과로 XML로 표현된 Prolog 로직을 생성할 수 있었다.

가설 설정

• (2) 기초적인 수준의 폼 정의만 가능하다.
• (4) 유연성이 부족하다.

제안 방법

• 사용자가 HTML 폼에 입력한 데이터는 XML로 저장된다. 3리고 사용자가 데이터를 입력할 때의 유의사항을 로직으로 표현하여 XML로 변환시켜서 사용자가 입력한 데이터가 저장되어 있는 XML 문서에 함께 포함시켰다. 로직표현은 논리 프로그래밍 언어이고 규칙표현에 효과적인 Prolog를 이용하였으며 궁극적으로 Prolog를 이용하여 XML 문서검증이 가능하다는 것을 확인하였다.
• XML에 폼 정의를 하고 XSL을 이용하여 HTML을 생성하였다. HTML폼에서 입력값 인증은 주로 스크립트 언어를 사용하지만 본 논문은 규칙표현에 효과적인 Prolog를 이용하여 개선하였다. [그림 3]에서처럼 입력 시 주의사항인 2가지의 규칙은 다음과 같이 각각 Pr이og의 rule로 기술될 수 있다.
• [그림 3]은 사용자 입력 폼이다. XML에 폼 정의를 하고 XSL을 이용하여 HTML을 생성하였다. HTML폼에서 입력값 인증은 주로 스크립트 언어를 사용하지만 본 논문은 규칙표현에 효과적인 Prolog를 이용하여 개선하였다.
• 본 논문에서는 Prolog Term, Clause를 XML 기반으로 표현 할 수 있도록 Prolog를 XML로 변환하는 translator(이하 Prok>g2XML‘")를 통해서 자동적으로 생성하고 있다.
• 본 논문에서는 폼(form)의 정의와 표현을 분리하기 위해 XML과 XSL(eXtensible Stylesheet Language)을 이용하여 사용자가 입력할 수 있는 인터페이스를 HTML로 만들었다. 사용자가 HTML 폼에 입력한 데이터는 XML로 저장된다.
• 이처럼 전자문서의 사실상의 표준인 XML로 문서를 작성하고 검중할 때 기존의 연구[2, 3]들은 대부분 XML 문서의 구조검증에 국한되어 있다. 즉, 문서형 정의 (DTD) 에 맞게 유효한(valid)문서인지, 적격(well-formed)한지에 대한 문서 검증만 이루어졌다. 이에 비해 XML 엘리먼트 값 검 중에 대한 연구는 미비하다.

성능/효과

• (3) 폼 정의와 코드가 뒤섞여 있어서 재사용은 어렵다.
• 3리고 사용자가 데이터를 입력할 때의 유의사항을 로직으로 표현하여 XML로 변환시켜서 사용자가 입력한 데이터가 저장되어 있는 XML 문서에 함께 포함시켰다. 로직표현은 논리 프로그래밍 언어이고 규칙표현에 효과적인 Prolog를 이용하였으며 궁극적으로 Prolog를 이용하여 XML 문서검증이 가능하다는 것을 확인하였다.
• ”라고 할 수 있다. 하지만 정적인 XML 문서에 Prolog 로직을 XML로 변환하여 포함 시킴으로써 XML 문서가 Prok增를 통해서 검증 규칙을 내포할 수 있다는 것을 보였다. 향후에는 Prok理로 구현한 시스템에서 검증 규칙을 포함한 XML 문서를 검중할 예정이다.

후속연구

• 하지만 정적인 XML 문서에 Prolog 로직을 XML로 변환하여 포함 시킴으로써 XML 문서가 Prok增를 통해서 검증 규칙을 내포할 수 있다는 것을 보였다. 향후에는 Prok理로 구현한 시스템에서 검증 규칙을 포함한 XML 문서를 검중할 예정이다.

본문요약 정보가 도움이 되었나요? 예 아니오 제출

이 논문을 인용한 문헌

더보기