• The KIPS Transactions:PartD
• /
• v.18D no.6
• /
• pp.443-450
• /
• 2011

Model-based Component development methodologies consider the whole system as an component and develop physical components through recursive decomposition and refinements of components in a top-down manner. We developed a model translator that can be used to formally verify interaction consistency among components, especially the interaction behavior between before- and after- refinements of components. This translator can be used to identify potential problems in the refinement process so that problems can be addressed from the early stage of development. This paper introduces our translation approach and the organization of the translator. The translator has been applied to two case studies to show its usefulness.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.667-669
• /
• 2001

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

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.8
• /
• pp.543-554
• /
• 2013

Model-Driven Development(MDD) helps developers verify requirements and design issues of a software system in the early stage of development process by taking advantage of a software model which is the most highly abstracted form of a software system. In practice, however, many software systems have been developed through a code-centric method that builds a software system bottom-up rather than top-down. So, without support of appropriate tools, it is not easy to introduce MDD to real development process. Although there are many researches about extracting a model from code to help developers introduce MDD to code-centrically developed system, most of them only extracted base-level models. However, using concept of abstract component one can continuously extract higher level model from base-level model. In this paper we propose a practical method for automatic extraction of base level abstract component from source code, which is the first stage of continuous extraction process of abstract component, and validate the method by implementing an extraction tool based on the method. Target code chosen is the source code of TinyOS, an operating system for wireless sensor networks. The tool is applied to the source code of TinyOS, written in nesC language.

• Annual Conference of KIPS
• /
• 2009.11a
• /
• pp.845-846
• /
• 2009

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

• Annual Conference of KIPS
• /
• 2003.05c
• /
• pp.1797-1800
• /
• 2003

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

• Computational Structural Engineering
• /
• v.17 no.3
• /
• pp.14-21
• /
• 2004

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

• The KIPS Transactions:PartD
• /
• v.17D no.6
• /
• pp.415-422
• /
• 2010

This paper proposes service-oriented composition and verification techniques for incrementally extracting high-level abstract behavior of unit components in a systematic manner. Proposed techniques include the definition for abstract component, which is a basic building-block of the abstraction process, an algorithm for port-based synchronized abstraction, and projection abstraction. A verification framework is developed using the proposed techniques and its efficiency is demonstrated through a case example.

• Journal of Digital Convergence
• /
• v.11 no.8
• /
• pp.213-218
• /
• 2013

In this paper, when vehicle inspection is made, the check way is recommended based on the intelligent and personalized in the workplace, education, and other space-time according to the current situation. These results increase productivity, reduce costs, and improve performance. So we designed vehicle inspection recommendation system using ontology. Recommendation method is that components connected concept are shown according to weight value. if components are connected with other concept, the components are extended.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.379-381
• /
• 1999

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