• Proceedings of the Korea Database Society Conference
• /
• 1999.06a
• /
• pp.75-84
• /
• 1999

본 논문에서는 지식에 대한 개념을 정의하기 보다 지식의 life-cycle을 통한 지식의 생성과 소멸을 모델화함으로 지식을 설명하려 한다. 본 논문은 노나카의 지식 창조 모델을 기반으로 하고 기존의 KMS들을 분석하여 일반적인 지식 life-cycle 모델을 도출하였으며, 기존 모델의 문제점을 보완하여 새로운 지식 life-cycle 모델을 만들었다. 이 모델과 앞으로의 지식관리 시스템 발전 방향을 고려하여 지식 관리 시스템 아키텍쳐를 제시하였다. 본 논문에서는 이 아키텍쳐를 근거로 지식 관리 시스템을 구현하기 위한 6개의 컴포넌트를 도출하였다 6개의 컴포넌트는 지식 생성, 지식 분배, 지식 측정, 지식연결, 지식 검색, 지식 저장이다. 이 컴포넌트들로 지식 관리 시스템의 prototype을 구현해 본 결과 지식life-cycle을 단계적, 부분적으로 지원하지만 부족한 부분이 있는 것을 발견하였다. 향후에는 지식 생성과 지식 연결 컴포넌트를 강화하여 전체적인 지식 life-cycle을 지원할 예정이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.492-494
• /
• 2000

컴포턴트 기반 소프트웨어 개발(CBD)은 점차 대중화되어 가고 있는 소프트웨어 개발 방법이며, 최근에는 여러 미들웨어들이 서버 컴포넌트를 이용한 CBD를 지원하고 있다. 본 논문에서는 Microsoft Transaction Server(MTS)를 이용하여 서버 컴포넌트를 기반으로 안전한 트랜잭션 시스템을 디자인하고 검증하는 방법을 제시한다. 위의 목적을 위해 우선 MTS를 이용한 트랜잭션 시스템을 정형화하고, 정형화된 프레임워크를 이용해, 디자인한 시스템이 명세를 만족하는지 검증해 볼 것이다. 또, 위의 프레임워크를 위해 MSDN에 있는 은행 시스템을 예로 들어서 그 시스템이 만족해야 하는 명세를 위배한다는 것을 보이고, 명세를 위배하지 않도록 시스템의 설계를 변경할 것이다. 우리는 MTS에서 컴포넌트가 트랜잭션에 참여하는 방식이 시스템의 확장성과 안전성에 영향을 줄 수 있다고 생각하며, 그렇기 때문에, 우리가 제시한 프레임워크가 트랜잭션 시스템의 안전성과 확장성을 평가하는데 있어 유용할 것으로 기대한다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.3
• /
• pp.301-315
• /
• 2006

In component-based system, the qualities of components as reusable units are the most important to success the component-based development. Therefore, before software implementation phase, the designed components should be measurable to improve the qualities of the components and the measured results should be reflected in the component-based development phase. In addition, the qualities of the components should be measured accurately. Accordingly, this paper proposes cohesion and coupling metrics applying static and dynamic dependency characteristics by the interdependence between classes. We prove the theoretical soundness of the proposed metrics by the axiom of briand et al. A case study and a comparison with the conventional metrics verify the practicality of the proposed metrics. The development times and endeavors to design the components is reduced, because the proposed metrics measure the qualities of components accurately.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.129-139
• /
• 2004

In developing highly reliable systems such as C4I systems formal methods provide both developers and clients with assurance that they are in the right development processes. This paper investigates into techniques for formal specifications and tests for software components where rigorous verification is required. In particular, the paper suggests decomposition techniques for state-model based specifications using the weakest precondition, and suggests test methods for the specification by generating black box test-cases.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.406-408
• /
• 2001

소프트웨어 개발 기술은 컴포넌트의 재사용에 기반한 소프트웨어 개발 방법으로 발전하고 있다. 컴포넌트는 재사용 및 가변성을 족친시키며, 시스템의 전반적인 복잡도를 감소시켜 준다. 그러나 컴포넌트 조립정보는 디자인시점(design-time)에서 결정되고 특정 컴포넌트 모델과 컴포넌트 실행환경(Component Execution Environment)에 따라 소스코드에 반영되기 때문에, 시스템의 변경 관리 및 동적인 구성등의 소프트웨어 컴포넌트의 장점을 반영하지 못하고 있다. 본 논문에서는 현재 사용되고 있는 컴포넌트 컴포지션의 문제점을 제시하고, 이를 해결하기 위하여 컴포넌트 컴포지션시 필수적 정보들인 컴포넌트간의 상호작용, 컨텍스트 상의 종속성, 메시지 전달 및 호출상의 제약 조건 등의 기본 컴포지션 정도들을 표현하는 컴포지셔널 컨트랙트를 정의한다. 컴포지셔널 컨트랙트는 모든 정보를 컴포닌트 모델 및 환경에 의존적이지 않도록 XML 문서로 정의되므로, 각종 컴포지셔널 컨트랙트를 이용하여 컴포넌트 기술의 가장 큰 장점인 플러그-앤드-플레이(Plug-and-Play)방식의 지원 및 동적 바인딩, 동적 컴포넌트 컴포지션을 지원하는프레임워크를 제시한다.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.705-714
• /
• 2001

The computing systems of today expanded business trade and distributed business process Internet. More and more systems are developed from components with exactly reusability, independency, and portability. Component based development is focused on advanced concepts rater than passive manipulation or source code in class library. The primary component construction in CBD. However, lead to an additional cost for reconstructing the new component with CBD model. It also difficult to serve component information with rapidly and exactly, which normalization model are not established, frequency user logging in Web caused overload. A lot of difficult issues and aspects of Component Based Development have to be investigated to develop good component-based products. There is no established normalization model which will guarantee a proper treatment of components. This paper elaborates on some of those aspects of web application to adapt user requirement with exactly and rapidly. Distributed components in this paper are used in the most tiny size on network and suggest the network-addressable interface based on business domain. We also discuss the internal and external specifications for grasping component internal and external relations of user requirements to be analyzed. The specifications are stored on Servlets after dividing the information between session and entity as an EJB (Enterprise JavaBeans) that are reusable unit size in business domain. The reusable units are used in business component through query to get business component. As a major contribution, we propose a systems model for registration, auto-arrange, search, test, and download component, which covers component reusability and component customization.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.11b
• /
• pp.573-576
• /
• 2003

CBD(Component Based Development)란 재사용 가능한 소프트웨어 모듈 컴포넌트를 생성 ？ 조립생산, 선택. 평가 및 통합으로 구성하여 더 큰 컴포넌트를 생성하거나 완성된 어플리케이션 소프트웨어를 개발하는 기법이다. 본 논문에서는 대학의 학사관리시스템 구축시 업무간 재활용성 증대를 위해 컴포넌트 기반의 개발 방법을 적용하여 분석 및 설계를 하였으며, 체계구성 개념을 제시하고 주요 컴포넌트 모듈별로 수행 기능과 적용내역에 대한 명세를 하였다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.9 no.4
• /
• pp.375-383
• /
• 1999

사용자가 최소의 이해와 수정 노력으로 적합한 컴포넌트를 선택할수 있는 방안이 요구된다, 따라서 본 논문에서는 컴포넌트의 재사용도 측정을 위한 혼합적 척도를 제안한다. 현업에서의 연구와 경험을 통해서 증명된 객관성 있는 척도들을 측정인자로 설정한다. 러프집합을 이용하여 각측정인자들이 컴포넌트 재상요에 미치는 영향의 정도를 평가하고 각 측정인자들의 상대적 중요도를 구한다, Sugeno의 퍼지적분을 이용하여 측정인자들의 중요도와 측정값들을 종합함으로써 컴포넌트들의 재사용도를 측정한다. 마지막으로 제안된 ordinal scale과 ratio scale에 따름을 보여준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1761-1764
• /
• 2003

샤모아 프레임워크(Chamois Framework)는 독특한 컴포넌트를 지니고 있는 새로운 지식공학 프레임 워크이다. 이러한 대용량의 데이터 소스로부터 의미 있는 지식을 추출하는 지식공학 시스템에서 소스 데이터의 품질을 보장하는 일은 매우 중요하다. 본 논문에서는 데이터의 품질 측정 도구인 DAQUM(DAta OUality Measurement) 컴포넌트의 설계 및 구현에 관한 주요 내용을 기술하고, 컴포넌트 기반의 구조를 가지는 샤모아 프레임워크에서 DAQUM의 역할 및 동작에 대해 기술한다.

• Proceedings of the IEEK Conference
• /
• 2002.06c
• /
• pp.157-160
• /
• 2002

최근에 인터넷 및 웹의 급속한 발전과 더불어 S/W 개발의 새로운 방법으로 컴포넌트가 대두되고 있다. 이는 빠른 시간 안에 원하는 소프트웨어 제품을 적은 비용과 최소한의 노력으로 생산할 수 있어 효율적인 시스템 개발 및 소프트웨어 재사용에 많은 이점을 가질 수 있다 그러나 현재 사용되고 있는 COM, CORBA등은 프로그램 작성뿐만 아니라, 분산 시스템 하의 서로 다른 플랫폼에서 운영상의 문제점들이 발생하게 되었다. 본 논문에서 제시한 EJB 방식의 아키텍쳐 시스템은 서로 다른 네트워크 환경과 이기종의 시스템에 존재하는 프로그램 객체들을 동일 시스템에서 사용하는 것처럼 통합을 가능하게 해주고 있다. 그리고 사례연구를 통하여 웹 컴포넌트의 모델분석과 설계를 하여 빈(Bean)을 생성하였으며, 결론으로 COM., CORBA Component(CCM), EJB기반 컴포넌트를 비교하였다.