• 한국콘텐츠학회논문지
• /
• 제6권6호
• /
• pp.42-49
• /
• 2006

XML이 인터넷에서 정보전송을 위한 메타언어의 표현방법으로 급속하게 이용되고 있다. 아울러 XML 스키마는 XML 데이터의 다양한 유형을 표현하는데 사용하는 빈도수가 늘고 있다. 본 논문에서는 UML을 이용한 XML 스키마의 simpleType형 메타모델에 대한 설계를 하였다. 그러나 XML 스키마의 구조가 복잡하고 다양한 데이터의 유형을 지원하기 때문에 UML에서 나타내고 있는 모델의 속성에 대한 사용자의 이해와 적용에 어려운 부분이 많이 발생하는 것을 알 수 있다. 이를 해결하는 방법으로 본 연구에서는 OCL의 기능을 적용하여 XML 스키마 메타모델에서 구조적인 표현을 명확하게 명시할 수 있도록 하였으며, 아울러 이를 바탕으로 컴파일단계에서 어휘분석과 구문분석을 위한 파스트리와 토큰생성에 대한 구체적인 설계방법을 제시하였다.

• 한국정보통신학회논문지
• /
• 제7권2호
• /
• pp.302-313
• /
• 2003

현재 악보에 대한 DTD(Document Type Definition) 정의는 응용에 따라 그 종류가 다양하게 연구되어 왔으며 또한 정의된 DTD를 XML Schema로 자동 변환하는 방법들이 진행되고 있다. 그리고 연구되어온 DTD 정의 구조는 악보 상에 존재하는 음악 정보들이 각각 독려된 형식을 유지하도록 표현하는 데 집중되고 있다. 따라서 본 논문에서는 악보의 기본 구성 요소가 소절(Measure:마디)인 점을 이용하여 소절 단위내 관련된 정보를 일련의 연속 문자열 값으로 표현하는 방법을 제안하고 이를 위한 XML Schema를 모델링 하였다 또한 제안된 방법에 의해 표현된 XML 인스턴스에서 음악 정보를 추출하는 메카니즘을 제시하였다. 그 결과 연속된 문자열 값들을 가지는 XML Schema 정의가 가능했으며, 제안된 방식을 적용한 인스턴스는 기존 방식의 인스턴스들 보다 검색식(XPATH) 표현의 단순화 및 검색 단계를 줄여 그 효율성이 기대된다. 또한 사람에 의한 직접 표현 능력이 가능하며, 인스턴스 크기가 작아짐을 알 수 있었다.

• 시스템엔지니어링학술지
• /
• 제2권2호
• /
• pp.33-38
• /
• 2006

It is well known that efficient management and thorough implementation of stakeholder requirements is vital for a successful development of a large-scale and complex system. Equally important is to make sure that all the requirements be correctly realized in the developed system. For the purpose, verification requirements are derived with traceability from the system requirements. This paper discusses a step by step process for constructing the requirements verification model which includes : 1) the schema modeling both requirements and their traceability; 2) the template documenting the verification requirements; 3) the verification model constructed from the schema; and 4) the test and evaluation plan that can be printed automatically.

• 한국CDE학회논문집
• /
• 제8권1호
• /
• pp.48-54
• /
• 2003

In a design-to-manufacturing environment, the product data is shared by various CAD/CAM/CAE systems with little integration or substantial data redundancy. The main purpose of this paper is to build a database containing all the features required for STEP-NC machining and to show how a STEP-NC repository can support the complete process for machining. A STEP-NC database schema has been constructed and several query functions have been built for the purpose of implementing the retrieving system of a STEP-NC database. The EXPRESS data model of ISO 14649 has been mapped to the database data definition language of the Oracle database. To apply the STEP-NC database to an industry example, the ISO 14649 part program has been stored into the STEP-NC database. To implement example scenarios, the sample query interface has been built.

• 한국국방경영분석학회지
• /
• 제23권2호
• /
• pp.85-102
• /
• 1997

There have been several research efforts to support interoperability among multiple databases. In integrating multiple databases, we must resolve schema conflicts due to the heterogeneity in databases. To resolve these conflicts, not only meta-data for database schemas but also general knowledge expressing the real world meanings associated with the database schemas are required. This paper presents a uniform representation method for relational schema and general knowledge base that is composed, among other things, of concept hierarchy and thematic roles in relationship, using the knowledge representation language Lk. This representation method has a flexible descriptive power which facilitates concepts to be expressed at different levels of granularity and can describe knowledge expressed in Lk are used for input of the next step, such as conflict resolution and query processing of multiple database.

• Journal of Computing Science and Engineering
• /
• 제8권2호
• /
• pp.94-106
• /
• 2014

Schema matching is widely used in many applications, such as data integration, ontology merging, data warehouse and dataspaces. In this paper, we propose a novel matching technique that is based on the order of attributes appearing in the schema structure of query results. The appearance order embodies the extent of the importance of an attribute for the user examining the query results. The core idea of our approach is to collect statistics about the appearance order of attributes from the query logs, to find correspondences between attributes in the schemas to be matched. As a first step, we employ a matrix to structure the statistics around the appearance order of attributes. Then, two scoring functions are considered to measure the similarity of the collected statistics. Finally, a traditional algorithm is employed to find the mapping with the highest score. Furthermore, our approach can be seen as a complementary member to the family of the existing matchers, and can also be combined with them to obtain more accurate results. We validate our approach with an experimental study, the results of which demonstrate that our approach is effective, and has good performance.

• 한국CDE학회논문집
• /
• 제8권2호
• /
• pp.122-132
• /
• 2003

STEP AP218 has a standard schema to represent the structural model of a midship section. While it helps to exchange ship structural models among heterogeneous automation systems, most shipyards and classification societies still exchange information using 2D paper drawings. We propose a feature parameter input method to generate a 3D STEP model of a ship structure from 2D drawings. We have analyzed the ship structure information contained in 2D drawings and have defined a data model to express the contents of the drawing. We also developed a QUI for the feature parameter input. To translate 2D information extracted from the drawing into a STEP AP2l8 model, we have developed a shape generation library, and generated the 3D ship model through this library. The generated 3D STEP model of a ship structure can be used to exchange information between design departments in a shipyard as well as between classification societies and shipyards.

• 한국CDE학회논문집
• /
• 제13권2호
• /
• pp.109-120
• /
• 2008

ISO 10303-112 is an integrated application resource of ISO 10303, commonly known as STEP, and specifies the procedural_sketch schema. The ISO 10303-112 provides general resources for the representation of modeling commands for the exchange of procedurally represented 2D CAD models. Procedural models have the advantage of being easy to edit, simply by changing values of parameters of their constructional operations. Such models are said to embody design intent, in the sense that modifications to them conform to the method of creation used by their original creator, and they also comply with any constraints implied by the particular constructional operations used. This paper introduces the development and standardization process of the ISO 10303-112, and describes the concept of procedural 2D CAD modeling, the way to represent the procedural 2D CAD models in STEP and the harmonization with other STEP resources.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 1997년도 한국전자거래학회 종합학술대회지
• /
• pp.427-441
• /
• 1997

ㆍEXPRESS에 의한 AP214 Schema 정의 ㆍEXPRESS에 의한 Entity 정의 ㆍEXPRESS에 의한 TYPE, FUNCTION, RULE의 정의 ㆍAIM 축소 정보 모델 (Subset) 구성 ㆍAIM 축소 정보 모델의 예 ㆍ축소 정보 모델에 근거한 소규모 PDM시스템 AP214 개요 정식 명칭 : Core Data for Automotive Design and Processes 파트 번호 : ISO 10303-214 제안시기 : 1992년 STEP 시애틀 회의 (독일에 의하여 제안) 대상 내용 : 자동차의 기획 단계로부터 스타일링, 설계, 실험, 공정 계획, 툴 설계 및 제작, 품질 검사에 이르는 수명 전 주기상에 발생되는 제품 관련 정보 현 상태 : CD(Committee Draft) DIS (Draft International Standard) 표결 진행중(중략)

• 한국멀티미디어학회논문지
• /
• 제21권3호
• /
• pp.423-431
• /
• 2018

In this paper, we try to verify a normative module based house design procedure consisted of several sequential steps. The first step is to suggest formalization of designing so that we could clarify each phase and operation we are adopting in our design process. The second step is the clearing up the conceptual schema of traditional skills that we adopt and utilize from traditional Hanok framing techniques. The third step is to formulate adequate modular kits for the assembly of house design solutions for the schematic, conceptual and preliminary phases of designing. The fourth step is to implementing our ideas and methods to a proper computational platform such as Unity3D. The final step is to verify our symbolic descriptions of design formalization with the output of our experiments so that we have better understanding of design reasoning characteristics such as in house design.