• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.682-684
• /
• 2001

주어진 도메인에 대한 설계 및 구현 이전 단계인 분석 과정에서 객체지향의 방법을 적용할 수 있는 모델링 언어인 UML(Unified Modeling Language) 다이어그램 중 Use Case 다이어그램, 클래스 다이어그램, 순서도 등 3가지 모델들 간의 일관성(consistency)을 유지하기 위한 기준이나 구체적인 지침에 관한 여러 가지 형태의 연구들이 이미 행해져 왔지만, 본 논문에서는 이러한 다이어그램들 간의 일관성을 유지하는데 있어서 지켜져야 하는 기준과 checklist를 예제를 통해서 제시한다.

• Archives of design research
• /
• v.17 no.3
• /
• pp.133-146
• /
• 2004

Diagrams have been deeply and widely used for supporting effective communication relating to design information and knowledge in most design fields. The results show that their role expands to "developmental design material" increasing the principle and method of design process. It's recent trend that Digital-Diagrams are aggressively used in multimedia design fields such as web contents, interactive movies and DVD Titles in order to support user's information understanding more effectively and to stimulate user's participation in information acquiring process. This study aims to clarify the essence of digital diagram corresponding to infographic material in multimedia design and application of multimedia contents development process . This study purpose leads to argue the substance of Digital-Diagrams as one of infographic types and identity of Digital-Diagrams which is relatively compared to existing Diagrams. Eventually, this study examines the application issues of Digital-Diagrams in multimedia design process. Regarding the identity of Digital-Diagrams, they are functionally utilized depending on hypertext based on language forms and interactivity based on graphical forms as core attributes. Therefore, they semantically enlarge user s information understanding by segmenting hierarchy of information expression and rather support user s acquisition of information control ability. Relating to multimedia design process, Digital-Diagrams are used by information designers and navigation designers as method for ‘modeling for realization based on information acquisition support for information-users. Especially, the study results show that the applications of Digital-Diagrams are performed for information representing methods for information designers and embodiment of useful functional factors of interface for navigation designersgation designers.

• The KIPS Transactions:PartD
• /
• v.12D no.3 s.99
• /
• pp.447-454
• /
• 2005

Generally, Diagram Systems related XML document are designed for certain purpose. It is also difficult to create DML document, because there is no definition of diagram component. In this paper, we design and implement the diagram system to execute the XML document. This diagram system defines the diagram component with WYSIWIG concept ,md it is designed to generate DML document automatically. Therefore, it is possible to develop diagram efficiently and maintain consistency by definition of syntax about diagram with DTD. And this system uses the concept of VPL(Visual Programming Language) to check syntax and semantic about diagram sentence. Though this system, DML documents can be generated easily, and it can also check syntax and perform semantic.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.3
• /
• pp.1-13
• /
• 2008

Gestwicki et. al. proposed the technique that detects and predicts the structure of object diagrams from class diagrams to get the improved drawing of object graphs. Their approach finds two predictable structures - recursive clusters and leaf clusters from class diagrams. Their approach is not practical to be applied to real programs, because the starting point is class diagram. In this work, we improve and implement their technique to apply to Java classes. We obtain the structure and relationships of classes and clusters extracted from class files. This information can be provided and used as a template of object graphs for Java execution visualization tools like JIVE.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.477-480
• /
• 2002

본 연구는 UML로 작성된 객체지향 다이어그램의 일관성과 정착성을 검증하기 위한 메타모델에 관한 연구이다. 일관성이란 하나의 요구사항으로 표현된 여러 가지 UML 다이어그램이 통일된 의미로 표현되었는가를 나타내는 성질이고, 정확성은 UML로 작성한 다이어그램이 UML의 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 이러한 일관성과 정확성을 검증하기 위해서는 각 다이어그램의 표준모델과 다이어그램간의 관계를 파악할 필요가 있으며 메타모델이 다이어그램간의 관계와 다이어그램 자체의 표준모델을 적절하게 표현하여 주므로 메타모델을 구성하는 작업이 필요하다. 본 연구에서는 기존의 메타모델에 관한 연구를 분석하여 새로운 형태의 구성요소와 관계로 표현된 메타모델을 제시하고 일관성과 정확성을 검증하기 위한 구성요소를 도출한다.

• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.527-540
• /
• 2009

State diagrams describe the dynamic behavior of an individual object as a number of states and transitions between these states. In this paper, we propose an automated technique to the generation of a state diagram from class operations with pre/post conditions. And I also develop a supporting tool, SDAG (State Diagram Automatic Generation tool). Additionally, we propose a complexity metric and a state diagram generation approach concerning types of each operation for decreasing complexity of generated state diagram.

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

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

• 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
• /
• 2003.11c
• /
• pp.1543-1546
• /
• 2003

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.349-352
• /
• 2005

USE는 OCL(Object Constraint Language)로 작성된 UML 다이어그램의 제약조건을 검증해볼 수 있는 가장 뛰어난 도구이다. USE는 다이어그램에 적용되는 제약조건을 미리 저장해두고 검증 다이어그램을 명령어 형태로 입력받아 정확성 또는 일관성을 검증하는데 사용된다. 본 연구에서는 이러한 검증과정의 복잡함을 줄이기 위하여, UML 모델링 시에 검증 대상이 되는 다이어그램의 USE 명령어를 생성하는 효율적인 도구를 설계하고 구현한다.