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

검색결과 70건 처리시간 0.056초

AOP를 이용한 신뢰성 있는 서비스 어플리케이션의 SOA 기반 프레임워크 (A SOA based Framework Using AOP for Reliable Service Applications)

  • 김은선;이재정;이병정
    • 한국IT서비스학회지
    • /
    • 제10권2호
    • /
    • pp.223-234
    • /
    • 2011
  • Loosely coupled properties of SOA(Service Oriented Architecture) services do not guarantee that service applications always work properly. Service errors may also influence other services of SOA. These characteristics adversely affect software reliability. Therefore, it is a challenge to effectively manage system change and errors for operating services normally. In this study, we propose a SOA based framework using AOP(Aspect Oriented Programming) for reliable service applications. AOP provides a way to manipulate cross-cutting concerns such as logging, security and reliability and these concerns can be added to applications through weaving process. We define a service specification and an aspect specification for this framework. This framework also includes service provider, requester, repository, platform, manager, and aspect weaver to handle changes and exceptions of applications. Independent Exception Handler is stored to exhibited external Aspect Service Repository. When exception happened, Exception Handler is linked dynamically according to aspect rule that is defined in aspect specification and offer function that handle exception alternate suitable service in systematic error situation. By separating cross-cutting concerns independently, we expect that developer can concentrate on core service implementation and reusability, understanding, maintainability increase. Finally, we have implemented a prototype system to demonstrate the feasibility of our framework in case study.

프로그램 개발 및 유지보수를 지원하는 횡단관심사 명세 기법 (Specification of Crosscutting Concerns to Support Program Development and Maintenance)

  • 박옥자;유철중;장옥배
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제34권9호
    • /
    • pp.773-784
    • /
    • 2007
  • 관점지향 프로그래밍은 기존의 소프트웨어 개발 방법론으로 해결하기 어려운 횡단관심사를 모듈화 하는데 목적을 두고 있다. 초기 관점지향 프로그래밍은 프로그램 개발 단계에 초점을 맞추어 발전하다가 최근에는 요구사항 분석 및 설계부터 코드 구현 단계까지 전체 프로세스에 관점지향 프로그래밍 방법론을 적용하고자 많은 연구가 이루어지고 있다. 하지만, 관점지향 프로그래밍에서 필요한 교차점, 결합점, 충고 정의를 위한 표준화된 지침 및 명세가 없어 프로그램 개발 및 유지보수를 어렵게 하고 있다. 본 논문에서는 이와 같은 문제점을 해결하기 위하여 관점지향 프로그래밍 개발 및 유지보수를 지원하는 횡단관심사 명세 기법을 제시한다. 관심사 명시, 관심사 설계, 그리고 코드 구현 세 단계로 이루어지는 명세 단계는 요구사항 분석 단계에서 얻어지는 횡단관심사 정보를 코드로 개발할 수 있도록 단계별 지침을 제공한다. 명세 과정의 각 단계에서는 전체 횡단 관심사 목록, 횡단관심사 명세서, 애스펙트 클래스 참조 테이블, 핵심 클래스 참조 테이블을 구축하여 코드 개발 및 유지보수시 프로세스간의 추적 자료로 사용된다. 본 논문의 명세 기법은 관점지향 프로그래밍에서 해결하기 어려운 구현의 문제점, 프로그램 이해의 어려움, 재사용의 문제점을 해결함으로써 시스템 개발을 지원한다.

애스펙트와 목표의 결합정보 중심 애스펙트 명세 기법 (A Specification Technique for Aspects Focusing on Join Information Between Aspects and Targets)

  • 최윤석;정기원
    • 정보처리학회논문지D
    • /
    • 제15D권5호
    • /
    • pp.669-680
    • /
    • 2008
  • 로깅이나 보안 등과 같은 횡단관심사를 효과적으로 모듈화하고 적용하는 관점지향 프로그래밍에 대한 다양한 연구가 진행되고 있다. 그러나 횡단관심사를 모듈화 한 애스펙트의 정보 및 애스펙트와 목표의 결합 정보를 명세하는 기법에 대한 연구가 필요한 상황이다. 본 논문에서는 애스펙트와 목표 모듈의 결합 관계를 명확히 하는 애스펙트 명세 기법을 제안한다. 제안한 기법은 애스펙트 명세, 우선순위 결정, 결합정보 명세, 그리고 교차점 명세 단계를 수행하여 애스펙트 정보를 명세한다. 애스펙트와 목표 모듈 사이의 결합 관계를 표현하는 결합정보 매트릭스를 기술하며, 결합점의 공통성을 분석하여 교차점 명세서를 기술한다. 제안한 명세기법은 애스펙트 및 애스펙트와 목표 모듈의 결합에 대한 구체적인 정보를 제공하며, 이를 통해 애스펙트 구현에 필요한 상세한 정보를 사용할 수 있다.

이벤트 상관 기반의 네트워크 관리 시스템을 위한 복합 이벤트 모델의 설계 (The Design of an Extended Complex Event Model for the Event Correlation Based Network Management Systems)

  • 이기성;이창하;이찬근
    • 한국정보과학회논문지:정보통신
    • /
    • 제37권1호
    • /
    • pp.8-15
    • /
    • 2010
  • 본 연구에서 우리는 복합 이벤트(complex event)와 관점지향 프로그래밍(aspect-oriented programming)을 함께 고려하여 확장된 복합 이벤트 모델을 제시한다. 우리는 이 두 모델의 통합을 통해 이벤트 상관 기반의 네트워크 관리 시스템에 적합한 진보된 이벤트 명세 방법을 제안한다. 구체적으로, 계층적 이벤트 구조를 지원하도록 모델을 확장하고 관점지향 프로그래밍의 교차점(point cut)을 이벤트로 인식하도록 한다. 또한 이벤트 명세를 인스턴스(instance) 단위로 할 수 있도록 이벤트 연산자를 제공하고 시간적 관계를 원활하게 표현할 수 있도록 한다. 마지막으로 다른 이벤트 모델과의 비교를 통해 본 이벤트 모델의 장점을 제시한다.

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

COM 환경에서의 IMT-2000 NMS 에이전트 Aspect Interface Specification 모델링을 위한 I-Farmer Model 변형 알고리즘 (The I-Farmer Model Transformation Algorithm for Aspect Interface Specification Modeling of IMT-2000 NMS Agent at COM Environment)

  • 박수현
    • 한국IT서비스학회:학술대회논문집
    • /
    • 한국IT서비스학회 2002년도 추계학술대회
    • /
    • pp.444-450
    • /
    • 2002
  • 실세계의 사물을 다중측면에 의하여 분석한 후 개체노드, 측면개체노드, 균일성 개체 및 다중화 추상화라는 여러 개념을 이용하여 디자인할 수 모델인 I-Farmer 모델의 구현 방안을 제시하였다. 컴포넌트는 컴포지션에 의한 소프트웨어 블록 재사용성을 제공하며 컴포넌트는 이들의 수행하는 기능에 대한 명세를 나타내는 인터페이스 명세 모델이 반드시 필요하게 된다. 본 논문에서는 I-Farmer 모델링 방법론에 의하여 디자인되어진 시스템을 컴포넌트 기반개발의 인터페이스 명세 모델로의 변형(transformation) 메카니즘인 ITI 알고리즘 및 CORBA / JAVA RMI COM IDL과의 상호관련성을 제시한다.

  • PDF

Transformation Methodology : From the Farmer Model To Component Interface meta Model

  • Park, Soo-Hyun;Min, Sung-Gi;Kim, Tai-Suk
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 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.

  • PDF

Aspect DEVS 검증 틀을 이용한 소프트웨어 정형 검증 방법론 (Software Formal Verification Methodology using Aspect DEVS Verification Framework)

  • 최창범;김탁곤
    • 한국시뮬레이션학회논문지
    • /
    • 제18권3호
    • /
    • pp.113-122
    • /
    • 2009
  • 사용자가 요구하는 기능과 특성에 대한 다양한 요구사항은 소프트웨어를 점점 더 복잡하게 만들고 이를 검증하고 검사하는 것은 어려운 문제이다. 게다가 개발된 소프트웨어 코드를 검증하고 검사를 수행하는 과정에서 트레이싱 혹은 로깅 코드를 삽입하는 과정과 검사가 완료되어 삭제하는 과정에서 사용자의 부주의로 버그가 삽일될 수 있는 문제점도 발생한다. 본 논문은 소프트웨어 개발 과정 중에서 검증 및 검사 과정을 지원할 수 있는 Aspect DEVS 검증 틀을 제시한다. Aspect DEVS 검증틀은 관점 지향 프로그래밍 기법을 사용하여 이미 구현되어 있는 소프트웨어와 사용자는 요구사항을 만족하는 지를 확인하는 동시에 소스 코드에 테스팅 코드를 삽입할 때 발생하는 문제들을 해결한다. Aspect DEVS 검증틀을 사용한 검증의 첫 번째 단계는 관찰 대상을 관점 지향 프로그래밍 기법을 사용하여 명세한 하고, 사용자의 요구사항을 DEVS 다이어그램을 명세한 후 이를 DEVSIM++로 구현한다. 마지막으로 프로그램의 수행 과정 중에서 발생하는 이벤트들을 대상으로 구현한 DEVS 모델의 이벤트 입력으로 넣어 소프트웨어가 사용자의 요구사항을 만족하는 지를 검사함으로써 검증 과정 중에 대상 소프트웨어의 수정 없이 검증 및 검사를 수행할 수 있다.

공공부문 도입서버의 최소코어수 적용에 관한 고찰 (On the Application for Minimum Server Cores in Public Sector)

  • 이태훈;나종회
    • 디지털융복합연구
    • /
    • 제9권3호
    • /
    • pp.213-223
    • /
    • 2011
  • 오늘날 공공부문의 정보시스템 조직은 정보자원관리의 중요성을 인식하고 정보자원의 관리를 강화하고 있다. 이들 정보자원관리의 핵심대상 중 하나가 서버 성능관리로 서버구매, 운영, 유지보수 등 전 생명주기 동안 중요하게 관리되어야 한다. 한편, 공공부문의 서버도입이나 구매 시 최소코어수 지정은 도입서버 성능 뿐만 아니라 도입과 운영비용에 매우 큰 영향을 미치게 되므로 다양한 요소를 고려하여 최적의 개수를 지정하는 것이 필요하다. 본 연구는 이러한 도입서버의 최소 코어수 지정에 대한 연구로써 정부통합전산센터의 장비도입 사례를 통해서 공공부문 정보화사업에서의 도입장비 관련 주요이슈와 문제점을 분석하였다. 또한 이에 대한 해결방안으로 비용, 환경 그리고 기술 등 3가지 관점에서 최소 코어수 지정을 위한 고려요소와 적용방안을 제시하였다.

컴포넌트 상호작용 명세기법 (The Specification Techniques of Component Interactions)

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