• 한국콘텐츠학회논문지
• /
• 제5권2호
• /
• pp.275-281
• /
• 2005

컴포넌트 기반 개발의 관점에서 시스템 개발은 코드를 작성하는 대신에 기존의 소프트웨어 컴포넌트들을 조립하는 것으로 대체되고 있으며 컴포넌트 조립에 관한 연구가 활발히 진행되고 있다. 본 논문에서는 컴포넌트 조립을 위하여 컴포넌트 사이의 관계를 명세화하여 정형화하였다. 커넥터를 통하여 컴포넌트를 조립하게 되면 메소드 호출이나 변경 없이 조립이 가능하다. 본 논문에서는 컴포넌트를 연결하는 커넥터 생성을 위한 명세와 제약조건을 정형화 하였으며, 작성된 커넥터 명세와 제약조건을 통하여 커넥터가 자동으로 생성되도록 하였다.

• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.929-936
• /
• 2004

컴포넌트 기반 플랫폼이 갖는 주 한계점은 컴포넌트 기반 시스템이 갖는 컴포넌트간 상호작용과 관련된 행위에 대한 기술과 추론에 대한 적당한 수단을 제대로 제공하지 못한다는 것이다. 현 컴포넌트 기반 플래폼이 CORBA의 IDL과 같은 컴포넌트에 대한 시그네쳐 수준에서의 기술을 위한 방법을 제공하기는 하지만, 이는 컴포넌트들간 상호작용과 같은 행위 기술을 저 수준에서 제공하는 것에 불과하다 컴포넌트 기반 시스템에서 중요한 과제 중 하나는 바로 컴포넌트들간 상호작용과 같은 행위를 기술하는 것과 이를 바탕으로 행위에 대한 검증이 필요하다. 본 논문에서는 프로세스 대수를 이용하여 컴포넌트 인터페이스의 명세 정의와 추상화된 소프트웨어 아키텍처를 어떻게 만족시킬 것인가를 보장받기위한 role의 결합방법, 생성된 아키텍처에 대한 전개규칙, 시각화방법을 연구한다. 또한 사례연구를 통해 본 논문에서 제안한 명세기법 및 정의의 타당함을 보였다.

• 한국멀티미디어학회논문지
• /
• 제7권1호
• /
• pp.113-125
• /
• 2004

능동 네트워크는 능동 네트워크 애플리케이션의 통신 중 요구사항의 처리를 할 수 있게 하는 소프트웨어 프레임 워크를 제공한다. 능동보안을 위한 컴포넌트 아키텍쳐는 관련 컴포넌트들의 조합으로 재사용 시스템을 쉽게 구축할 수 있다. 이 아키텍쳐는 컴포넌트를 획득하고, 이해하며 조립하기 위한 표준 계층으로서 컴포넌트 식별, 탐색과 조정을 위한 지침을 제공해야 한다. 본 논문에서는 최근 연구되어지고 있는 능동네트워크의 보안에 대한 부분을 관리하기 위한 능동보안 컴포넌트 개발을 위한 아키텍쳐 설계 및 도메인 분석을 하였으며, 능동보안 도메인 아키텍쳐를 이용한 컴포넌트 개발을 위한 설계명세에 대하여 연구하였다.

• 정보교육학회논문지
• /
• 제8권4호
• /
• pp.555-562
• /
• 2004

소프트웨어 명세는 비정형, 반 정형, 정형 기법이 존재한다. 이 중 정형 기법은 수학적인 이론을 바탕으로 명세의 모호성, 애매성, 불완전성을 제거하는데 효율적으로 사용되어 왔다. 본 논문에서는 Z 정형명세로부터 EJB의 자바 소스코드 까지의 구현 단계를 제안하였다. 또한, 사례 연구로 Stack을 명세하고 EJB 컴포넌트를 구현하는 단계를 제시하였다. 결론적으로 Z의 명세는 스키마의 분류, 인터페이스의 정의, Post-condition과 Pre-condition의 정의 단계를 거치고 정제를 통해서 EBJ의 인터페이스, 예외 클래스, 메소드 구현에 사용할 수 있음을 보였다.

• 소프트웨어공학소사이어티 논문지
• /
• 제24권2호
• /
• pp.55-66
• /
• 2011

컴포넌트 기반 개발 방법론은 개발 편의성, 개발에 소요되는 시간, 비용 등의 이점으로 인해 그 적용 영역이 확대되고 있다. 특히 일반적인 소프트웨어에 비해 플랫폼 의존성이 높고, 제품 군(product family) 개발이 가능한 임베디드 소프트웨어의 경우 컴포넌트 기반 개발은 그 유용성이 매우 높다고 할 수 있다. 그 중에서도 스마트 폰, 태블릿 PC 등과 같은 휴대형 임베디드 시스템의 경우, 전력 소모량이 적은 소프트웨어 개발의 중요성이 부각되고 있기 때문에 재사용 컴포넌트의 소모 전력에 대한 특성은 컴포넌트 기반 개발에서 고려되어야 할 중요한 품질요소 중의 하나가 되었다. 본 연구에서는 재사용 기반의 임베디드 소프트웨어 개발 시, 컴포넌트에 대한 소모전력 특성을 고려할 수 있도록 지원하기 위하여 소모전력 특성을 포함하는 컴포넌트 명세언어를 제안한다. 이는 추후 컴포넌트 저장소에서 소모전력 특성을 고려하는 컴포넌트 검색 및 선택 등과 같은 영역에서 활용할 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제6권3호
• /
• pp.23-28
• /
• 2001

급변하는 IT환경에서 시스템의 재사용성을 높여 라이프타임을 증가시키고 비용을 절감하기 위한 다양한 노력들이 이루어져 왔다. 구조적 프로그래밍 기법에서는 모듈에 기반한 아키텍처를 활용하여 생산성을 향상시켰다. 그러나 모듈들은 단순히 호출 빈도를 높일 뿐, 성장이나 진화를 하지 못하는 한계 상황에 직면하게 되었다. 객체지향 기법은 클래스들을 상속시키거나 메소드를 재정의 함으로써 시스템의 성장과 진화를 가능케 하여 구조적 프로그래밍 기법의 한계를 극복하였다. 최근 CORBA나 DCOM과 같은 분산 처리 기술과 객체지향 기법이 융화되어 생성된 컴포넌트 아키텍처는 고도의 재사용성이나 라이프타임의 증가뿐만 아니라 플러그-앤-플레이(Plug-&-Play)도 지원한다. 그러나 이러한 컴포넌트들을 조립하여 새로운 시스템을 구축하기 위해서는 컴포넌트의 구조와 인터페이스를 잘 정의한 명세서가 필요하다. 본 연구에서는 컴포넌트의 도입을 위한 참조 컴포넌트 아키텍처를 제시하고 UML을 이용한 이의 명세화에 대하여 제안한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -1
• /
• pp.545-548
• /
• 2000

A fundamental tenet of CBD is that a component has a specification which describes what that component does, and how it behaves when its services are used. In general, the implementation may be written in a different programming language and execute on different technology platform, from the language and platform used by the client program. In order to implement practically the system that is designed by the Farmer model, there is need to have the ISM (Interface Specification Model) which explains specification about the functions of entities of the Farmer model, such as, entity node, aspect node and ILB/OLB. This paper suggests the transformation methodology from the concepts of the Farmer model to the mapping notions of the ISM. Also in reality, TMN agents system which is designed by the Farmer model is transformed to the ISM system design.

• 한국정보처리학회논문지
• /
• 제6권6호
• /
• pp.1520-1531
• /
• 1999

본 논문에서는, 객체 지향 설계 명세서를 대상으로, 안전성 검증 방법을 제안하였다. 먼저 검증의 대상으로 하는 폴트를 명확히 하기 위해, 요구 명세서와 설계 명세서사이에 발생 가능한 불일치를 분석한다. 다음, 설계audtptjdp 포함된 폴트를 발견하기 위한 새로운 설계 레뷰 방법을 제안한다. 제안한 검증 방법의 특징은 검증될 모든 요소가 대상 프로덕트의 요구 명세서, 안전성 기준, 그리고 설계 명세서에 기반을 두고 추출될 수 있다는 것이다. 이러한 정보가 표의 형식으로 작성되기 때문에, 검증 단계를 단순화 할 수 있다. 여기에서, 컴포넌트 라이브러리, 안전성 기준, 그리고 Booch의 설계 방법에 의해 작성된 설계 명세서가 주어졌다고 가정한다. 먼저, 설계 레뷰를 하는 검증자가 정확성 검증표와 안전성 검증표를 작성한다. 한편 설계자는 설계 검증표를 작성한다. 이렇게 작성된 3개의 검증표를 이용하여, 설계 단계에 포함되어 있는 폴트를 검출한다. 마지막으로 Case study를 통하여 제안한 검증방법의 유효성을 평가하였다.

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

제품 라인은 재사용을 위한 연구 방법으로 널리 인식되어 왔다. 제품 라인에서 대표적인 중요 자산은 소프트웨어 컴포넌트이다. 그러나, 제품 라인에 대한 많은 관심에 비해 제품 라인에서 컴포넌트 구조 및 스펙에 대한 연구는 아직 미흡하다. 본 논문은 제품 라인에서 가변성(variability)을 반영한 컴포넌트 구조와 컴포넌트 스펙 방법을 제시한다. 본 논문은 FORM(Feature-Oriented Reuse Method)을 기반으로 제품 라인 컴포넌트의 정적 및 동적 구조, 제품 라인 컴포넌트의 행동 및 동시성 정보를 기술한다. 제품 라인 컴포넌트 스펙에 대한 각 정보는 블랙박스(black-box)와 화이트박스(white-box) 형태로 구분되어 기술되며 각 스펙 정보는 BNF로 정형화된다. 그 스펙들이 제품 라인 컴포넌트의 많은 서로 다른 특징의 충분한 고려를 통해 기술되기 때문에 본 논문은 제품 라인에서 컴포넌트의 손쉬운 개발을 돕고 제품라인 공학 방법론의 적용 방법을 잘 이해하도록 돕는다.

• 한국정보처리학회논문지
• /
• 제7권5S호
• /
• pp.1629-1637
• /
• 2000

With wide spending the Internet and Web techniques, we have recognized the necessary and commercial-value of electronic commerce system. Electronic commerce(EC) means the whole economical activities based on electronic medium. Both scalability and flexibility are fundamental attributes of EC system and interoperability among heterogeneous systems must be supported. So, for successful a developing of EC system, it is necessary to apply the CBD (Component Based Development) based on component assembling and customization. In this paper, we propose the method for identifying and specifying the components to construct the component based electronic commerce system. To do, we define the component/system architecture specified on EC domain, identified and classified the EC components with hierarchy relationship. Also, we suggested the specification notation and some examples.