• Journal of Convergence Society for SMB
• /
• v.1 no.1
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML) is widely accepted in industry and particularly UML State Machine Diagram is popular for describing the dynamic behavior of classes. This paper discusses deadlock detection of System using UML State Machine Diagram. Since a State Machine Diagram is used for indivisual class' behavior, all the State Machine Diagrams of the classes in the system are combined to make a big system-wide State Machine Diagram to describe system behavior. Generally this system-wide State Machine Diagram is very complex and contains invalid state and transitions. To make it a usable and valid State Machine Diagram, synchronization and externalization are applied. The reduced State Machine Diagram can be used for describing system behavior thus conventional model-checking technique can be applied. This paper shows how deadlock detection of system can be applied with simple examples. All the procedures can be automatically done in the tool.

• Annual Conference of KIPS
• /
• 2000.04a
• /
• pp.1027-1030
• /
• 2000

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

• Annual Conference of KIPS
• /
• 2000.04a
• /
• pp.803-808
• /
• 2000

OMG 에 의해 표준화되어 객체지향 방법론으로 널리 쓰이고 있는 UML 을 이용하여 보안 기술중의 하나인 일회용 패스워드(One-Time Password) 기술을 모델링한다. UML 은 전체적인 시스템을 이해하는데 도움을 준다. 그러나 그래픽컬한 UML 모델링 기술만으로는 불가능한 일관성 및 refinement 체크를 위해 각 다이어그램 특성에 맞게 정형명세나 정형검증을 도구를 적용하는 것이 필요하다. 클래스 다이어그램의 클래스와 정형명세 언어인 Z 스키마(schema)의 유사성을 이용하여 모델링의 정확성을 확인하는데 Z를 이용할 수 있다.

• Annual Conference of KIPS
• /
• 2007.05a
• /
• pp.229-232
• /
• 2007

데이터 통합은 사용자에게 상이한 소스의 데이터에 대한 단일 접근 점을 제공할 목적으로 데이터를 내부적으로 운영하기 위한 효과적인 방법이다. 1)데이터의 풍부한 시멘틱스는 이종의 데이터 소스들 사이의 충돌을 해결하기 위한 주요한 요인이다. UML 클래스 모델은 데이터의 스키마기반 시멘틱만을 표현하기 때문에 온톨로지와 같은 대체 방법은 추가적인 시멘틱을 표현하는데 유용한 방법이다. 본 논문에서는 각각의 데이터 소스의 시멘틱을 기술하기 위해 온톨로지를 사용하고, 데이터들의 유사성과 차이점을 결정하기 위해 온톨로지를 분석하고, 비교한다. 비교의 결과를 이용해 통합 정보에 대한 질의를 사용 가능하게 할 수 있는 통합 온톨로지를 구축한다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.1
• /
• pp.29-40
• /
• 2000

With increasing amounts of information on the web and needs to access accurately them, it is very important to standardize metadata and to store and manage system. The RDF(Rdsource Description Framework) is a framework for representing exchanging, and reusing metadata. And, it can be processing uniformly the standardized metadata, because it uses XML(eXtensible Markup Language) syntax. The RDF schema provides a basic type system for use RDF models. In this paper, we propose rules and an algorithm to convert the RDF schema into an UML(Unified Modeling Language) class diagram and formal models to represent an object-oriented schema for the RDF schema. The proposed rules and algorithm are useful for natural mapping and the object modeling of RDF schema can be easily converted into the object-oriented schema, and the formal models supports an efficient environment for retrieving and processing object-oriented documents.

• The KIPS Transactions:PartB
• /
• v.14B no.1 s.111
• /
• pp.23-32
• /
• 2007

Nowadays, XML has been favored by many companies internally and externally as a means of sharing and distributing data, due to its open-architectural structure. XML-GL, a graphical query language for document has the advantage of containing both structuring and defining of itself. By incorporating UML an XML document can become object-oriented and can be represented by graphical means. This paper proposes a XML-GL query modeling solution by using UML class diagrams. In order for the modeled objects to be properly restricted, the Object Constraint Language has been defined. This process converts XML documents into Object-Oriented data and combined with UML class diagrams, searches for XML documents can be increased.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.61-63
• /
• 2002

본 논문에서는 UML을 이용하여 W3C XML Schema를 설계하기 위한 XML 모델링 방안을 제시하고, 아울러 교환되는 XML 데이터를 효율적으로 저장하기 위하여 관계형 데이터베이스 스키마 설계를 위한 통합 설계 방법론 제안한다. 또한 통합 설계 방법론의 객관적인 검증을 위하여, 기존의 Ronald Bourret의 방법을 사용하여 XML schema를 객체 모델로 변환하고 아울러 변환된 객체 모텔을 관계형 데이터베이스 스키마로 변환된 결과와 본 논문에서 제시한 UML를 이용한 데이터 모델링에 따른 관계형 데이터베이스 스키마와의 상호 일치함을 보임으로써 본 논문에서 제안한 통합 설계 방법론의 객관성을 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.412-414
• /
• 2002

XML을 이용한 애플리케이션이 핫 이슈로 부각되고 있는 현재, 다양한 분야에서 XML 문서로의 변환을 모색하고 있다 많은 시스템 설계자들이 애플리케이션이나 시스템을 분석하는데 있어서 UML은 보편적으로 사용되는 모델링 언어일 것이다 또한 최근에는 모델링 언어인 UML을 XML DTD로 변환시키는 다양한 방법론들이 제시되고 있으나, 이러한 방법론들은 UML을 XML DTD로 변환시킬 경우 어느 정도의 정보의 누락과 변질이 발생하게 된다. 이렇게 누락되는 정보를 제대로 XML 문서로의 변환을 위하여, 본 논문에서는 두 가지의 모델링 기법을 사용하여 UML을 XML DTD로의 변환을 제안하였다. 변환 방법으로는 첫째, UML 모델의 각 부분을 XML로 변환하는 기법을 정리한 XML 변환 기법들이며, 둘째로는 UML로부터 XML DTD를 생성시키는 방법이다. 위의 방법을 이용하여 UML을 XML DTD로의 변환을 하고자 하였다. 변환시 UML 다이어그램의 다양한 정보를 DTD에 포함 시켜야 하므로, UML에 나타나 있는 여러가지 경우가 포함되어 있는 다이어그램을 선택하였다. 이렇게 두 가지의 기법을 사용하면 UML을 XML DTD로 변환하는데 정보의 손실을 최소한으로 줄일 수 있다.

• Journal of Korea Multimedia Society
• /
• v.7 no.3
• /
• pp.293-307
• /
• 2004

The SMIL(Synchronized Multimedia Integration Language) documents are represented as logical structure information, spatial layout structure information, temporal synchronization structure information and hyperlink structure information, according as the structural characteristics of SMIL documents based on XML. This paper proposes the effective modeling and query method for the multi -structure information of inherent SMIL documents. In particular, we present the object-oriented modeling by using UML class diagram in order to represent the objects classes for the structured information of SMIL documents, and the hierarchical structure and the relationships for the objects classes. In addition, the objects classes definition is specified in compliance with SQL3 for database standard language. We also propose the access method and the query representation for hierarchical structure in order to retrieve efficiently the structural objects of SMIL documents.

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

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