• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.417-420
• /
• 2004

UML은 1997년 버전 1.0이 나온 이후로 여러 변화를 거치면서 산업계의 표준으로 자리잡았다. UML 을 위한 다양한 툴이 개발되고 툴 사이의 모델 교환을 위해 UML XMI 이 개발 되었다. UML 2.0에서는 모델 교환뿐 아니라 다이어그램 정보와 노테이션에 대한 정보도 교환하기 위해 다이어그램 교환을 위한 스펙을 발표했다. 다이어그램은 노테이션의 집합으로 이루어지고 노테이션은 다시 여러 하위 노테이션으로 구성된다. Diagram Interchange Specification은 이런 관계를 XMI로 표현한다. 다이어그램 정보 교환을 지원하는 편집기는 XMI 를 주고받을 수 있는 부분과 다이어그램 구조에 따라 다이어그램과 노테이션을 생성할 수 있는 기능이 필요하다. 본 논문에서는 다이어그램 메타 모델을 이용하여 모델 중심의 메타편집기 프로토타입을 보여준다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.6
• /
• pp.1291-1299
• /
• 2012

UML is a semantically rich language, but it is difficult to ensure consistency of the diagrams you have written. Therefore, in this paper, we propose cross checking rules to improve consistency between UML diagrams, especially between UML static diagram and dynamic diagram. We use metamodels in order to more clearly reflect interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to accurately represent the checking rules. By comparing with the well-formedness rules of UML specification, we focus on consistency of UML diagrams. And we derive metamodels of static diagram and dynamic diagram, analysis the relationships of UML diagrams and finally, we test the usability of derived rules through a case study.

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

현재까지는 실시간 임베디드 소프트웨어 개발을 위한 효율적인 소프트웨어 모델링 언어가 부족하다. 그런데 모델 자체가 코드처럼 수행 가능한 통합 모델링언어를 xUML(Executable UML)이라 한다[2,4,7]. 이는 기존의 UML x.x에 실행과 관련된 개념과 시간에 관련된 규칙을 더한 것이다. 다시 말해 xUML의 모델은 실행과 테스트, 디버깅이 가능하다[2,4]. 본 논문에서는 기존의 UML x.x버전들과 xUML이 실시간 임베디드 소프트웨어를 모델링 하는데 적합한지를 비교/분석한 후, 임베디드 소프트웨어 모델링에 xUML을 적용하고자 부족한 면을 보완 및 확장하였다. 확장된 xUML의 노테이션은 병렬과 실시간 처리까지도 표현이 가능하도록 제안하였다. 사례 연구로서 두개의 터치센서로 동작하는 실시간 임베디드 시스템의 모델링을 보여준다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10a
• /
• pp.50-51
• /
• 2007

UML을 이용한 소프트웨어의 설계가 널리 이용되고 있으므로 개발단계 초기의 소프트웨어 산출물인 UML을 대상으로 품질을 예측하는 메트릭의 개발 및 활용요구에 대응하기 위하여 메트릭 기술 언어를 개발 하였다. MDL4UML은 UML모델에 적용 가능한 메트릭을 기존 OCL을 이용하여 기술하였을 경우 메트릭의 표현이 복잡하고 측정 대상 UML모델의 깊은 이해가 선행되어야 하는 점을 보완하기 위하여 연구된 메트릭 기술 언어이다. 본 연구에서는 OCL을 이용한 메트릭 기술의 난해함을 보완하기 위한 수단인 MDL4UML을 정의하고 이를 지원하기 위한 도구로 METOOSE를 개발하였다.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.843-852
• /
• 2001

Statistics concerning software errors indicate that more errors are introduced in analysis and design phase than implementation phase. Therefore, it is needed to check whether the design modeling is appropriate for own function and structure. This paper discussed the effective test method for the object-oriented design model, i.e., UML. A new method was proposed for generating test data. This method consists of category partition theory by the representation each element in UML model with OCL (Object Constraint Language). Test data generated in this way can be used for testing the source code functionality as well as for checking the design model.

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1158-1171
• /
• 2003

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.

• Journal of KIISE:Software and Applications
• /
• v.32 no.3
• /
• pp.153-162
• /
• 2005

Component Based Development (CBD) is appealing as a technology to improve the productivity of software development through component reuse. Model Driven Architecture (MDA) is a new development paradigm which automatically generates application by transforming design models incrementally. Since both reusability of CBD and model transformation of MDA increase software productivity. integration of two technologies is desirable. To enable this technology integration, we need to devise a UML profile for specifying component design as a PIM. In this paper, we first define a meta-model for components, and propose a UML profile which is used to specify elements of component design as PIM. Since the proposed profile is based on Meta Object Facility (MOF) from which is MDA is derived, it is consistent and compatible with existing MDA methods and tools.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.10a
• /
• pp.634-637
• /
• 2010

This paper suggests the design of MVC model for an authorization tool of UML class diagram. In the design of MVC model, it is designed to define view, controller and model and perform the individual role of each component. The View represents GUI and the Controller is responsible for data input and output and the Model is to handle the business logic. The MVC model design for an authorization tool of class diagram gives the role independently and tries to be flexible with system by dividing into the suitable features of each component.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.218-221
• /
• 2010

본 논문은 범정부 엔터프라이즈 아키텍처(EA)의 메타모델을 UML 다이어그램을 이용하여 개선 연구에 관한 논문이다. 여러 공공기관과 기업에서는 '범정부 정보기술아키텍처 적용'이란 전자정부 로드맵 과제로 정보기술을 그들의 경영혁신을 위한 전략적 도구로 도입하였으며, 조직 전체의 최적화 및 통합, 조직의 진화관리, 조직업무의 효율성 및 효과성 등을 제공하는 방법으로 EA를 개발 및 적용하고 있다. 하지만 EA 프레임워크에서 제안하는 메타모델들은 단순한 네모 박스와 선으로 연결된 의미가 부족한 메타모델들을 제안하고 있다. 본 논문에서는 메타모델에 의미를 부여하는 작업으로 UML 다이어그램을 이용한 새로운 메타모델 다이어그램들을 제안한다. UML에서 사용된 의미를 가진 다이어그램을 범정부 엔터프라이즈 아키텍처의 메타모델에 적용함으로써 의미적인 메타모델의 다이어그램을 통해 보다 의미 전달이 용이한 메타모델로 사용되어 질 수 있을 것이다.

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

독립적으로 구축되고 운영되어온 정보 자원의 공유와 통합된 서비스를 위해서 공통 온톨로지를 구축하고 활용하는 방법에 대한 연구가 활발히 진행되고 있지만, 온톨로지의 구축에 소요되는 많은 시간과 높은 비용은 온톨로지를 이용한 정보 통합의 있어 큰 장애가 된다. 본 논문에서는 UML 로 작성된 시스템 모델로부터 온톨로지 구축에 필요한 지식을 유도하여 초기 단계 도메인 온톨로지를 구축하는 방법을 제시하였다. 특히, UML 모델을 온톨로지 언어인 OWL로 변환할 수 있는 구체적인 방향을 제시함으로써, 향후 자동화된 도구 개발의 이론적 기반을 될 것으로 기대한다.