• 정보처리학회논문지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 컴포넌트 모델을 구축할 수 있다. 따라서, 모델에 대한 독립성과 재사용성의 향상을 기대할 수 있다.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.983-990
• /
• 2003

컴포넌트 기반 소프트웨어를 개발하기 위해서는 검증되고 표준화된 소프트웨어 컴포넌트가 요구된다. 본 논문에서는 재사용가능한 프로세스 패턴을 기반으로 하여 컴포넌트 품질 보증 프로세스를 구축하는 접근방법을 제시하고 있다. 프로세스 패턴을 기술하기 위한 메타 모형과 컴포넌트 품질 보증을 위한 프로세스 패턴들을 정의하여, 컴포넌트 개발 상황에 맞게 품질보증 프로세스를 구축할 수 있도록 하였다. 또한 이 접근방법을 실제 프로젝트에 적용한 사례를 보여주고 그 장단점을 토의하였다.

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

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권1호
• /
• pp.32-43
• /
• 2006

Enterprise JavaBeans (EJB)는 컴포넌트 기반 소프트웨어 개발 (Component-based Development, CBD)을 위해 보급된 환경이다. 컴포넌트는 재사용 단위의 복합 객체이지만, EJB는 객체단위의 작은 컴포넌트이므로 다수의 엔터프라이즈 빈을 복합하여 큰 단위 재사용을 지원해야 한다. 따라서 EJB를 이용하여 컴포넌트를 상세 설계 및 구현하기 위한 구체적이고 실용적인 기법이 필요하다. 본 논문에서는 CBD의 구성요소를 EJB를 이용하여 어떻게 설계하는지의 지침과 기법을 제시한다. 단일, 복합, 화이트, 블랙 박스, 다중 인터페이스, 가변성을 지원하는 EJB 환경의 컴포넌트 설계 및 구현 기법을 제시한다. 사례 연구를 이용하여 제시한 설계 기법을 보이고, CBD 컴포넌트의 특징과 본 논문의 기법을 비교하여 검증한다. 결론적으로 EJB 환경에서 컴포넌트의 재사용성, 활용성, 이식성을 더욱 증가 시킬 것이다.

• 대한기계학회논문집A
• /
• 제37권6호
• /
• pp.821-826
• /
• 2013

구조물의 최적설계 시 설계변수의 값이 변화할 때 모드전환이 일어날 수 있다. 만약 이 모드전환을 추적하지 않으면 최적설계를 위한 고유진동수나 모드는 설계자가 의도하지 않은 모드로 평가될 수 있다. 따라서 설계변수의 값이 변화할 때마다 의도한 고유진동수와 모드의 동일성을 유지할 수 있도록 모드추적이 적용되어야 한다. 또한 설계변수가 불확실성을 포함하고 있는 설계 문제의 경우, 이를 고려한 신뢰성 기반 최적설계를 수행해야 한다. 본 연구에서는 압축기를 지지하는 관절스프링의 한 부품인 압축 코일스프링의 모드추적을 고려한 신뢰성기반 최적설계를 수행한다. 모드추적 기법은 최적화 기법들과 연동이 쉬운 다중응답접근법 기반 크리깅 메타모델을 이용하며, 신뢰성해석 기법은 크리깅 메타모델 기반 몬테카를로 추출법을 이용한다.

• 한국기계가공학회지
• /
• 제6권3호
• /
• pp.38-46
• /
• 2007

Weight reduction for an automobile component has been sought to achieve fuel efficiency and energy conservation. In response to this trend, a new disc-brake called the circumferential friction disc-brake is suggested. This paper compares the mechanical performances of a conventional disc-brake and a suggested disc-brake, under the dynamic braking condition. The thermoelastic instability is considered to simulate the test condition. Furthermore, the metamodel using kriging interpolation method is introduced to obtain the optimum design of a suggested circumferential friction disc-brake. The design results obtained by the kriging method are compared with those obtained by the ANSYS.

• Nuclear Engineering and Technology
• /
• 제45권5호
• /
• pp.653-664
• /
• 2013

The design of computer-based instrumentation and control (I&C) systems is determined by the allocation of I&C functions to I&C systems and components. Due to the characteristics of computer-based technology, component failures can negatively affect several I&C functions, so that the reliability proof of the I&C systems requires the accomplishment of I&C system design analyses throughout the I&C life-cycle. On one hand, this paper proposes the restructuring of the sequential IEC 61513 I&C life-cycle according to the V-model, so as to adequately integrate the concept of verification and validation. On the other hand, based on a metamodel for the modeling of I&C systems, this paper introduces a method for the modeling and analysis of the effects with respect to the superposition of failure combinations and event sequences on the I&C system design, i.e. the temporal change of physical structure is analyzed. In the first step, the method is concerned with the modeling of the I&C systems. In the second step, the method considers the analysis of temporal change of physical structure, which integrates the concepts of the diversity and defense-in-depth analysis, fault tree analysis, event tree analysis, and failure mode and effects analysis.

• 한국멀티미디어학회논문지
• /
• 제14권1호
• /
• pp.121-132
• /
• 2011

건강관리 시스템은 자신의 건강상태를 주기적으로 체크하여 질병의 조기발견과 예방에 도움을 주기 위한 의료정보 시스템의 일종이다. 이러한 건강관리 시스템은 신체에서 획득한 신호를 기반으로 한다. 하지만 현재 개발되어 있는 건강관리 시스템은 생체신호를 저장하는 방법과 표현법이 의료기기마다 다르며, 건강 상태를 평가하는 방법 또한 다르다. 이는 시스템간의 상호운용성 결핍, 소프트웨어 개발 비용의 증대, 획일화된 시스템의 부재라는 단점을 가져온다. 이에 본 논문에서는 메타모텔을 기반으로 건강관리 시스템을 개발한다. 이를 위하여 생체신호 데이터를 HL7의 표준 메타모델기반으로 표현 및 저장하고, 건강에 대한 위험요소를 평가하기 위해 웰니스지표 정의 및 데이터 추출을 수학적 명세언어인 OCL을 사용한다. 또한 OSGi기반으로 컴포넌트를 구현하고 조립하여 다양한 디바이스 및 시스템의 확장을 쉽도록 한다. 메타모델기반으로 생체 데이터를 표현함으로써 시스템간의 상호운용성을 확보할 수 있으며, OCL을 사용하여 웰니스지표를 정의함으로써 건강 상태 평가방법의 표준화를 유도하고, 명확한 명세가 가능하다는 장점을 가진다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권11호
• /
• pp.653-660
• /
• 2008

최근에 제시된 서비스 기반 컴퓨팅 패러다임에서의 서비스 기반 소프트웨어 개발을 지원하기 위한 체계적인 프로세스 모델에 대한 요구가 대두되고 있다. 기존에 제시된 Unified Software Development Process, UML Components 등의 방법론은 컴포넌트에 초점을 두고 만들어진 방법으로, 서비스의 정의, 바인딩, BPEL(Business Process Execution Language)을 이용한 서비스의 조합등과 같은 서비스 기반의 개발이 가지고 있는 특징을 반영하지 못하고 있다. 또한 서비스 기반의 개발 방법론으로 제시된 SOUP(Service Oriented Unified Process), SOMA(Service Oriented Modeling and Architecture) 등은 개념적인 절차가 위주로 되어 있지, 구체적인 가이드라인, 산출물 및 접근 방법을 명확히 제시하지 않는다. 그러므로 본 논문에서는 서비스 기반의 개발 패러다임을 지원하기 위한 체계화되고, 간소화된 프로세스 모델을 제시한다. 또한 OMG에서 제시한 SPEM(Software Process Engineering MetaModel)을 적용하여 프로세스 모델을 명시적으로 표현한다. 본 논문에서 제안된 프로세스 모델을 실제 서비스 기반의 개발에 적용함으로써 서비스 기반 소프트웨어 개발의 체계성 및 효율성을 증대시킬 수 있게 된다.

• 한국산학기술학회논문지
• /
• 제14권11호
• /
• pp.5827-5833
• /
• 2013

과학기술의 발전으로 인해서 현대의 시스템은 과거에 비해 대형화되고 복잡화되었다. 복잡한 시스템 개발에서 복잡도를 줄이기 위한 방법으로 모델기반 시스템엔지니어링(MBSE)이 다양한 분야에서 적용되고 있다. 하지만 다양한 언어를 통하여 모델링이 이루어지고 있으므로, 개발 프로세스에 따른 산출물의 일관성 및 이해관계자간의 의사소통에 문제가 발생하고 각 MBSE 도구의 지원 다이어그램의 차이에 따라 산출물의 표현이 제한되기 때문에 그 효과성이 부족하다. 본 논문에서는 전통적 다이어그램의 하나인 데이터흐름도(DFD)를 SysML의 다이어그램으로 변환하는 법칙을 연구함으로써 이미 구축된 모델들을 재사용하여 SysML로 구축될 수 있도록 한다. 특히, 각 다이어그램의 메타모델(Meta Model)을 분석하고, 이분그래프를 통해 각 구성요소의 연결 관계를 확인하여 변환의 근거를 마련하고 무결성을 확인하며 보다 효과적인 변환 법칙을 제시하고 있다. 또한 위 내용을 함정전투체계설계에 적용해 봄으로써 그 효과성을 확인한다. 본 연구의 결과를 기반으로 향후 추가연구를 수행하면, 이미 구축된 시스템 개발과정에서 산출된 모델들을 SysML 을 이용하여 일관성 있게 표현할 수 있을 것 이다. 그리하여 산출물의 일관성을 높이고 이해관계자간의 의사소통을 원활하게 함으로써, SysML을 이용한 효과적인 모델기반시스템엔지니어링(MBSE)에 도움이 될 것으로 기대된다.