• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.104-107
• /
• 2007

Web2.0 의 비동기식 웹 페이지 전환기술이 주목을 받으면서 기존의 웹사이트들이 동적인 웹 사이트로 바뀌어 가고 있다. 그러나 웹 애플리케이션 개발에 적용 가능한 설계모델인 UML2.0은 정적인 웹 페이지 설계 모델로 국한되어 있다. 따라서 본 논문에서는 UWE의 항해모델에서 뷰 관점 항해모델과, 데이터 전송 항해 모델을 State Machine, Communication Diagram을 이용하여 비동기식 웹 페이지 항해 모델 개선과 기존의 동기식 웹 페이지 모델과의 호환성 방안을 제안한다.

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

현재 지능형 웹 서비스를 위한 서비스 온톨로지의 생성은 서비스 개발자의 휴리스틱에 의존하여 많은 시간과 비용을 소모할 뿐만 아니라 서비스와 서비스 온톨로지간의 완벽한 매핑이 어렵다는 문제점을 가지고 있다. 또한 서비스 온톨로지를 기술하기 위한 마크업 언어를 서비스 개발자가 단기간 내에 학습하기에 많은 어려움이 있는 실정이다. 본 논문에서는 지능형 웹 서비스를 위한 서비스 온톨로지 생성의 문제점들을 해결하기 위해 MDA 방법론을 사용하여 서비스 온톨로지를 효율적으로 설계 및 생성하기 위한 방안을 제안한다. 본 논문에서 제안하는 방안은 MDA를 기반으로 널리 사용되고 있는 UML을 사용하여 웹 서비스 모델을 설계하고 이를 OWL-S에 최적화된 모델로 변환한 후 XMI를 통해 OWL-S로 기술되는 서비스 온톨로지로 변환한다. 본 논문에서 제안하는 방안은 이미 널리 사용되는 UML과 같은 소프트웨어 공학적 방법을 사용하기 때문에 서비스 개발자들이 쉽게 서비스 온톨로지를 구축할 수 있으며 하나의 모델로부터 서비스와 서비스 온톨로지 모델을 동시에 이끌어 낼 수 있는 장점을 가진다. 또한 모델로부터 자동적으로 서비스 온톨로지를 생성함으로써 시간과 비용을 절감할 수 있는 효과를 얻을 수 있다. 그리고 플랫폼 변화와 같은 외부 환경 변화에 유연하게 대처할 수 있다. 끝으로 본 논문에서는 제안된 방안의 타당성을 검증하기 위해 실제로 웹 서비스 모델을 설계하고 서비스 온톨로지를 생성하는 예를 보인다. 또한 생성된 서비스 온톨로지가 올바르게 생성되었는지를 유효성 검사를 통해 검증한다.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1923_1924
• /
• 2009

최근 들어 소프트웨어의 테스트에 대한 필요성이 증가함에 따라 소프트웨어 테스트 방법에 대한 연구가 활발해지고 있으며 이를 적용한 제품들도 다양한 분야에서 개발되고 있다. 또한 UML과 같은 모델 기반의 언어가 등장함에 따라 소프트웨어의 재사용성 등을 높일 수있는 설계가 가능하다. 본 논문에서는 테스트가 가능한 SDINS/GPS 통합 항법 소프트웨어 구조를 UML 모델로 제시하며, 제시한 모델에 대한 테스트 절차를 기술한다. 본 논문의 결과를 이용하여 SDINS/GPS 통합 항법 소프트웨어를 설계하면 소프트웨어를 다른 하드웨어로 이식하는 것과 다른 센서 측정치를 처리하기 위한 소프트웨어 확장이 용이하다.

• 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 Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.05a
• /
• pp.561-564
• /
• 2009

In this paper, we present an environment configuration of UML CASE tool for internet based collaboration work. We define a method of model sharing in distributed location and construct shared repository. Also we design for model history among work processes and to give responsibility using user authentication. Its result will contribute development of CASE tool supporting collaboration work.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.2
• /
• pp.415-421
• /
• 2008

The increasing interest in ontologies is driven by the large volumes of information now available as well as by the increasing complexity and diversity of this information. These trends have also increased interest in automating many activities that were traditionally performed manually. We are currently engaged in this paper that have realized benefits in productivity and clarity by utilizing UML class diagrams to develop and to display complex OWL ontologies. UML has many features, such as profiles, global modularity and extension mechanisms that are not generally available in most ontology languages. However, ontology languages have some features that UML does not support. Our paper identifies the similarities and differences between UML and the ontology languages RDF and OWL. To reconcile these differences, we propose a modification to the UML metamodel to address some of the most problematic differences.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.357-359
• /
• 2007

이클립스의 UML2 와 GMF 프로젝트는 UML 다이어그램 편집기를 개발하는데 있어서 기본적인 프레임워크를 지원한다. 일반적으로 UML 을 이용하여 시스템을 설계할 때에는 여러 가지의 다이어 그램을 제작하게 되는데, 이때 각 다이어그램간의 일관성을 유지시키는 것과 설계된 모델에 대한 시뮬레이션은 아주 중요한 기능요소이다. 이 논문에서는 이클립스의 UML2 와 GMF 를 기반으로 한 UML 다이어그램 시뮬레이션 프레임워크를 제안한다.

• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.486-501
• /
• 2005

XPDL is a XML-based language for process definition exchange that is proposed by WfMC. This paper propose a model which model XPDL document structure (Schema) using UML in order to define and to exchange workflow process, and make business flow understanding ease for inter-business cooperation. So, we define mapping rules in which map XPDL documents into UML class diagram and UML activity diagram. By these mapping rules, elements composing XPDL process meta-model are mapped into UML class diagram, and process activities are mapped into UML activity diagram. Also, we apply proposed mapping technique to model a workflow of (')Credit card state check system.(')

• Journal of KIISE:Software and Applications
• /
• v.33 no.2
• /
• pp.167-185
• /
• 2006

Software architecture, which is the high level model of a software system, should be specified with ADLs (Architecture Description Languages) for its clarity and preciseness. Most of ADLs such as ACME, however, have not come into extensive use in industries since ADL users should learn a distinct notation specific to architecture. On the other hand, UML is a do facto standard general modeling language for software developments. UML provides a consistent notation and various supporting tools during the whole software development cycle. UML, being a general modeling language, does not provide all concepts that are important to architecture description. UML should be extended in order to precisely model architecture. A number of researches on architecture modeling based on WML have been progressed. Ail of them, however, are based on the UML1.x. UML2.0 embraces much more concepts that are important to architecture modeling than UML1.x. In this paper. we defined an architecture modeling language based on UML2.0. We defined Generic ADL by extending UML2.0 and applied the defined Generic ADL to a restaurant reservation system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.448-450
• /
• 2005

Acme와 같은 ADL(Architecture Description Language) 들은 컴포넌트 기반 시스템의 아키텍쳐를 정형적으로 명세할 수 있는 장점을 가지고 있다. 하지만 날로 다각화되는 개발 과정 상의 이해관계들을 다 포용하지 못하고, 아키텍쳐에 특화된 별도의 표기 형식을 익혀야 하는 부담이 있어 아키텍쳐를 명세하는 언어로서 정착되지 못하고 있다. 반면 UML(Unified Modeling Language)은 범용 모델링 언어이여 소프트웨어 개발의 전 과정에 일관된 표기형식과 폭넓은 지원도구들을 제공하고 있어 소프트웨어 개발을 위한 사실상의 표준 언어로 자리잡고 있다. 이에 따라 지금까지 UML을 이용하여 아키텍쳐를 모델링하기 위한 연구들이 많이 진행되어 왔다. 특히 UML에서 표현수단이 미흡한 아키텍쳐의 핵심 개념들을 명시적으로 표현할 수 있도록 UML의 확장 메커니즘을 사용하여 UML을 특화하는 연구 결과들이 많이 소개되고 있으나 특화된 영역의 아키텍쳐를 기술하기에는 부족하다. 본 논문에서는 최근에 활발히 개발되고 있는 모바일 애플리케이션의 특징중의 하나인 device의 제약사항을 QoS로 정의하고 UML 확장메커니즘을 이용하여 모바일을 위한 아키텍쳐 모델링 언어 프레임웍을 제시하고 있다.