• Title/Summary/Keyword: C++ 컴포넌트

검색결과 118건 처리시간 0.035초

FSP Model을 이용한 C&C View 아키텍처의 검증 (An Approach to Verifying C&C View Architecture with FSP Modeling)

  • 김정호;강성원
    • 한국IT서비스학회:학술대회논문집
    • /
    • 한국IT서비스학회 2006년도 추계학술대회
    • /
    • pp.177-184
    • /
    • 2006
  • 시스템의 동적 요소를 기술하고 분석하기 위해 C&C view 아키텍처를 주로 사용하지만 시스템의 실행 순서나 상태에 대한 정보가 부족하기 때문에 단지 C&C view 아키텍처로만 시스템의 동적 요소를 분석하기가 어렵다. FSP model은 시스템의 동작을 표현하기 위한 모델링 언어로써 시스템의 동작을 모델링 할 뿐만 아니라 LTSA라는 FSP 검증 툴을 이용하여 시스템의 특성을 자동으로 파악하기에도 용이한 특성을 가지고 있어 시스템 동적 요소 분석에 도움을 준다. 하지만 관련 정보를 얻기 어려워 FSP model을 구현하는데 어려움이 있다. 이 논문은 C&C view 아키텍처와 요구 사항(Use Case Scenario 혹은 Sequence diagram)을 근간으로 시스템의 동적 요소를 FSP로 모델링 하는 방법을 정의한다. 또한 LTSA 툴을 이용하여 자동적으로 시스템의 특성을 검증할 수 있고, 이를 통해 시스템 구현 전에 시스템의 에러를 찾아내고 해결하는 도움을 줄 수 있다. C&C view 아키텍처는 시스템의 컴포넌트와 커넥터에 대한 정보를 제공하여 주고 요구 사항은 소프트웨어 시스템의 행동에 대한 정보를 제공하여 줄 수 있다. 만약 우리가 컴포넌트와 커넥터에 대한 정보가 있고 시스템 동적 요소에 대해 알고 있다면 우리는 이것을 기반으로 메시지 흐름도를 구현할 수 있다. 메시지 흐름도는 Harel, Kugler 와 Pnueli에 의해 개발된 Synthesized 알고리즘을 이용하여 Statechart로 만들어지고 이것은 바로 FSP model로 변환될 수 있다. 우리가 소프트웨어 시스템에 대한 FSP model을 가지고 있다면 이것을 기반으로 시스템 행동 특성을 체크할 수 있으며 이는 향후 발생할 수 있는 결함을 미리 찾아내는데 유용한 도움이 될 수 있다. 우리는 간단한 예제를 통해 본 논문의 이론을 수립하였으며 이를 기반으로 실제 어플리케이션에 적용하여 그 효용성을 검증하였다.

  • PDF

MDA/PSM상에서 퍼베이시브 서비스를 지원하는 닷넷 컴포넌트의 명세 및 생성 기법 (A Technique to Specify and Generate .NET Components in MDA/PSM for Pervasive Service)

  • 금득규;김수동
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제34권7호
    • /
    • pp.635-645
    • /
    • 2007
  • 컴포넌트 기술은 재사용 가능한 컴포넌트를 조합하여 효율적으로 소프트웨어 시스템을 개발하기 위한 기술로 정착되어 왔으며, 마이크로소프트의 닷넷은 최근의 대표적 컴포넌트 기술 중의 하나이다. 모델기반 아키텍처(Model Driven Architecture, MDA)는 설계 모델을 점진적으로 변환하여 소프트웨어를 자동으로 생성하는 새로운 개발 방식이다. MDA에서 구조적 모델 변환은 성공적으로 적용되었으나, 동적모델과 퍼베이시브 서비스(Pervasive Services) 특히, 트랜잭션 서비스, 보안 서비스, 동기화 서비스, 객체 풀링 둥과 같은 기능에 대한 모델 변환은 부족하다 엔터프라이즈 애플리케이션 시스템은 다 계층 분산 아키텍처를 가지며 이러한 아키텍처에서 퍼베이시브 서비스는 필수적이다 닷넷 플랫폼은 코드상에서 애트리뷰트(Attribute) 코드를 명시함으로써 이러한 퍼베이시브 서비스를 지원하는 Component Object Model+ (COM+) 컴포넌트를 구현한 수 있다. 본 논문에서는 엔터프라이즈 시스템 개발에서 필수적인 퍼베이시브 서비스의 기능과 닷넷 컴포넌트 생성을 위한 요소를 명세화하여, 이를 UML 프로파일로 정의한다. 또한, 정의된 프로파일을 이용하여 .NET/C#용 플랫폼 종속적 모델(PSM)을 명세한 후 도구를 이용하여 코드를 자동 생성하는 기법을 제안한다. 본 논문에서 정의된 UML 프로파일은 Meta Object Facility(MOF)를 준수한 UML 도구 및 MDA 도구에서 사용이 가능하다. 또한, 제안한 방법을 사용할 경우 퍼베이시브 서비스 기능을 지원하는 .NET 컴포넌트를 쉽게 자동 생성할 수 있으며 높은 개발 생산성, 확장성, 이식성 및 유지보수성을 증가시킬 수 있다.

C&C 아커텍처 기반의 객체지향 설계 (Developing Object Oriented Designs from Component-and-Connector Architectures)

  • 박형일;강성원;최윤석;이단형
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제34권4호
    • /
    • pp.317-327
    • /
    • 2007
  • 본 논문에서는 컴포넌트와 커넥터 아키텍처로부터 세부적인 객체지향 설계를 개발하는 체계적 인 방법을 제안한다. 제안된 방법은 아키텍처 모델에서 세부설계모델을 도출하는 과정에 중간모델을 도입하여,두 모델간에 놓여 있는 추상화 수준의 격차를 줄임으로써 세부 설계도출을 용이하게 한다. 본 논문에서는 제안된 방법의 효과를 검증하기 위하여 제안방법을 산업계의 소프트웨어개발과제에 적용하고 컴포넌트와 커넥터 아키텍처가 지원하는 품질속성들이 궁극적으로 세부 설계에서도 보전되고 있음을 확인한다.

애니메이션 컴포넌트의 시간적 스크립트로부터 SMIL 문서 생성 알고리즘 (An Algorithm to generate SMIL Documents from Temporal Scripts of Animation Component)

  • 하얀
    • 정보처리학회논문지B
    • /
    • 제10B권1호
    • /
    • pp.111-118
    • /
    • 2003
  • 멀티미디어 내용을 웹에 전달해 주기 위해 W3C에서 제안한 SMIL은 현재 널리 사용되고 있으며, 이와 관련된 소프트웨어가 속속 등장하고 있다. 따라서, 본 연구는 시간의 흐름에 따른 상호작용 프로그래밍을 하기 위한 컴퓨터 애니메이션 툴 킷인 RASP의 시간 스크립트를 SMIL 문서 형태로 변환해 주는 알고리즘을 제안한다. 이것은 SMIL 문서의 활용가치가 높아짐에 따라 애니메이션 컴포넌트에 대해 재사용 성을 향상시키며, VML의 순서 다이어그램으로부터 SMIL 문서를 생성해 내므로 기존에 제안된 SMIL 문서의 동기화를 위해 생성된 순서 다이어그램을 검증해 주는데, 큰 의의를 갖는다.

초경량 이동 컴퓨팅 환경에서의 보안 컴포넌트 설계 및 구현 (Design and Implementation of the Security Components in Ultra-Lightweight Mobile Computing Environment)

  • 박래영;유용덕;이영석
    • 한국통신학회논문지
    • /
    • 제32권4C호
    • /
    • pp.454-461
    • /
    • 2007
  • 차세대 컴퓨터는 초경량 이동 컴퓨터로서 작은 크기에 휴대하기 편리하고 사용자가 이동 중이라도 주변의 휴대장치들과 통신하여 동적으로 사용자 상황에 맞는 서비스를 제공한다. 사용자 상황에 맞는 서비스를 제공하기 위해서는 사용자나 컴퓨터의 정보를 보호할 수 있도록 보안의 문제점이 해결되어야 하며, 전원 제약적이고, 시스템 제한적인 초경량 이동 컴퓨팅 환경에 맞는 보안 기술이 필요하다. 본 논문에서는 초경량 이동 컴퓨팅 환경에서 효율적으로 운영 가능한 컴포넌트 기반 미들웨어를 소개하고 미들웨어에서 동적으로 적재 및 실행되는 보안 컴포넌트를 설계하고 구현한다. 구현된 보안 컴포넌트는 RC5 알고리즘을 이용한 암호화 기술과 SHA-1 알고리즘을 이용한 인증 기술을 포함한다.

지상시설물 관리를 위한 데이터 수집 및 전송 서비스에 관한 연구 (A study on the Collection and Conveyance Service of the Management Data of Surface Facilities)

  • 이병복;배명남;최병철;이인환;전종암
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2009년도 춘계학술발표대회
    • /
    • pp.1049-1052
    • /
    • 2009
  • 본 논문에서는 센서노드들을 관리 대상이 되는 지상시설물에 부착하여 다양한 사건 및 상황 감지 기능을 가지고 수집한 데이터를 특정 메시지 형식으로 정의하여 IP(Internet Protocol) 네트워크에 연결된 운용자 시스템에 전달하는 센싱 데이터 수집 및 전달 서비스 개발에 관한 사항들을 기술한다. 센싱 데이터 수집 및 전달 서비스는 게이트웨이 시스템에 설치되는 순수 소프트웨어이며, 센서네트워크의 싱크노드로 부터 센싱 데이터를 수집하여 XML 형식으로 구성되어 IP 네트워크에 연결된 운용자 시스템에 전달된다. 또한, 센싱 데이터 수집 및 전달 서비스는 운용자가 요구하는 센서네트워크 제어 서비스 컴포넌트, 센싱 데이터 수집에 관한 특성 변경 서비스 컴포넌트, 센싱 데이터 보고 서비스 컴포넌트, XML 파서/인코더, C-구조체 메시지 파서/인코더 컴포넌트 등의 추가 및 변경이 용이한 유연한 소프트웨어 구조를 갖도록 서비스 로직 개념을 도입하였다.

자동화시스템을 위한 컴포넌트 기반의 통신 Emulate 구현 (The Implementation of Communication Emulate Based on Component For Automation System)

  • 정화영
    • 디지털콘텐츠학회 논문지
    • /
    • 제3권2호
    • /
    • pp.245-254
    • /
    • 2002
  • 현재, 자동화 시스템을 위한 통신분야는 TCP/IP를 기반으로 하는 네트워크 기반 원격제어 부분과 시스템의 각 내부 장치들간의 통신을 위한 간단한 직렬통신으로 나뉠 수 있다. 네트워크의 비약적인 발전에도 불구하고 내부 제어를 위한 통신부분은 현재까지 간단한 RS232기반을 사용하고 있다. 또한, 시스템의 개발기법은 각 기능단위의 모듈러 프로그래밍 기법에서 객체지향 프로그램으로 발전하였으며, 현재는 소프트웨어의 부품단위인 컴포넌트 기반 개발기법으로 발전하였다. 이는, 비즈니스 로직을 포함하는 독립적인 운영단위를 조립하며 새로운 시스템의 개발로 이어지는 기법으로서 소프트웨어 개발기법의 새로운 대안으로 제시되고 있다. 따라서, 본 연구는 컴포넌트 기반의 개발 기법을 적용한 GUI기반의 RS232C에서의 내부통신 Emulate를 구현하였다. 이는, 수신부와 송신부로 나뉘어지는 통신 제어부분을 컴포넌트화 하였으며, 이를 합성함으로서 제어부에서는 송,수신 데이터의 핸들링을 담당하도록 하였다.

  • PDF

Swing 컴포넌트를 이용한 인터넷 기반 공정관리시스템 설계와 구현 (Design and Implementation of Progress Management System Using Swing Component Based on Internet)

  • 김태석;김종수
    • 한국멀티미디어학회논문지
    • /
    • 제13권8호
    • /
    • pp.1163-1170
    • /
    • 2010
  • 본 논문에서는 인터넷을 이용한 원격지 공정관리 시스템을 개발하는데 있어서 유지보수가 용이하고, 기능의 추가가 쉽도록 자바 언어와 GoF 디자인 패턴을 이용한 설계기법을 보인다. 시스템의 구현을 위해 현재 운전되고 있는 설비들의 상태를 파악할 수 있도록 설비 제어 박스에 있는 PLC에 RS232C와 RS422/RS485 통신모듈을 추가하였고, PLC를 통하여 제어되고 있는 정보를 송수신하기 위해 RS232C 통신을 Ethernet으로 변환시켜주는 변환기를 설치하였다. 다계층으로 구성된 시스템을 구현하기 위해 Swing 컴포넌트를 사용하였으며, Applet과 Frame GUI를 동시에 지원하여, 관리자가 인터넷을 통하여 원격지의 작업공정 진도를 쉽게 파악할 수 있도록 하였다. 다계층 구조의 주요 목적은 클라이언트들 간의 자원을 공유하는 것이다. 제안된 시스템은 원격지에서 설비를 제어하기 위한 소프트웨어를 제작하는데 도움을 줄 수 있고, 이와 비슷한 소프트웨어를 제작하려는 개발자에게 기존 코드를 쉽게 재사용하여, 새로운 기능을 쉽게 추가할 수 있다는 장점이 있다.

효율적인 E-Business구축을 위한 EJB기반의 좌석예약 시스템 설계 및 구현 (Implementation and Design of EJB Based on Seat Reservation System for Effective E-Business)

  • 정화영
    • 한국게임학회 논문지
    • /
    • 제2권2호
    • /
    • pp.113-119
    • /
    • 2002
  • 인터넷 기술의 발전과 함께 급진전한 디지털경제는 그 적용분야에 따라 B2B, B2C, A2B등의 많은 부류를 형성하였다. 또한, 고객의 요구사항에 맞추어 전자상거래 시스템 구축기술도 객체지향기반에서 컴포넌트기반의 개발방법으로 도입되고 있으며, 개발환경은 기존의 C/S(Client/Server)환경에서 3-Tier, 웹 기반 아키텍처등으로 변화, 도입되고 있다. 이러한 배경으로 본 논문은 전자상거래에 사용될 수 있는 좌석 예약 및 확인 시스템을 다중서버환경에서 구현하였다. 이는, 분산환경에서 효율성을 높이기 위해 해당 중요 로직은 서버 컴포넌트 모델인 EJB를 활용하였고, Main Server를 위해 Resin Server환경의 Servlet을 이용한JSP와Java를 통하여 구현하였다. 따라서, EJB를 이용한 독립 컴포넌트를 통하여 전자상거래 시스템 로직사이의 독려성을 높였으며, 분산된 EJB서버를 통하여 해당 메소드를 호출함으로써 서버의 부하를 줄이고, 각 로직자원들을 효율적으로 관리할 수 있도록 하였다.

  • PDF

안전한 XML 웹 서비스를 위한 키 정보 서비스 프로토콜에 관한 연구 (A Study on Key Information Service Protocol for Secure XML Web Service)

  • 박남제;문기영;손승원
    • 정보처리학회논문지C
    • /
    • 제10C권6호
    • /
    • pp.769-778
    • /
    • 2003
  • XML 보안 명세 중 하나인 XML 키 관리 명세(XKMS)는 다양하고 복잡한 기능의 웹 서비스 애플리케이션에서 XML 문서의 서명을 검증하거나 암호화하는 공개키의 관리를 위한 프로토콜을 정의한다. 본 논문에서는 XML 표준 명세를 준수하는 XML 키 정보 프로토콜 서비스 모델을 제시하고, 표준에 근거한 프로토콜 컴포넌트의 참조 모델을 구현하였다. 또한 XML 기반 보안서비스 특성에 착안하여 안전한 XML 웹서비스를 위한 키 정보 서비스에 대한 분석과 보안 방안에 대해 기술한다. 프로토콜 컴포넌트는 식별정보가 주어졌을 때, 필요로 하는 공개키 위치와 식별자 정보, 공개키 연결 기능을 제공한다. 구현된 참조 모델은 향후 국내 e-비즈니스 프레임워크 구성 시 표준적인 보안 모델을 구현할 수 있는 지침을 제공할 것이다.