• 한국정보과학회논문지:데이타베이스
• /
• 제34권2호
• /
• pp.153-165
• /
• 2007

XML은 웹 데이타 표현 및 교환을 위한 표준으로 많은 응용 분야에서 널리 이용되고 있다. XML Schema는 표준 XML 스키마로, 정의된 XML Schema에 의거하여 작성된 XML 문서를 ‘유효한 XML 문서’라고 하며 이러한 XML 문서는 갱신이 된 후에도 XML Schema에 대해 유효함이 보장되어야 한다. 본 논문은 갱신 이전에 갱신과 관련된 부분에 대한 유효 검증을 수행하여 불필요한 유효 검증을 제거한 XML Schema 유효 검증 메커니즘인 ‘예상 갱신 부분 유효 검증 기법’과 갱신 별 유효 검증 알고리즘을 제안한다. 또한 XML 데이타와 XML Schema 간의 매핑 방법과 XML Schema 유효 검증을 지원하기 위해 효율적인 스키마 정보 추출을 제공하는 XML Schema 저장 방법을 제안한다. 마지막으로 실험을 통해 스키마 저장 방법에 따른 갱신 별 유효 검증 성능을 비교한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제29권6호
• /
• pp.417-428
• /
• 2002

XML은 정보공유 및 검색에 있어서 매우 효과적인 장점을 지닌 마크업 언어이지만 보안에 취약한 단점을 가지고 있다. 한편, 이를 보완하는 XML 전자 서명, XML 데이타 암호화, XML 접근 제어 등의 연구는 XML 문서의 유효성을 배제하고 있다. 그러나 XML 기반 정보 교환 및 공유 환경에서 XML 문서의 유효성은 필수적으로 요구된다. 본 논문에서는 XML 문서의 보안성과 유효성을 동시에 지원하는 XML 보안 시스템을 설계하고 구현하였다. 제안된 시스템은 XML 데이타의 암호화 과정에서 유효성 유지를 위해 XML 스키마 정보를 갱신하여 이의 참조를 통해 XML 문서의 유효성 지원한다. 또한 XML 스키마 전자 서명과 같은 XML 스키마 관련 보안 기능을 지원하며 이 과정에서 빠른 정규화 XML 스키마 해석을 위해 DOMHash 기법을 사용하였다. 제안된 시스템을 통해 유효성을 유지하는 XML 문서는 유연성 및 확장성과 신뢰성에 있어 기존 시스템보다 좋은 기능을 갖는다.

• 한국정보과학회논문지:데이타베이스
• /
• 제32권6호
• /
• pp.628-640
• /
• 2005

많은 웹 응용 영역에 XML이 적용되면서 트랜잭션의 변경과 접근에 대한 고립성을 만족시키는 XML 문서에 대한 병행수행은 중요한 이슈가 되고 있다. DTD(혹은 XML 스키마)의 규칙을 잘 지키는 문서를 유효한 XML 문서라 하는데, 유효한 XML 문서에 대한 갱신 연산은 연산 후의 XML 문서가 원래 DTD의 규칙을 그대로 유지해야하는 유효성 문제를 앉고 있다. 일반적인 유효성 검증 방법은 갱신 후의 XML 문서 전체에 대해 유효성을 검증하는 방법이다. 그러나, 위에서 언급한 유효성 검증 방법은 낮은 병행수행의 결과를 낳는다. 따라서, XML 문서의 유효성 검증 범위를 최소화하면서 높은 병행수행 정도를 보이는 새로운 유형성 검증 방법과 로킹 방법이 요구된다. 본 논문은 유효성 검증의 검증 범위를 최소화 시켜 유효성 검증이 효율적으로 수행될 수 있는 시퀀스 그룹 검증 기법을 제안한다. 또한 이 검증 기법의 정확성을 보장하면서 로킹되는 데이타 아이템의 수를 최소화 할 수 있는 경계 로킹 기법을 제안한다. 마지막으로 제안된 유효성 검증 기법과 경계 로킹 기법이 기존의 방법에 비해 트랜잭션의 병행수행 성능을 향상시키고 있음을 실험을 통해 보인다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2007년도 춘계종합학술대회
• /
• pp.653-656
• /
• 2007

국내 전자상거래의 표준으로 채택된 ebXML에 대한 관심이 집중되면서 국내외적으로 ebXML 솔루션들의 검증의뢰에 대한 대비책의 필요성이 대두되고 있다. 이 중 BPSS의 검증을 위한 시험도구는 국내외적으로 전무한 상태이다. 이에 ebXML에서 가장 중요하고 필요한 부분으로써 ebMS 표준적합성 및 상호운용성과 연계된 ebXML BPSS 검증 체계 확립이 절실히 요구된다. 본 논문에서는 ebXML BPSS 검증항목으로 작성된 케이스 항목에 따라서 문서의 적합성 여부를 평가하기 위한 시스템 모델을 제안하고자한다.

• 한국정보과학회논문지:데이타베이스
• /
• 제30권5호
• /
• pp.540-551
• /
• 2003

최근에 데이타베이스에 저장된 XML문서의 변경에 대한 여러 연구들이 수행되었다[1-3］. 이 연구들은 우선 변경 연산들을 정의하고 이 연산들을 수행할 때 발생하는 의미적 문제들을 해결하는 방법을 제안하였다. 이러한 연구들에서는 변경 연산을 수행한 후에 검증을 수행하기 때문에 여러 가지 충돌 문제가 발생한다. 이러한 충돌문제를 해결하기 위해서는 XML데이타베이스 시스템이 변경 연산을 수행하기 전에 이 연산이 DTD에 따르는지 즉시 검증할 수 있어야 한다. 또한 지금까지의 연구들은 변경된 XML문서를 검증할 때 변경된 부분을 검증하지 않고 문서 전체를 검증한다. 따라서 많은 응용프로그램들이 XML문서를 변경한다면 이 연산에 대한 검증 과정 때문에 심각한 성능 저하를 가져올 것이다. 이 연구에서는 이 두 가지 문제점을 해결하기 위한 방법을 제안한다. 우선 DTD정보를 추출하여 데이타베이스에 저장하고 데이타베이스에 저장된 XML문서를 변경할 때 이 저장된 DTD정보를 이용하여 변경 연산의 유효성을 검증함으로써 항상 유효한 XML문서를 데이타베이스에 유지하도록 한다. 이를 위해 유효성 검증을 변경 연산이 수행되기 전에 즉시 수행하고 검증 범위 또한 변경된 부분으로 한정시키는 메카니즘을 고안하였다.

• Asia pacific journal of information systems
• /
• 제14권1호
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.709-711
• /
• 2001

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.12-14
• /
• 2000

XML[1]은 문서의 논리적인 구조를 가지고 있으며 XML 문서를 파싱할 때 이 구조에 맞는지 검증을 하게 된다. 이때 대부분 파서의 경우에는 문서 단위로 검증을 하며 문서의 일부분만 검증할 수 없다. 또한 XML 문서가 변경되었을 때 이 문서가 유효(valid)한지 검사할 때에도 문서 전체를 검증해야 한다. 이렇게 되면 검증할 필요가 없는 부분도 다시 검증하게 되는 오버헤드가 발생하는데 만약 XML 문서가 데이터베이스에 저장되어 있다면 문서 전체를 꺼내어서 검증하고 다시 삽입해야 한다. 본 논문에서는 이러한 문제점을 해결하기 위하여 XML 문서가 변경되었을 때 변경된 부분만 검증할 수 있는 기법을 제한한다.

• 한국전자거래학회지
• /
• 제10권4호
• /
• pp.1-18
• /
• 2005

대표적인 전자거래 프레임워크인 ebXML에서 비즈니스 프로세스 명세(BPS: Business Process Specification)는 최종적으로 XML 버전의 BPSS( Business Process Specification Schema)를 준수하는 사례로서 규정되어야 한다. 보다 완전하고 일치되게 XML버전의 BPSS 사례를 정의하기 위해서는 모든 의미 제약을 검증하는 과정이 필수적이다. 그러나, XML Schema 구조체의 제약으로 인해서 XML버전의 BPSS는 이러한 의미 제약을 완벽하게 규정하고 있지 못하다. 이 논문에서는 최종적으로 실행될 XML 버전의 BPSS사례에 대한 검증을 지원하기 위해서, BPSS의 XML Schema에 표현되지 못한 의미 제약들을 체계적으로 발견하고, 이들을 명시적으로 표현하여 재활용하는 방법을 제시한다. 이러한 방법으로 XML 버전 BPSS 사례를 편리하게 검증하고, 오류 수정을 안내하며, 기업간 비즈니스 프로세스 표준화와 적용의 효율성을 증대시킬 수 있다.

• Journal of Platform Technology
• /
• 제10권4호
• /
• pp.11-24
• /
• 2022

항공기 소프트웨어를 개발하는 도구는 도구에서 생성된 결과물에 오류가 있으면 항공기 소프트웨어에 에러를 유입할 수 있기 때문에 항공기 소프트웨어와 동일한 수준의 안전성이 요구된다. 본 논문은 한화시스템의 A661UAGEN 도구를 통해 ARINC 661 표준 UA 정의 파일과 CDS 설정 파일을 생성 시에 도구의 입력과 출력 파일에 대한 유효성 확인을 통해 항공기 소프트웨어의 일부가 되는 도구 산출물의 신뢰성을 확보하는 방법에 대해 기술한다. A661UAGEN 도구의 입력인 XML 파일에 대한 스키마 정의를 통해서 XML 데이터의 구조와 내용이 유효한지를 확인하는 방법을 제시하였다. 그리고 출력인 바이너리 데이터는 자료 구조의 유효 값에 대한 마스크 데이터를 생성하여 유효성을 확인하는 방법을 제시하였다. 이와 같이 A661UAGEN 도구의 입력과 출력에 대한 유효성 확인을 통해 항공기 소프트웨어에 통합되는 바이너리 DF와 CF의 신뢰성을 향상시켜 항공기 소프트웨어 개발자가 도구를 활용하여 OFP를 개발 시에 안전성을 보장할 수 있도록 하였다.