• Journal of the Korea Society of Computer and Information
• /
• v.27 no.9
• /
• pp.77-89
• /
• 2022

In this paper, we propose a system which automatically generates SHACL schemas to describe and validate RDF knowledge graphs constructed by RML mappings. Unlike existing studies, the proposed system generates the schemas based on not only RML mapping rules but also metadata extracted from RML mapping input data in various formats such as CSV, JSON, XML or databases. Therefore, our schemas include the constraints on data type, string length, value range and cardinality, which were not present in the existing schemas. And we solves the problem with "repeated properties" which overlooked in existing studies. Through a conformance test consisting of 297 cases, we show that the proposed system generates correct constraints for the graphs. The proposed system can contribute to automation of the tedious and error-prone existing manual validation processes.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06c
• /
• pp.15-20
• /
• 2008

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

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.11
• /
• pp.67-80
• /
• 2022

In this paper, we propose a system which automatically generates the ShEx schemas to describe and validate RDF knowledge graphs constructed by RML mapping. ShEx schemas consist of constraints. The proposed system generates most of the constraints by converting the RML mapping rules. The schemas consisting only of constraints obtained from mapping rules can help users to figure out the structure of the graphs generated by RML mapping, but they are not sufficient for sophisticated validation purposes. For users who need a schema for validation, the proposed system is also able to provide the schema with added constraints generated from metadata extracted from the input data sources for RML mapping. The proposed system has the ability to handle CSV, XML, JSON or RDBMS as input data sources. Testing results from 297 cases show that the proposed system can be applied for RDF graph validation in various practical cases.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.2 no.2
• /
• pp.113-117
• /
• 2007

Recently B2B electronic transactions which go through an Internet being diffused, according to support the Internet business of the form which is various the techniques for are appearing. B2B electronic transaction systems respect B2B transactions consequently to control the system of selfish bell environmnet and various information, must exchange. But currently the tentative tool for the verification of BPSS is the condition which is wholly lacking with the domestic foreign enemy. In this paper the suitability ebMS standard verification entry written in conjunction with ebXML BPSS document the suitability of the case, depending on the item to evaluate whether the BPSS model, suggesting that fitness will be verified.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.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.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.571-574
• /
• 2005

XCAP(XML Configuration Access Protocol) which has been proposed in IETF is based on both XML and HTTP protocol. XCAP server maintains user's configuration information for specific application which is described by XML. This protocol can be applied to many application servers for adapting user's preferences. There can be many way to interwork with other application servers. In this paper, we will talk about the experience of designing and implementation of XCAP server and the way of interwork with application servers.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.7
• /
• pp.1568-1574
• /
• 2009

One of the most difficult problems in user requirement engineering is the communication gap that exists between different end-users, stakeholders, and software engineers. Since scenarios allow different stakeholders to describe and review the problem in their own language instead of some abstract model, they are also a solution to the problem. We propose a progressive, iterative and interleaved process of using scenario at different requirement engineering stages including elicitation, analysis and validation. This process model has been applied to our TRES System. In our proposed system, we combine prototype, scenarios and use cases in a single and comprehensive framework to avoid most of the shortcomings in other tools. Our system is an XML-based system for scenario-driven requirement engineering. Within the TRES system, scenarios are stories capture information about users and their tasks, including the context of use. In our TRES system, scenarios are stored in XML-based database and described using XML notation.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.5 no.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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.18-21
• /
• 2006

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.400-402
• /
• 2001

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