• 한국컴퓨터정보학회논문지
• /
• 제27권9호
• /
• pp.77-89
• /
• 2022

본 논문에서는 RML 매핑 방식으로 구축한 RDF 지식 그래프의 구조를 묘사하고 검증할 용도의 SHACL 스키마를 자동으로 생성하는 시스템을 제안한다. 제안하는 시스템은 기존 연구와는 달리 RML 매핑 규칙 뿐만 아니라 RML 매핑의 입력인 CSV, JSON, XML, 데이터베이스와 같은 다양한 포맷의 데이터에서 추출한 메타데이터도 함께 사용하여 스키마를 생성한다. 따라서 기존 연구 기반의 스키마에서는 부재했던 데이터 타입, 문자열 길이, 값의 범위, 차수 관련 제약 조건이 스키마에 포함된다. 그리고 기존 연구에서 간과한 소위 반복된 속성 문제를 제안하는 시스템은 해결한다. 297개의 케이스로 구성된 적합성 테스트를 통해 제안된 시스템이 그래프에 대한 올바른 제약 조건을 생성함을 보여준다. 제안된 시스템은 오류가 발생하기 쉬운 기존 수동 검증 프로세스를 자동화하는 데 기여할 수 있다.

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

데이터베이스가 DTD를 가지는 valid XML을 관리하기 위해서는 XML 문서를 변경하는 트랜잭션들에 대한변경 유효성을 검사할 수 있는 메커니즘이 필요하게 된다. 그리고 이러한 유효성의 검증 범위는 유효성을 검증하기 위해 필요한 정보를 담고 있는 노드들을 나타낸다고 할 수 있는데 이것은 유효성 검증이 올바르게 수행되기 위해서는 검증 범위에 속하는 데이터 아이템들이 다른 트랜잭션들에 의해서 변경되지 않도록 보장하는 병행수행 제어 기법이 필요하다는 것을 의미하며 이를 위해 유효성과 병행수행에 대한 낙관적 처리 기법이 필요하게 된다. 본 논문에서는 효율적인 충돌 탐지와 같은 검증 범위에서의 유효성 검사를 통해 변경 연산의 트랜잭션들의 병행수행 성능을 향상시키는 기법을 제안하고 기존연구의 유효성 검증과 충돌 탐지 기법을 비교, 분석한다.

• 한국컴퓨터정보학회논문지
• /
• 제27권11호
• /
• pp.67-80
• /
• 2022

본 논문에서는 RML 매핑 방식으로 생성된 RDF 지식 그래프의 구조를 묘사하고 검증할 용도의 ShEx 스키마를 자동으로 생성하는 시스템을 제안한다. ShEx 스키마는 제약 조건들로 구성된다. 제안된 시스템은 대부분의 제약 조건을 RML 매핑 규칙을 변환하여 생성한다. 매핑 규칙에서 유도된 제약 조건만으로 구성한 스키마는 사용자가 RML 매핑으로 생성한 그래프의 구조를 파악하는 데 도움을 주는 용도로는 부족함이 없지만 정교한 검증 용도로 사용하기에는 충분치 않다. 검증 용도에 부합하는 스키마가 요구될 경우, 제안된 시스템은 RML 매핑의 입력 데이터 소스에서 추출한 메타데이터를 사용해 만든 제약 조건이 추가된 스키마를 생성할 수 있다. 제안된 시스템이 지원하는 입력 데이터 소스 유형은 CSV, XML, JSON, RDBMS다. 297개의 테스트 케이스로 구성된 실험에서 보인 결과는 제안된 시스템이 RML 매핑으로 생성된 RDF 그래프 검증을 위해 범용적으로 사용될 수 있음을 보여준다.

• 한국전자통신학회논문지
• /
• 제2권2호
• /
• pp.113-117
• /
• 2007

최근 인터넷을 통한 B2B 전자상거래가 확산됨에 따라 다양한 형태의 인터넷 비즈니스를 지원하기 위한 기술들이 나타나고 있다. 이에 따라 B2B 전자상거래 시스템은 B2B 거래를 위해 이기종 환경의 시스템들과 각종 정보를 처리하고, 교환해야 한다. 하지만 현재 BPSS의 검증을 위한 시험도구는 국내외적으로 전무한 상태이다. 본 논문에서는 ebMS 표준적합성과 연계하여 ebXML BPSS 검증항목으로 작성된 케이스 항목에 따라서 문서의 적합성 여부를 평가하는 BPSS 적합성 검증 모델을 제안하고자 한다.

• 디지털산업정보학회논문지
• /
• 제8권1호
• /
• pp.221-229
• /
• 2012

A model for expressing meta data syntax in the eXtensible Markup Language(XML) was developed to increase the portability of the Arden Syntax in medical treatment. In this model that is Arden syntax uses two syntax checking mechanisms, first an XML validation process, and second, a syntax check using an XSL style sheet. Two hundred seventy-seven examples of MLMs were transformed into MLMs in ArdenML and validated against the schema and style sheet. Both the original MLMs and reverse-parsed MLMs in ArdenML were checked using a Arden Syntax checker. The textual versions of MLMs were successfully transformed into XML documents using the model, and the reverse-parse yielded the original text version of MLMs.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 추계종합학술대회
• /
• pp.571-574
• /
• 2005

XCAP(XML Configuration Access Protocol)은 IETF의 SIMPLE WG에서 현재 표준화 과정 진행중에 있다. 네트워크에 위치한 많은 통신 어플리케이션들은 Request를 처리하는 시점에서 사용자 별 정보를 접근하는 것을 필요로 하며 사용자별 정보는 네트워크 내에서 유지되며 end 사용자에 의해 관리되도록 하고 있다. XCAP은 이러한 정보들을 관리하고 조직하기 위한 방법으로 제안된 프로토콜로써 HTTP 기반에서 동작한다. 각 정보들은 특정 어플리케이션에서 각자에게 필요한 형태의 XML 데이터로 규격화 되어 있으며, 어플리케이션마다 unique한 ID인 AUID(Application Unique ID)를 할당 받게 된다. 그리고 이러한 새로운 Application Usage들은 사용하고자 하는 XML의 스키마와 default namespace, MIME Type, Validation Constraints, Data Semantics, Naming Conventions, Resource Interdependency, Authorization Policy등을 규정하도록 되어 있다. XCAP 서버는 단말들로부터 이러한 configuration 정보들을 전달받아 조직화하여 유지 관리하는 기능을 수행하게 된다. 본 고에서는 XCAP 서버의 기능을 구현받기 위하여 기능의 정의 및 블록별 기능 분리를 통한 설계 방법 및 구현 방법에 대하여 논하고자 한다.

• 한국산학기술학회논문지
• /
• 제10권7호
• /
• pp.1568-1574
• /
• 2009

사용자 요구사항 공학에서 가장 어려운 문제 중의 하나는 다양한 말단 사용자, 책임자와 소프트웨어 기술자 사이에 존재하는 상호이해의 불일치이다. 시나리오는 다양한 책임자에게 일부 추상 모델 대신 그들의 언어로 기술하고 검토할 수 있도록 해준다. 본 논문에서는 도출, 분석과 검증을 포함한 다양한 요구사항 공학 단계에 시나리오를 사용하는 진보적이고 반복적으로 삽입되는 프로세스를 제안한다. 프로세스 모델은 본 논문의 TRES 시스템에 적용되었다. 제안하는 시스템에서는 기존 도구들의 단점을 없애기 위해 시제품, 시나리오와 사용 사례를 하나의 포괄적인 프레임워크로 조합한다. 본 시스템은 시나리오 기반 요구사항 추출을 위한 XML 기반 시스템이다. TRES 시스템 내에서 시나리오는 사용의 문맥을 포함하여 사용자와 작업에 관한 정보를 얻을 수 있다. 본 TRES 시스템에서 시나리오는 XML 기반의 데이터베이스에 보관되고 XML 표기법을 사용하여 기술된다.

• 디지털산업정보학회논문지
• /
• 제5권2호
• /
• pp.199-208
• /
• 2009

Mosts of export/import cargo has been moving using maritime transport means. Korea had been driven the system automation project using EDI document since the mid-1990s. However, this automation system comes upon about 40-50% against overall maritime business process, manual or paper document processing work is existing as ever. International e-business environment also has changing into electronic form document transaction from paper document-based transaction. International standardization organization, UN/CEFACT proposed UNeDocs for paperless jtransaction. UNeDocs is a specification to define XML data model as well as electronic form. With UNeDocs, it is not necessary to generate the duplexed data, and it can support user convenient and guarantee the flexibility. This paper defines the UNeDocs data model for EDI and Off-Line processing at the current maritime business. Then, it have to check XML syntax and structure for the defined data model through quality of document check system. Also, it explains the applying plan about the defined UNeDocs data model. It is possible to support paperless transaction as defining UNeDocs-based standard data model and converting into paper document, XML and EDI document using UNeDocs data model.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
• /
• pp.18-21
• /
• 2006

최근, 지리 정보 사용에 대한 관심과 응용 분야에 대한 개발이 증가함에따라서, 지리 정보의 공유 및 상호운용성에 대한 필요성이 증가하고 있다. 이에 따라 OGC(Open GIS Consortium)에서는 지리 정보의 교환 표준으로 GML 언어를 제시하였다. GML은 지리 정보를 전송 및 저장하기 위해 XML로 인코딩한 언어이다. 따라서, 지리 정보를 위한 공간 데이터베이스에 GML 문서를 저장하기 위해서는 효과적인 GML 문서의 파싱이 필수적이다. 본 논문에서는 대표적인 XML 파서인 Xerces를 확장하여 GML 문서를 효과적으로 파싱할 수 있는 GML 파서를 개발한다. 이를 위해 GML 스키마에서 제공하는 지리 정보 데이터 타입을 Xerces 파서의 내부 데이터 타입으로 제공하여, GML 응용 문서의 스캔(scan) 및 Validation을 위해 소요되는 GML 스키마 문서의 파싱 비용을 효과적으로 줄일 수 있다.

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

컴포넌트는 소프트웨어 재사용의 핵심 기술로 인식되고 있으며, 현재 많은 수의 컴포넌트가 개발되고 사용되고 있다[9]. 많은 수의 컴포넌트들 중에서 특정 도메인에 이미 적절하다고 판단된 컴포넌트를 검색해서 사용하는 과정이 필수적이며[6], 이를 위해서 컴포넌트에 대한 정확한 명세서가 뒷받침 되어야 한다. 본 논문에서 다루고 있는 컴포넌트 모델의 하나인 썬(Sun)社의 EJB ver1.1 은 배치설명파일(Deployment Descriptor)을 XML로 기술하고 있으며, DTD로 Validation 체크를 하고 있다. 그러나 DTD 는 표현할 수 있는 데이터 타입에서 한계를 가지며 하나의 XML은 여러 개의 DTD 파일을 가질수 없기 때문에 확장성에서도 취약함을 나타낸다. 이를 해결하기 위해서 XSchema 로 변환하였다. 또한 현재 EJB 의 배치설명파일에서는 컴포넌트의 결합 및 의존성에 대한 표현이 부족하기 때문에 이를 보완하기 위해서 컴포넌트 Contract 에 대한 속성들을 기반으로 하여 새로운 태그를 지정해보도록한다.