• 제목/요약/키워드: Component Specification

검색결과 270건 처리시간 0.029초

XML 을 이용한 Aspect 기반 소프트웨어 컴포넌트 명세 (Specification of aspect-based software component using XML)

  • 이승형;송영재
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
    • /
    • pp.405-408
    • /
    • 2005
  • 현재 컴포넌트 기반 소프트웨어 엔지니어링의 접근은 소프트웨어 컴포넌트 인터페이스 디자인과 실행에 중심을 둔 경향이다. 컴포넌트 기반 소프트웨어 개발을 하기 위하여, 전체 시스템을 분석하는 것은 복잡하고, 이해하기 어렵다. 이를 위하여 aspect 기반 컴포넌트 개발방법을 도입한다. Aspect 기반 개발에서는 필요로 하는 컴포넌트를 표현하기 위하여 provide 와 require 를 사용한다. 또한 Aspect 기반 컴포넌트 엔지니어링을 위하여 컴포넌트 사이의 provide/require 서비스에 대한 분류와 추론을 위하여 다른 컴포넌트와 함께 이용할 수 있는 방법을 제안한다. 이 방법은 개발자들은 전체 시스템 개발을 위해 필요로 하는 적합한 컴포넌트의 provide/require 을 사용하여 접근하기 때문에 컴포넌트 검색, 합성, 재사용에 도움을 줄 수 있다. 컴포넌트 aspect 정보의 확장을 위하여 XML 문서 포맷을 사용함으로써 서로 다른 환경에서도 사용할 수 있도록 명세 하였다.

  • PDF

강건한 안드로이드 어플리케이션 개발을 위한 실행시간 인텐트 명세 검사 기법 (A Runtime Inspection Technique with Intent Specification for Developing Robust Android Apps)

  • 고명필;최광훈;창병모
    • 정보과학회 논문지
    • /
    • 제43권2호
    • /
    • pp.212-221
    • /
    • 2016
  • 안드로이드 앱의 액티비티, 서비스, 브로드캐스트 리시버와 같은 컴포넌트에 부적절한 인텐트를 전달하면 비정상적으로 종료되는 인텐트 취약점 문제가 빈번하게 발생한다. 이 논문은 안드로이드 컴포넌트가 기대하는 인텐트 명세를 개발자가 직접 기술하고, 실행시간에 이 컴포넌트에 전달된 인텐트를 검사하여 인텐트 취약점을 방지하는 방법을 제안한다. 인텐트 유효성을 검사하는 여러 조건문이 실수로 누락되거나 다른 코드와 섞여 유지 보수하기 어려운 점을 이 논문에서 제안하는 인텐트 명세를 선언함으로써 해결할 수 있다. 7개의 안드로이드 앱에 대해 제안한 방법을 적용한 실험 결과 인텐트 명세 기반 실행시간 검사 방법을 통해 앱의 비정상 종료를 방지할 수 있었다.

UML를 이용한 컴포넌트 버전 제어 시스템 설계 (A Design Version Control System of Component using UML)

  • 김홍진;오상엽;김영선
    • 한국컴퓨터정보학회논문지
    • /
    • 제8권1호
    • /
    • pp.69-75
    • /
    • 2003
  • 소프트웨어의 개발은 생산성을 향상시키기 위해 미리 만들어진 소프트웨어의 컴포넌트를 이용한다. 컴포넌트의 재사용은 소프트웨어 개발비용을 절감하고 개발기간을 단축시킬 수 있다. 소프트웨어 개발에서 컴포넌트를 재사용함으로써 소프트웨어 설계에서 구현까지의 위험요소를 최소화시킬 수 있는 것이다. 소프트웨어를 구현하기 위한 기술로 UML을 도입하여 컴포넌트에 대한 명세를 버전으로 관리하여 재사용의 효율성을 높일 수 있는 방법을 버전 제어 시스템을 통해서 제시하고자 한다. 본 연구의 특징은 UML을 이용하여 컴포넌트의 버전 제어를 통해 소프트웨어 개발시 효율적인 재사용이 될 수 있도록 하는데 그 목적이 있다.

  • PDF

RBAC 보안시스템에서 관계관리를 위한 관리도구 동작 (The Operation of Administration Tool for Relatinships Management in the RBAC Security System)

  • 오석균;김성열
    • 한국산업정보학회:학술대회논문집
    • /
    • 한국산업정보학회 1999년도 추계공동학술대회 논문집:21세기지식경영과 정보기술
    • /
    • pp.373-377
    • /
    • 1999
  • Role-Based Access Control(RBAC)은 처리과정 오류를 줄이는 것처럼 접근통제 정책의 관리 단가를 낮춰준다. RBAC 개념에서 가장 중요한 요소가 관리도구이다. RBAC 보안시스템을 위한 관리도구는 RBAC 데이터베이스에 저장되어 있는 사용자와 역할 관계를 일관성 있게 유지하여야 한다. 본 논문에서는 사용자-역할과 역할-역할 관계를 관리하기 위한 형식 명세를 제안한다. 제안된 형식 명세는 관계 집합처럼 정의된 RBAC 데이터베이스를 위해 일관성 요구를 유지한다. 본 논문은 동작의 형식 명세화를 함으로써 RBAC 관리도구의 구현을 쉽게 이끌어 낼 수 있다.

  • PDF

원격측정명령처리기 릴레이구동 회로 설계 및 구현

  • 김중표;구자춘
    • 항공우주기술
    • /
    • 제3권2호
    • /
    • pp.170-176
    • /
    • 2004
  • 본 연구에서는 원격측정명령처리기의 위성체의 구성 변경을 담당하는 릴레이구동 회로를 구현하고 검증하였다. 먼저 릴레이구동 회로의 규격을 정의하고 정의된 규격을 만족하는 릴레이 구동회로를 설계하였다. 릴레이구동 회로의 설계 검증을 위해 시뮬레이션을 통한 릴레이구동 펄스 전류 및 전압을 확인하였으며 또한 릴레이구동 회로 기능 시험 결과와 시뮬레이션 결과의 비교를 통해 정의한 규격의 릴레이구동 펄스 전류 및 전압을 제공하는지 확인하였다. 또한 각 소자의 허용오차 값을 고려한 최악조건해석을 통해 안정적으로 릴레이를 구동할 수 있음을 확인하였다.

  • PDF

LED 백라이트유닛(BLU)의 국내외 표준화 (The National and International Standards of LED BLU)

  • 조미령;전상규;신상욱;이세현;노재엽;최석준;황명근;;양승용
    • 한국조명전기설비학회:학술대회논문집
    • /
    • 한국조명전기설비학회 2008년도 춘계학술대회 논문집
    • /
    • pp.222-224
    • /
    • 2008
  • BLUs(Backlight Units) are major component in LCD(Liquid Crystal Display) industry which occupies 90% or more of worldwide FPD(Flat Panel Display) market. And BLU market is expected to be expanded continuously according to the trend of miniaturization, slimness, low power consumption and low weight. The larger the BLU market scale, the more important standardization of performance evaluation techniques to clearly prescribe the product specification. This document is a generic specification of measurement methods of LED BLU for LCDs. It defines general procedures for quality assessment and gives general rules for measuring methods of LED BLU for LCDs.

  • PDF

XML/PKI기반의 전자세금계산서 시스템 구현 (The Implementation of A XML/PKI based Digital Tax Invoice System)

  • 김진철;오영환
    • 한국IT서비스학회지
    • /
    • 제3권2호
    • /
    • pp.85-98
    • /
    • 2004
  • As the e-Commerce based on the XML technology is getting bigger, user authentication, integrity, non-repudiation and confidentiality has become important for security. Since the XML technology is widely used for exchanging information among the Internet e-business systems, the security of XML documents is essentially required and XML digital signature should be supported. To support the digital signature of XML documents, W3C proposed the XML-Signature specification as an international standard that describes five transform algorithms. In this paper, we design and implement a XML/PKI based digital tax invoice system. Our system supports the five transforming algorithms defined in the XML-Signature specification and exchanges digital tax invoices among enterprises securely. We design and implement the flexible and efficient system consists of reusable components using CBD(Component Based Development).

A TINA-Based Component Modeling for Static Service Composition

  • Shin, Young-Seok;Lim, Sun-Hwan
    • Journal of information and communication convergence engineering
    • /
    • 제2권1호
    • /
    • pp.40-45
    • /
    • 2004
  • This paper describes a modeling of service composition manager based on TINA (Telecommunication Information Networking Architecture). The Service composition function is mainly motivated by the desire to easily generate new service using existing services from retailers or $3^{rd}$-party service providers. The TINA-C specification for the service composition does not include the detailed composition procedure and its object models. In this paper, we propose a model of components for the service composition, which adapts a static composition feature in a single provider domain. To validate the proposed modeling, we implemented prototype service composition function, which combines two multimedia services; a VOD service and a VCS service. As a result, we obtain the specification of the detailed composition architecture between a retailer domain and a $3^{rd}$-party service provider domain.

Applicable SIB에 의한 IMT-2000 분산 망관리 에이전트의 인터페이스 스펙 모델링 (Interface Specification Modeling for Distributed Network Management Agent of IMT-2000 Based on Applicable Service Independent Building Blocks)

  • 박수현
    • 한국IT서비스학회지
    • /
    • 제1권1호
    • /
    • pp.119-139
    • /
    • 2002
  • It is noteworthy that IMT -2000 communication network based on All-HP/AIN(Advanced Intelligent Network) should accomodate current and future wire/wireless AIN service easily through integration and gearing AIN construction elements. In this paper. Intelligent Farmer model(I-Farmer Model) and methodology are suggested in order to solve the several problems including standardization on implementation of Q3 interface in Telecommunication Management Network(TMN) agents which is caused by heterogeneous platform environment and future maintenance. Also this paper proposes ITI algorithm transforming the system which is designed by I-Farmer model to Interface Specification Model(ISM) applying the I-Farmer model. In addition to ITI algorithm. we suggest NTS(Node to SIB) algorithm converting entity node and ILB/OLB component in agent system designed by the I-Farmer model to SIB of AIN GFP(Global Functional Plane) and to ASIB for application program.

Grid Coverage Component Development Reusing Existing Grid Coverage Components

  • Kim, Hong-Gab;Lim, Young-Jae;Kim, Kyung-Ok
    • 대한원격탐사학회:학술대회논문집
    • /
    • 대한원격탐사학회 2003년도 Proceedings of ACRS 2003 ISRS
    • /
    • pp.1105-1107
    • /
    • 2003
  • Remote sensing data processing and analysis system can be developed based on the Grid Coverage Specification and this kind of system is also can be easily interoperate with GIS systems conforming OpenGIS specification. This paper proposes a method to implement easily and quickly the new grid coverages that provide new operations, or services, by reusing the existing grid coverage components, which is based on the fact that the pipeline constructed by grid coverages can be represented in one grid coverage. This method complements easily the deficiency of the existing grid coverage components and enables quick implementation of the new grid coverage that provides complex processing operations.

  • PDF