• Journal of the Korea Society of Computer and Information
• /
• v.7 no.4
• /
• pp.157-162
• /
• 2002

In this paper, we implement the XML and data modeling by the UML tool, in which the class diagram is constructed from the sequence diagram after making the use case diagram. For the XML modeling. the guiding line will be presented to transform the UML class into the XML document, and then an example to draw the XML DTD from the UML class will be also shown. Furthermore, through the proposed data modeling, the integrated design methods for the transformation of the UML class into relational database schema. object-relational database schema and object-oriented database schema also will be proposed. Finally, we will be presented schema for each database system.

• Journal of KIISE:Computing Practices and Letters
• /
• v.13 no.3
• /
• pp.179-192
• /
• 2007

Based on ontologies, semantic Web services enable the discovery, selection, and composition. OWL-S is a do facto standard ontology for describing semantics of Web services. Due to the difficulty of the OWL-S grammar, the teaming curve for constructing OWL-S description manually can be steep. This paper presents an efficient method for generating OWL-S descriptions from UML diagrams, which are widely used for software design and development. The proposed method is based on UML profiles to generate an OWL-S ontology from sequence or activity diagrams, which represent the behavior of a business process. Specifically, an XMI file extracted from UML diagrams is transformed into an OWL-S description via an XSLT script. Experimental results with a large volume of UML diagrams show that the proposed method deals with the control flow of complex processes and is superior to previous methods.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.2
• /
• pp.244-251
• /
• 2020

This paper presents a design of the Meta-Class Repository (MCR) which maintain syntactically analyzed and structured meta-class information from UML diagrams, and then proposes 'meta-class,' also known as super-class, to construct structured information analyzed syntactically. The MCR is a collection of these meta-classes which contains the information extracted from diagrams. This paper also presents a design of the Code Generation Engine (CGE) which roles generating codes corresponding classes from UML diagrams based on the MCR maintaining a collection of meta-classes which is syntactically-analyzed and constructed in previous process. The logics of CGE are designed to generate codes collaborated with MCR and CGE with integration. The logics of CGE mechanism is presented with the form of finite state machine to present the algorithms of code generation formally and have the advantages of simplicity and easiness in development.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2007-2010
• /
• 2002

본 연구는 UML(Unified Modeling Language) 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검증하는 방법에 관한 연구이다. 일관성은 하나의 요구사항으로 표현된 여러 가지 UML 다이어그램이 통일된 의미로 표현되었는가를 나타내는 성질이고, 정확성은 사용자가 작성한 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 정확성을 검증하기 위해서는 관계를 가지는 다이어그램들의 관계요소를 파악할 필요가 있다. 메타모델을 유도한 후에는 각 메타모델을 기초로 일관성 및 정확성 검증 규칙을 유도해 내고 검증의 자동화를 위하여 정형적 명세로 표현한다. 본 연구에서는 다이어그램별로 작성한 메타모델에서 규칙을 유도하고 그러한 규칙을 OCL(Obiect Constraint Language) 형태로 표현하여 검증하는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1543-1546
• /
• 2003

잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.207-210
• /
• 2006

소프트웨어 프로덕트 라인 공학은 공통성과 가변성 식별을 통해 소프트웨어 재사용을 극대화시키는 접근방법으로 이를 지원하는 특성모델 작성도구에 대한 연구가 다수 진행되고 있다. 하지만 FODA 방식의 특성다이어그램을 지원하는 도구들은 특성다이어그램과 추가적인 특성제약사항을 분리하여 명세하기 때문에, 특성모델의 이해와 두 명세 사이의 일관성 보장이 어렵다. 따라서 본 논문에서는 UML을 이용하여 특성다이어그램에 추가적인 특성제약사항을 함께 표현함으로써 특성모델의 이해를 돕고, UML 특성다이어그램의 작성규칙 검사를 통하여 일관성을 보장하는 도구를 제안한다. 이를 기반으로 한 UML 특성모델 편집기를 통하여 개발자는 보다 쉽게 특성모델링을 수행하고, 일관성 있는 특성모델을 작성할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.1027-1030
• /
• 2000

객체 지향 프로그램의 이해 및 테스팅을 효과적으로 수행하기 위해서는 객체 간의 상호 작용을 우선 이해하여야 한다. UML로 작성된 시스템 명세에서는 각각의 클래스에 대한 행동이 UML 상태 다이어그램으로 기술되어 있어 전체 시스템의 행동을 유추하는데 어려움이 따른다. 이 연구에서는 객체 지향 프로그램의 상태 다이어그램을 기반으로 객체간 행동 테스팅을 수행하기 위해서 UML 상태 다이어그램들을 합성하여 객체간 행동을 추출, 생성하는 과정을 기술한다. 추출, 합성된 객체간 행동 모델은 기존의 널리 알려진FSM 기반 테스팅 기법들을 그대로 이용할 수 있다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.357-369
• /
• 2000

SMIL(Synchronized Multimedia integration Language) allows integrating a set of independent multimedia objects into a synchronized multimedia presentation. In this paper, I propose modeling rules, formal models, modeling function and an algorithm for SMIL documents using use case diagram and sequence diagram of UML(Unified Modeling Language), It will be used the use case diagram and collaboration diagram for object-oriented visualizing tool to describe the temporal behavior of the presentation. The main contribution of this paper is that developers of SMIL documents easily generate them using this rules and algorithm. And, the formal models and modeling functions provide an environment for processing object-oriented documents.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.133-135
• /
• 2003

본 연구에서는 자바 코드로부터 UML 클래스 다이어그램을 추출하는 역공학방법을 제시하였다. 파서를 이용하여 자바 코드로부터 AST를 생성하고 이를 순회하면서 클래스다이어그램 생성에 필요한 정보를 추출하였다. 이를 위해 구조정보와 관계정보를 정의하였는데, 구조정보에서는 클래스 몸체를 구성하는 정보를 표현하였다. 관계정보에서는 클래스들 간의 연관관계를 결정하기 위해 필요한 정보를 표현하였으며, 얻어진 관계정보를 통해 연관관계를 유추하는 방법을 제시하였다. 특히 클래스들간의 연관관계를 추출하기 위한 규칙들을 정의하고, 이를 통해 얻어진 관계정보를 이용하여 연관관계를 유출하는 과정을 설명하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.7 no.1
• /
• pp.54-61
• /
• 2002

In this paper, we implement the XML modeling and data modeling by the class diagram that is made by the use case after drawing out the sequence diagram. For the XML modeling, the guiding line to map the UML classes on the XML document will be presented. Then, an example to generate the ie DTD from the UML classes will be shown under the presented guiding line. In the data modeling, the transformation method from the In classes into the object-oriented database also will be proposed. Finally, we will give an example developed by the Proposed transformation method.