• 정보처리학회논문지D
• /
• 제18D권6호
• /
• pp.443-450
• /
• 2011

모델 중심 컴포넌트 기반 개발 방법은 개발 대상 시스템을 하나의 추상컴포넌트로 보고, 재귀적인 컴포넌트의 분화(decomposition)와 정제(refinement) 과정을 통하여 물리적인 컴포넌트를 도출해내는 하향식 개발방식이다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로 한 컴포넌트 정제 과정에서 정제 전 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 분화와 정제 전 과정에 걸쳐 사용되어 정제 전 후 컴포넌트 간의 상호작용 오류로 인한 잠재적인 결함을 조기에 발견하고 해결하는데 기여할 수 있다. 본 논문은 추상컴포넌트의 각 구성요소들을 정형검증기 SPIN의 구성요소로 변환하기 위해 사용된 변환방법들과 변환기의 구성요소들을 소개한다. 개발된 변환기는 자동차 거울조종시스템, 무선센서네트워크를 위한 운영체제 등의 사례연구에 적용되어 그 효용성을 입증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.667-669
• /
• 2001

최근 컴포넌트 사용과 컴포넌트 기반 개발 방법론을 이용한 전사적 자원 관리(ERP) 시스템과 정보 관리 시스템(EIS) 개발이 급속히 성장하고 있다. 그 시스템을 구성하는 엔티티 컴포넌트는 데이터베이스 질의 처리를 통해 자료의 영속성 처리를 한다. 그러나, 컴포넌트가 복잡한 질의 처리를 통해서 영속성을 유지해야 하는 경우는 데이터베이스간의 질의 처리가 호환되지 않는 문제점과 그를 해결하기 위해 모든 데이터베이스와의 연동을 지원하기에는 어려운 점을 가지고 있다. 엔티티 컴포넌트에서 각 데이터베이스 질의 연산을 추상 클래스 정의하고 이 추상 클래스와 엔티티 빈 간의 종속성 제거하고 이것을 통한 EJB 기반 엔티티 컴포넌트의 커스터마이제이션을 제시한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권8호
• /
• pp.543-554
• /
• 2013

모델 중심 개발 방법론은 시스템 개발의 추상화 수준을 높임으로써 구현 세부 사항과는 독립적으로 중요한 요구사항과 설계 문제 등을 개발 단계 초기에 점검할 수 있도록 해준다. 그러나 현재까지 많은 소프트웨어가 코드중심, 상향식 개발방식을 통해 개발되어 왔고, 따라서 적절한 도구의 지원 없이는 이러한 모델 중심 개발 방법을 도입하는 것이 쉽지 않다. 현재 코드 중심으로 개발된 시스템에 모델 중심 개발 방법론을 도입할 수 있도록 코드로부터 모델을 생성하는 역공학적인 접근방법이 연구되고 있으나 대부분 코드에서 일차적인 모델을 추출하는 데 그치고 있다. 하지만 추상컴포넌트 개념을 이용하면 이러한 모델을 일차적으로 추출에 그치지 않고, 추출된 일차 모델을 상위수준의 추상화 단계로 연속적으로 추출할 수 있다. 본 연구에서는 이러한 추상컴포넌트의 연속적인 추출 과정 중 첫 번째 단계인 코드로부터 최하위 기반(base) 추상컴포넌트를 추출하는 과정을 자동화할 수 있는 기법을 제안하고, 실제 도구 구현을 통해 그 기법의 타당성을 평가한다. 실험 대상으로 선택된 코드는 무선센서 네트워크 운영체제인 TinyOS의 소스 코드이며, 해당 소스 코드는 nesC 언어로 작성되었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.845-846
• /
• 2009

컴포넌트 기반 개발 방법은 컴포넌트의 재사용으로 인한 개발 비용의 절감뿐만 아니라, 컴포넌트 분석의 재사용으로 인한 검증비용의 절감과 시스템의 질적 향상을 도모할 수 있는 장점을 지니고 있는 반면, 컴포넌트들간 상호작용의 복잡도의 증대로 인한 결함률이 높아질 수 있다. 본 연구에서는 모델 기반 컴포넌트 개발기법을 근간으로한 컴포넌트 정제 과정에서 정제 전, 후의 추상컴포넌트들 간의 행위 일관성을 정형분석하기 위한 모델 변환기를 개발하였다. 이 모델변환기는 컴포넌트의 정제과정 전 단계에 걸쳐 사용되어 컴포넌트 간의 상호작용으로 인한 잠재적인 결함을 조기에 발견하고 해결하는 데 기여할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1797-1800
• /
• 2003

내장형 시스템 환경에서는 급변하는 시장의 적시성 요구(time-to-market)와 저렴한 비용으로 다양한 사용자의 요구사항을 효율적으로 반영해야 한다. 그러한 특징에 의해 내장형 시스템 환경에서는 재구성 가능한 컴포넌트 기반 소프트웨어 개발방법이 주목받고 있다. 또한 내장형 시스템 소프트웨어 개발에는 이식성, 신뢰성, 재사용성에서 강점을 가진 자바 가상머신이 주목받고 있다. 따라서 본 논문에서는 컴포넌트 기반 내장형 자바 가상머신에 적합한 스케줄러를 개발하기 위해, 추상 컴포넌트 조림기법과 의존성 검사 방법을 적용한 컴포넌트 스케줄링 큐를 적용하여, 컴포넌트간의 문맥교환을 줄여 수행성능을 향상시킨 스케줄러의 설계 기법에 대하여 소개한다.

• 전산구조공학
• /
• 제17권3호
• /
• pp.14-21
• /
• 2004

MDO프레임웍은 설계 작업을 통합적으로 관리하고 자동화하여 설계도구 간의 데이터 전달과 변환에 소요되는 설계자의 부담을 경감시키며 다분야 전문가가 참여하는 협동설계 환경을 제공함으로써 다분야를 동시에 고려한 효율적 설계를 지원한다. 이번 글에서는 이러한 MDO프레임웍으로 개발된 EMDIOS를 소개하고, 그 개발 배경과 타당성을 개략적으로 제시하였다. EMDIOS는 분산 환경을 제공하고, 데이터베이스와 연계되어 정의된 문제와 문제 풀이 절차를 저장하고 실행시 발생하는 데이터들을 체계적으로 관리하는 구조를 갖는다. MDO문제 해결에 필요한 도구들은 모두 소프트웨어 컴포넌트로 구성 및 기술되어 컴포넌트 등록기에 등록되어 저장된다. 등록된 컴포넌트는 GUI기반의 MDO커널에 의하여 검색되고 MDO문제해결 절차의 구성 요소가 된다. 구성된 문제 해결을 위한 실행은 컴포넌트 서비스 에이전트에 의하여 이루어진다. EMDIOS는 새로운 설계도구를 EMDIOS에 쉽게 통합하여 사용할 수 있도록 공통적으로 구현될 수 있는 부분을 구현한 추상 클래스와 이로부터 필요한 인터페이스를 생성할 수 있는 인터페이스 제조기를 제공함으로써 확장성과 개방성을 제공한다. 제시된 MDO 프레임웍의 사용자 인터페이스는 가장 많은 사용자를 확보하고 있는 윈도우 환경에서 Visual C++를 이용하여 개발되고 있으며, 다양한 OS환경에서 작동되어야 하는 래퍼는 JAVA로 개발하였다. 현재 개발된 EMDIOS는 다양한 벤치 마크 테스트 중이며 올해 9월이후에는 일반에게도 공개할 수 있는 프레임웍으로써 모습을 갖출 것으로 보인다.

• 정보처리학회논문지D
• /
• 제17D권6호
• /
• pp.415-422
• /
• 2010

본 논문은 단위 컴포넌트가 제공하는 서비스를 중심으로 컴포넌트 행위모델을 합성하고 상위수준의 추상적 행위모델을 추출하는 서비스기반 합성과 검증기법을 제안한다. 이를 위하여, 상향식 행위양식 추상화의 기초가 되는 추상 컴포넌트를 정의하고, 포트기반 동기화 알고리즘과 서비스기반 투영을 통한 추상화기법을 제안하였다. 또한, 제안된 기법을 적용한 모델검증 프레임워크를 개발하고, 사례연구를 통하여 제안된 방식이 검증비용을 절감함을 입증하였다.

• 디지털융복합연구
• /
• 제11권8호
• /
• pp.213-218
• /
• 2013

본 논문은 자동차 점검이 이루어질 때 작업현장, 교육현장, 기타 시공간에서 현재 상황에 따라 지능화 및 개인화에 근거해 추천함으로써 생산성 향상, 비용절감, 성과향상 등을 이루고자 한다. 이에 본 연구는 태스크 온톨로지를 이용한 자동차 점검 추천시스템 개발 방법을 설계하였다. 추천 방법은 추상개념을 기반으로 각 추상개념에 연결되는 부품들을 가중치 값 순서로 보여줄 수 있도록 하고, 부품이 다른 추상개념과 연결될 경우 부품들을 확장하여 보여 주도록 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.379-381
• /
• 1999

ODBC가 가지는 제한을 극복하고 컴포넌트 기술을 적용하기 위해, OLE DB라는 새로운 데이터 접근 기술이 개발되었다. OpenGIS에서는 공간/비공간 데이터의 상호운용을 지원하기 위해 데이터 모델의 표준으로 추상 명세를 제안하고, 구현 기술로써 OLE DB를 제안하고 있다. 본 논문에서는 Gothic, MGE를 대상으로 하여 OpenGIS OLE/COM 구현명세중 핵심이 되는 OpenGIS 공간데이터 제공자를 설계, 구현하였다. 또한 기존의 OpenGIS 관련 논문과는 달리 두 개의 GIS 서버를 대상으로 하여 상호운용성을 검증하였다. 본 논문에서 제시한 공간 데이터 제공자는 서로 다른 GIS S/W에 분산 저장된 공간 데이터의 접근을 가능하게 해 주기 때문에 분산환경에서 컴포넌트화된 GIS소프트웨어 개발에 활용될 수 있을 것이다.