• 정보과학회 논문지
• /
• 제43권10호
• /
• pp.1104-1114
• /
• 2016

소프트웨어의 변경은 개발 기간 또는 개발 이후에도 지속적으로 요구된다. 변경 요청 시 영향의 범위를 직관적으로 정확히 파악하는 것은 어려운 일이며, 체계적인 방법을 통해 변경 영향의 범위를 보다 정확하게 파악하는 과정이 필요하다. 변경 영향 분석은 변경에 의해 야기되는 파급 효과를 인식하여 누락되는 부분이 없도록 하는 것을 그 목적으로 한다. 본 논문은 객체지향 개발 환경에서 유스케이스 시나리오와 UML 모델링 산출물들 간의 연관 관계를 이용하여 변경 요청으로 인한 영향의 범위를 쉽게 파악할 수 있는 방법을 제시한다. 이 방법은 유스케이스 시나리오의 변경으로 인해 다른 구성요소들(클래스 다이어그램, 시퀀스 다이어그램)이 받을 수 있는 영향의 범위를 순방향 추적을 통해 파악하고, 구성요소의 변경으로 인해 추가적으로 발생할 수 있는 변경 가능성에 대한 영향 분석은 역방향 추적 과정을 통해 순환적으로 이루어진다. 본 논문의 결과는 영향 분석 대상(산출물)이나 변경 유형에 제한을 받지 않아, 다양한 변경 요청으로 인한 영향 분석 시 기초적인 가이드라인으로 활용할 수 있다.

• 정보처리학회논문지D
• /
• 제13D권7호
• /
• pp.947-958
• /
• 2006

컴포넌트 확장성 및 재사용성을 향상시키기 위해서는 분석단계에서부터 가변적인 것들을 규칙기반으로 분석해서 컴포넌트로 식별할 필요가 있다. 본 논문에서는 시스템 외부 이벤트에 대해 트랜잭션 처리를 규칙기반으로 처리해야 하는 도메인 상에서 객체 기반의 중요 개념을 규칙기반으로 효과적으로 추출해 UML Components 개발 프로세스 상에서 가변적인 컴포넌트를 개발할 수 있는 규칙 기반 분석 패턴을 제시한다. 업무 지식이나 경험이 다른 많은 분석가들이 서브 시스템 많은 규칙 기반의 가변적인 복잡한 비즈니스 업무 분석 시 제안한 분석 패턴을 사용할 경우 분석 산출물의 일관성이나 가독성을 좋게 하며 또한 UML Components 방법론상에서 효과적으로 가변적인 비즈니스 컴포넌트들을 식별할 수 있다. 이러한 분석 패턴의 타당성을 증명하기 위해 본 논문에서는 가변적인 규칙기반으로 업무를 처리하는 은행 수신과 수출입 업무 도메인에 적용한 결과 패턴에서 제시한 중요 개념을 기반으로 거의 유사한 비즈니스 개념 모델을 도출할 수 있었으며 또한 이들 중요 개념을 기반으로 UML Components 개발 프로세스 상에서 가변적인 비즈니스 컴포넌트를 효과적으로 식별할 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권3호
• /
• pp.153-162
• /
• 2005

컴포넌트 기반 개발(CBD) 기술은 컴포넌트 재사용을 통해 S/W 개발 생산성을 높이는 기술로 각광을 받고 있다. 모델기반 아키텍처 (Model Driven Architecture, MDA)는 설계 모델을 점진적으로 변환하여 S/W를 자동으로 생성하는 새로운 개발 방식이다［1］. CBD기술은 재사용을 통하여, MDA 기술은 모델 변환을 통하여 S/W 개발 생산성을 높이므로, 이 두 기술의 접목은 SW 재사용과 자동 생산의 두 가지 장점을 모두 이룰 수 있다. 이를 위해서는 설계된 컴포넌트를 MDA의 플랫폼 독립적 모델 (PIM)로 명세하여야 하며, UML 확장 장치 즉 CBD용 UML 프로파일이 요구된다. 본 논문에서는 명세할 컴포넌트의 구성요소를 메타 모델로 정의하고, 각 구성요소를 PIM으로 명세하기 위한 컴포넌트용 UML 프로파일을 제안한다. 이 프로파일은 컴포넌트 명세를 위한 스테레오 타입, 구문(Syntactic), 의미 (Semantic), 규약(Contract) 및 표기법으로 이구어진다. 제안된 프로파일은 MDA 표준 규약의 기반인 Meta Object Facility (MOF)를 확장 적용한 것이므로 여러 MDA 기법과 도구들과 호환을 제공한다. 제안된 프로파일을 적용하면 CBD와 MDA의 고유 기능과 장점을 접목하여 높은 개발 생산성, 이식성, 상호 운용성, 및 유지보수성을 가질 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권3호
• /
• pp.179-195
• /
• 2007

웹 애플리케이션은 요구사항이 자주 변경되고, 기존의 소프트웨어와는 다른 아키텍쳐와 모델을 필요로 하며, 빠른 개발주기 안에 시장에 인도되어야 하는 등 여러 가지 특성으로 인해 기존의 전통적인 소프트웨어 개발 방법론을 적용하기에는 적절치 않다 본 연구에서는 확장 UML 모델을 이용하여 체계적인 모델링을 수행하면서 동시에 요구사항의 변경에 기민하게 대응할 수 있는 웹 애플리케이션 개발 방법론을 제안한다. 본 방법론에서는 UML을 확장하여 웹 애플리케이션 메타모델을 정의하므로 특정 언어와 기술에 독립적이다 개발 프로세스는 UML 프로파일 SPEM을 사용하여 기술된다. 프로세스 지원 도구를 통해 프로세스를 실행하고 맞춤화할 수 있다 웹 애플리케이션을 좀더 체계적이고 효율적으로 모델링할 수 있도록 항해 모델링 도구와 컴포넌트 대화 모델링 도구도 지원한다. 실제 웹 애플리케이션 개발 사례를 통해 프로세스와 웹 애플리케이션 모델의 유용성을 검증한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.376-378
• /
• 2002

재사용이 가능한 컴포넌트들을 사용하는 컴포넌트 기반 소프트웨어 개발 기술은 현재 소프트웨어 개발의 핵심 기술로써, 많은 소프트웨어들이 이 기법을 이용해 개발되고 있다. 컴포넌트 기반 스프트웨어를 보다 효율적으로 시험하기 위한 많은 노력이 있었으나, 아직까지 자동으로 시험을 쉽게 수행해 주는 도구는 별로 없으며 이미 개발된 도구들도 그 효용성이 미약하다. 본 논문에서는, 이전에 제안했던 컴포넌트 기반 소프트웨어 자동화 시험 도구인 CTM(Component Testing Manager)의 확장 내용으로써 XMI(XML Metadata Interchange) 형식으로 표현된 UML(Unified Modeling Language) 모델로부터의 시험 데이터 생성 및 수행기법에 대해 제시한다. 본 기법은 기존의 UML모델을 이용한 다른 시험기법과는 달리 표준화된 XML를 사용함으로써 XML모델링 도구와 독립적이고 분산환경에서 쉽게 사용할 수 있는 장점을 제공하여 보다 쉽게 컴포넌트 기 반 소프트웨어 의 시험을 가능하게 해 준다

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.433-435
• /
• 2000

객체지향 CHILL과 같은 병렬 객체지향 프로그램은 객체지향 개념과 함께, 효율적인 통신을 위해 병렬 프로그램의 다양한 동기화 통신 방법을 지원한다. 병렬 객체지향 시험에서는 이 특성을 모두 고려해야 한다. 본 논문에서는 병렬 객체지향 시험을 위해서 객체지향 CHILL 프로그램에 대한 시험 모델을 생성하는 방법을 제안한다. 먼저 UML의 상태 다이어그램과 시퀀스 다이어그램을 바탕으로 하여 시험 모델에서 객체지향 개념을 표현하고, Region 모드, Event, Buffer, Signal과 같은 객체지향 CHILL의 동기화 통신방법을 표현할 수 있도록 UML 표현을 확장하며, 각각의 동기화 통신방법에 대한 시험모델을 생성 방법을 제안한다. 생성된 시험모델은 UML을 바탕으로 하기 때문에, 기존의 UML 기반시험 기법을 적용하기가 용이하다.

• 산업경영시스템학회지
• /
• 제22권52호
• /
• pp.285-295
• /
• 1999

Developing control functions that operate and cooperate each equipment in order to achieve a goal is one of the most important problems in the installation of automated manufacturing systems. This paper discusses the development of a control system for heterarchical architecture and a simulator to verify operations of the control system. The object-oriented paradigm that has excellent reusability, portability, and extensibility is currently being used in many application fields as a software development methodology. Especially, UML(Unified Modeling Language), the third generation object-oriented modeling methodology, has advantages such as model generalization, clearness, and so on. In this research, software objects to accomodate the real time environments of automated manufacturing systems are modeled with the diagrams of UML. Based on these models, control software is developed as a format of pseudo-codes. A simulator is implemented to validate the developed control system.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.653-656
• /
• 2000

We consider, in this paper, a UML-based design support system for real-time systems. However, the UML does not include any notion for verification of timing constraints. We presents transformation algorithms, as a function of the support system, of UML descriptions into Petri nets and Interval Temporal Logic models, which are very powerful for the verification. This paper shows also transformation example for simple elevator system.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.381-394
• /
• 2009

소프트웨어 모델링 과정에서 생성되는 산출물들에 대한 모델의 재사용성을 향상시키기 위한 기법으로, MDA 모델 기반의 개발방법이 적용되고 있다. 아직도, UML을 이용한 MDA 기반의 개발에 대한 계층적이고 체계적인 기법은 미약한 상태이다. 이로 인해, MDA 메타모델에 기반한 일관성 있고 재사용성이 높은 MDA 모델링이 제대로 실현되지 못하고 있다. 본 논문은 이를 해결하기 위해, 2+1 View 통합 메타모델을 통한 MDA(PIM/PSM) 컴포넌트 모델링 기법을 제시한다. 먼저, 개발 프로세스 view와 MVC View를 표현할 수 있는 meta-architecture view 모델을 정의한다. 정의된 meta-architecture view 계층의 메타 레벨에서, 개발 프로세스 view와 MVC view별로 MDA 기반의 계층적 통합 메타 모델이 제시된다. 이 메타모델은 UML 모델과 GUI 모델이 갖는 모델링 요소들을 PIM과 PSM에 의해 계층적으로 표현한다. 제시한 메타모델을 ISMS 시스템에 적용하여 MDA 기반의 컴포넌트 모델링 사례를 제시한다. 이를 통해, 개발단계별 및 MVC 방식에 의해 일관성 있고 계층적인 MDA 컴포넌트 모델을 구축할 수 있다. 따라서, 모델에 대한 독립성과 재사용성의 향상을 기대할 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권8호
• /
• pp.721-730
• /
• 2007

UML(Unified Modeling Language)은 대부분의 소프트웨어 개발 방법론에서 목표로 하는 소프트웨어를 분석.설계하기 위하여 널리 사용되며, UML로 작성된 산출물을 기반으로 목표 소프트웨어를 구축한다. 그러나 방법론에서 모델링에 대한 가이드라인이 보통 자연어로 기술되어 있기 때문에 목표 소프트웨어를 위한 모델이 이를 적절히 준수하고 있는가의 검증이 어렵다는 문제점을 가지고 있다. 본 논문에서는 실시간 내장형 시스템(Real-time Embedded System)을 위한 방법론인 COMET방법론을 대상으로 모델링의 가이드라인을 표현하고, 표현된 가이드라인을 기반으로 모델을 평가할 수 있는 룰 기반 COMET 방법론 가이드라인 평가 프레임워크인 GARDIAN을 제안한다. 제안된 프레임워크의 유용성을 검증하기 위하여 비전문가가 UML을 사용하여 분석.설계한 지능형 로봇의 주행 시스템에 프레임워크를 적용하여 보았다.