• 한국산업정보학회논문지
• /
• 제16권5호
• /
• pp.83-92
• /
• 2011

IDEF는 전통적인 구조적 소프트웨어 개발에 많이 사용된 방법론이다. 객체지향 소프트웨어가 널리 사용됨으로 이에 맞는 모델을 IDEF 개발 기관에서 제시한 것이 IDEF4다. UML은 객체지향 소프트웨어의 산업표준으로서 널리 이용되는 도구이다. IDEF는 CALS/EC 등에서 많이 사용하고 UML은 일반적인 객체지향 소프트웨어 개발할 때 많이 사용하기 때문에 소프트웨어 개발자들은 IDEF4모델의 표현법 보다는 UML의 표현법에 익숙하다. 또한 UML을 사용한 CASE 도구가 많이 개발되어 있어 IDEF4 모델을 UML 모델로 표현하면 이런 도구를 사용하여 소프트웨어 개발을 좀 더 효율적으로 할 수 있다. 본 논문은 IDEF4 모델을 UML 모델로의 변환하는 방법에 관하여 기술하였다. 변환 규칙을 제시하고 이를 사례에 적용하였다.

• 한국산학기술학회논문지
• /
• 제16권5호
• /
• pp.3407-3411
• /
• 2015

UML 모델을 사용하는 다양한 소프트웨어의 설계 및 구현 환경에서 UML 메타 모델의 규칙을 준수하고, 이를 통하여 확장하면 많은 장점을 가질 수 있다. 하지만 UML 메타 모델은 자체 규모가 점진적으로 방대해지고 있으며 UML 메타 모델을 사용하는 다양한 곳에서 UML 메타 모델의 확장 및 변환을 위해서는 반드시 Profile의 정의를 통하여 다이어그램을 재정립할 필요가 있다. 즉, UML 메타모델을 확장하여 사용하고자 하는 대상에 대하여 요소들만을 추출하여 사용할 필요가 있다. UML 메타모델의 확장과 Profile을 메타 저장소를 기반으로 재정의하여 사용함으로써 UML 모델링 도구나 분석도구를 좀 더 쉽고 빠르게 개발할 수 있고, 이러한 도구를 활용하여 SW 산업에서의 개발 품질을 높일 수 있다. 본 논문에서는 UML 메타모델의 확장을 통하여 Profile을 재정의 하는 알고리즘을 제시하고, 전자정부 표준 프레임워크에 실제로 적용한 결과를 코드 사이즈와 복잡도를 비교하여 향상된 성능을 보여준다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.62-67
• /
• 2007

UML 모델을 사용하는 다양한 곳에서 UML 메타모델을 준수하면 많은 이점을 가진다. 하지만 UML 메타모델 자체 규모가 점점 거대해지고 있으며 UML 메타 모델을 사용하는 다양한 곳에서도 UML 메타모델의 일부분만을 필요로 하는 경우도 있다. 즉, UML 메타모델에서 사용하고자 하는 특정 요소들만을 추출하여 사용할 필요가 있다. UML 메타모델의 특정 부분만을 추출하여 사용함으로써 UML 모델링 도구나 분석도구를 좀더 쉽고 가볍게 개발할 수 있다. 본 논문에서는 UML 메타모델에서 특정 다이어그램 요소만을 추출하기 위한 슬라이싱 알고리즘을 제시하고 실제로 적용한 결과를 보여준다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 춘계학술대회논문집
• /
• pp.73-80
• /
• 2002

UML(Unified Modeling Language)은 소프트웨어 설계뿐만 아니라 네트워크 상에서의 데이터 전송, 가상데이터를 이용한 물리현상, 회로 분석 및 설계 등 다양한 형태의 시뮬레이션에서도 사용되고 있는 모델링 언어이다. 이러한 UML로 개발된 소프트웨어 설계 모델이나 시뮬레이션 모델들을 효율적으로 저장하고 관리할 수 있는 통합 시스템의 필요성이 제기되고 있다. 이를 위하여 본 논문에서는 UML 모델들의 저장과 관리의 효율성을 높이기 위해서 저장하부 구조를 데이터베이스화할 수 있는 방법을 제안한다. 제안한 방법을 적용한 시스템은 UML 모델들을 다수의 사용자들이 서로 공유할 수 있으며 모델의 재사용성을 높이고 모델 정보의 효율적인 검색을 지원할 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.319-321
• /
• 2005

항해는 웹 응용의 대표적인 행위 특성이다. 본 연구에서는 UML 2.0의 행위 다이어그램 메타 모델을 확장한 웹 응용 항해 모델을 제안한다. 본 항해 모델은 딜 판정 항해 모델과 데이터 전송 관점 항해 모델로 구성된다. 뷰 관점 항해 모델은 UML 상태 기계 다이어그램을 확장하여 사용자에게 표시되는 항해를 기술한다. 데이터 전송 관점 항해 모델은 데이터가 전송되는 항해를 나타내며 UML 시퀀스 다이어그램을 확장하여 표현한다. 두 항해 모델은 상호 보완적으로 작용하여 온전한 항해 문맥을 형성한다. 본 논문에서는 UML 2.0 메타 모델의 확장점과 항해 모델의 표기법을 제시하고, 사례 연구를 통하여 실제적인 항해 모델의 예를 보인다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권5호
• /
• pp.492-496
• /
• 2008

객체지향 모델의 제약을 표현하는 OCL의 용도를 확장하여 UML 모델에 적용할 메트릭을 기술하는 언어로 사용하는 연구가 다양하게 진행되었다. 그러나 OCL로 메트릭을 기술하면 복잡한 OCL 문장으로 인하여 메트릭의 의미를 이해하는 데에 많은 어려움이 있다. 본 논문에서는 OCL의 기본 요소를 추상화시킨 새로운 메트릭 기술 언어(MDL4UML)를 정의하였다. MDL4UML은 OCL의 기본요소를 추상화함으로써 OCL을 이용하여 메트릭을 기술하는 메트릭 디자이너가 이해하기 쉽고 간략하게 메트릭을 기술할 수 있는 장점이 있다.

• 인터넷정보학회논문지
• /
• 제3권3호
• /
• pp.39-53
• /
• 2002

도메인 모델은 객체 모델 개발과 소프트웨어 설계에 관한 결정에 큰 영향을 끼치고 있어, 오늘날 많은 객체 지향적 시스템과 컴포넌트 기반의 소프트웨어 개발 시 도메인 모델을 만들고 있다. 그러나 UML과 객체 지향적 방법론에서는 재사용을 위한 개발과 재사용을 수반한 개발의 지원이 부족하여 매번 새로이 모델을 개발하고 있으며 프로젝트 개발 기간 지연과 불충분한 모델 생성을 초래하고있다. 이러한 문제는 UML 표기의 확장과 재사용 처리방법을 통해 해결될 수 있다. 본 연구에서는 도메인 모델의 재사용을 위하여 UML 기반의 도메인 모델 템플리트를 설계하고 분석정보의 재사용을 위한 도메인 모델 개발 방법을 제안하였다. 아울러 제안된 표현을 인터넷 응용에 적용하여 도메인 모델과 도메인 템플리트를 생성할 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.313-315
• /
• 2004

UML은 범용의 목적으로 설계된 모델링 언어이지만 않은 도메인 영역에서 사용되고 있다. 그것은 UML을 각 도메인의 특성에 맞게 확장할 수 있는 프로파일이라는 메커니즘을 자체적으로 보유하고 있기 때문이다. UML 표준 명세에 기술되어 있는 확장 메커니즘과 프로파일은 그 자체로 매우 잘 설계된 모델이나 그대로 설계 도구에 도입하기에는 부적합한 면이 않다. 본 논문에서는 UML 기반의 설계 도구에서 프로파일을 수용할 수 있도록 확장 메커니즘 모델을 개선하고 프로파일을 정의할 수 있는 정형적인 방법들을 제시한다.

• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.109-116
• /
• 2022

최근 대규모 소프트웨어 개발하는 데 있어 불명확한 의사소통을 해결하기 위해 가독성이 높은 표준화된 UML(Unified Modeling Language) 모델 중심의 모델 기반 개발 방법이 적용되고 있다. 하지만 소프트웨어 개발자들의 숙련도, 모델 및 모델링 도구의 이해도에 따라 대규모 소프트웨어에 일관성 있는 UML 모델을 적용하기에는 어려움이 발생한다. 이에 본 논문에서는 소프트웨어 개발에 일관성 있는 UML 모델을 적용하기 위한 모델 검증 시스템 개발 방법을 제시한다. 그리고 개발된 모델 검증 시스템을 함정 전투체계 소프트웨어 개발에 일부 적용하여 기능을 입증한다. 모델 검증 시스템은 개발자들이 작성한 모델들을 도메인 특성에 맞게 자동으로 검증할 수 있는 기능을 제공한다. 본 논문에서 제안한 모델 검증 시스템을 사용하면 함정 전투체계 소프트웨어 개발에 좀 더 쉽게 일관성 있는 UML 모델을 적용할 수 있는 장점을 가진다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.477-480
• /
• 2002

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