• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 추계학술발표대회
• /
• pp.597-600
• /
• 2014

컴퓨터 시스템의 병렬, 분산, 이동, 실시간 적인 시스템들을 명세하기 위한 여러가지 정형기법들이 존재한다. 본 논문에서는 이동 실시간 시스템의 명세를 위한 정형기법으로서 ${\delta}-Calculus$ 를 정의하였다. ${\delta}-Calculus$ 의 가장 큰 특징은 프로세스의 이동성으로써 시간의 흐름에 따라 프로세스 간의 상호작용을 통해 프로세스가 이동하는 것을 표현할 수 있다. ${\delta}-Calculus$ 를 사용하여 프로세스의 이동성을 표현함으로써 시스템의 공간정보와 시간정보를 명세하고, 프로세스의 상태에 따른 보안적 특성을 나타낼 수 있다. 본 논문에서는 ${\delta}-Calculus$ 의 문법과 의미를 설명하고 이동성에 의한 특성을 분석하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권11호
• /
• pp.1001-1014
• /
• 2003

빠르게 변화하는 시장의 요구에 대응하고자 특정 영역에 속하는 애플리케이션 간의 재사용을 높이려는 프로덕트 라인 개발 방법에 대한 연구가 활발하게 진행되고 있다. 프로덕트 라인 개발 방법에서는 영역 내의 여러 애플리케이션들 간의 차이점과 공통점을 분류하는데 피쳐 모델링이라는 분석 방법을 주로 사용하고 있다. 기존 피쳐 모델링에서는 피쳐를 비정형적으로 명세화하기 때문에 모호성, 이해의 오류, 잘못된 해석 등의 문제가 발생하고 있다. 피쳐를 추상화하여 도메인에 독립적인 메타 모델로 나타내고 정형화 기법을 도입하여 명세화 한다면 기존의 피쳐 모델에서 발생하는 문제점들을 해결할 수 있을 것이다. 따라서 본 논문에서는 첫째, 메타 수준에서의 피쳐 모델링을 통하여 피쳐의 구조와 속성을 정의한 후 다중 패러다임 정형화 명세 언어를 사용하여 피쳐를 명세화하는 기법을 제시하였다. 둘째, 피쳐에 대한 정형화 명세 프로세스를 기술하였으며, 셋째, 명세화된 피쳐들 간에 발생할 수 있는 문제점들을 해결하기 위한 피쳐 상호작용 관리기법을 정의하였다. 그리고 마지막으로, 제시된 피쳐의 정형화 명세 기법을 분산 미팅 스케줄러 시스템에 적용시켜보았다.

• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.705-714
• /
• 2001

오늘날의 컴퓨팅 시스템은 인터넷을 사용하여 비즈니스 거래와 분산 업무 처리로 확대되어가고 있으며 정보 기술은 점차적 으로 재사용성과 독립성 그리고 이식성을 가진 컴포넌트를 기반으로 한 응용 개발이 확산되고 있다. 컴포넌트 개발 형태는 코드의 재사용이나 클래스 라이브러리보다 좀 더 발전된 형태의 부품개발 형태로서, CBD(Component Based Development)를 기초로 한다. 그러나, CBD를 이용하여 새로운 컴포넌트를 구축하는 비용의 증가와 함께 비즈니스 요구사항에 맞는 컴포넌트 개발을 위한 노력이 필요하다. 또한 빠르고 정확한 컴포넌트 정보를 웹 상에서 지원할 수 있도록 시스템 측면에서 정규화 형태의 컴포넌트 모델이 요구되고 있다. 본 논문에서는 사용자의 요구사항에 접근하고 웹 상에서 빠르고 신속하게 어플리케이션이 개발되는데 목적을 두고 있다. 네트워크상에서 비즈니스 도메인을 기반한 가장 소규모 단위의 분산 컴포넌트를 대상으로 인터페이스 명세를 제공한다. 컴포넌트 내부와 외부 관계를 담고 있는 명세는 사용자의 요구 사항을 정확하게 분석되도록 구성하며 이러한 명세는 비즈니스 도메인에서 재사용 가능한 정보 크기인 EJB(EnterpriseJavaBean)로 서블릿 시스템 내에서 세션과 엔티티 형태의 정보로 나누어 저장된다. 비즈니스 컴포넌트를 제공하기 위한 질의를 사용하여 비즈니스 컴포넌트를 이용할 수 있으며, 시스템은 차후에 등록, 자동 재배치, 조회, 테스트, 그리고 다운로드하여 컴포넌트를 제공받을 수 있는 환경 구축을 목표하며 이는 컴포넌트 재사용성을 증대시키며 비용을 절감하고 사용자가 분산 컴포넌트를 쉽게 사용할 수 있도록 하는데 목적을 둔다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.130-132
• /
• 2002

NATM(Network Abstract Timed Machine)은 통신 네트워크와 같이 다양한 형태의 시스템을 기술하는데 사용되고 크고 복잡한 네트워크에 대해서 요구사항을 만족하도록 설계된 모델링 언어이다. NATM은 기존의 네트워크 설계 언어에서 기술하기 어려운 다양한 형태의 네트워크 표현과 네트워크를 고정 네트워크 환경과 무선 네트워크 환경으로 나누어 유/무선 네트워크 환경을 명세 할 수 있다. 본 논문에서는 NATM의 다양한 네트워크 환경에서의 여러 Component들을 기술하고 이 Component 속성들을 예제를 통해서 살펴본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.421-423
• /
• 2001

분산 웹 애플리케이션에 대한 관심도의 증가에 따라 서버측 컴포넌트 모델인 엔터프라이즈 빈즈가 많이 사용되고는 있지만 소프트웨어의 정확성과 견고성의 향상을 위한 노력은 미비한 실정이다. 본 논문에서는 소프트웨어의 정확성과 견고성을 높여줄 수 있는 Design By Contracts 접근법을 이용하여 엔터프라이즈 빈즈를 명세하는 방법을 제안하고자 한다. 이와 같이 엔터프라이즈 빈즈 개발에 Design By Contrails 접근법을 적용한다면 소프트웨어의 정확성과 견고성면에서 보다 진보적인 효과를 기대할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
• /
• pp.150-152
• /
• 2000

현재 분산객체 시스템 아키텍쳐의 표준으로 제정된 CORBA 명세에는 부하분산에 대한 기술 표준이 정의되어 있지 않다. CORBA 시스템의 부하분산 기능의 부재는 특정서버 객체에 대한 과부하 및 클러스터 내 특정서버의 과부하를 초래한다. 기존에 제안된 CORBA 부하분산 기법들은 ORB 호환성 저해, 코드수정 필요성, 주기적인 부하보고에 따른 네트워크 부하가중 등의 문제점들을 가졌다. 본 논문은 기존 부하분산 기법들의 문제점을 해결하기 위해 인터셉터를 이용한 CORBA의 부하분산 아키텍쳐 및 구현기법을 제안한다. 제안된 CORBA 부하분산 아키텍쳐는 인터셉터의 이용으로 CORBA 시스템의 호환성을 유지하며 CORBA의 수행방식을 바꾸어 부하분산기능을 가진다. 제안된 시스템에서 서버의 부하보고는 CORBA의 이벤트 서비스를 이용하여 구현하여 기존 부하분산 기법의 주기적 부하보고의 문제점을 해결하였으며 부하분산시스템 자체의 부하분산 및 고장 감내성을 제공하는 장점을 가진다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.22-24
• /
• 2003

최근 웹 확산에 따른 일반인들의 인터넷 이용이 급증하였고 이에 따른 정보 기술도 빠르게 변화하고 있다. GIS 분야에서도 시대의 흐름에 맞춰 공간 데이타를 웹상에서 제공하는 웹 GIS 분야가 등장하게 되었다. 그러나, 상호이질적인 공간 데이타를 웹 기반 분산 환경에서 서비스하기 위해 표준 인터페이스와 각각의 웹 서비스 모델을 정의한 통합 시스템이 요구되고 있다. OGC에서는 기존 OPenGIS의 상호운용성을 웹 환경에서 지원하고, 또한 피쳐 인스턴스 단위의 지리정보를 접근하기 위해 새로운 웹 피쳐 서비스 구현 명세를 제안하였다. 웹 피쳐 서비스 구현 명세에서는 클라이언트로부터 HTTP를 통하여 요청된 공간.비공간 질의를 처리하기 위한 URL 컴포넌트를 정의하고 있다. 이 컴포넌트는 클라이언트 질의를 수행하여 피쳐 인스턴스 단위로 데이타를 검색 및 조작하고, 검색된 데이타는 GML로 정의하여 클라이언트로 제공한다. 본 논문에서는 OGC가 제안한 XML 기반의 표준 공간 데이타 포맷인 GML과 웹 피쳐 서비스 인터페이스를 이용해 분산된 지리정보 데이타를 웹 브라우저를 통하여 서비스할 수 있는 웹 피쳐 서비스 시스템을 설계 및 구현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.379-381
• /
• 1999

ODBC가 가지는 제한을 극복하고 컴포넌트 기술을 적용하기 위해, OLE DB라는 새로운 데이터 접근 기술이 개발되었다. OpenGIS에서는 공간/비공간 데이터의 상호운용을 지원하기 위해 데이터 모델의 표준으로 추상 명세를 제안하고, 구현 기술로써 OLE DB를 제안하고 있다. 본 논문에서는 Gothic, MGE를 대상으로 하여 OpenGIS OLE/COM 구현명세중 핵심이 되는 OpenGIS 공간데이터 제공자를 설계, 구현하였다. 또한 기존의 OpenGIS 관련 논문과는 달리 두 개의 GIS 서버를 대상으로 하여 상호운용성을 검증하였다. 본 논문에서 제시한 공간 데이터 제공자는 서로 다른 GIS S/W에 분산 저장된 공간 데이터의 접근을 가능하게 해 주기 때문에 분산환경에서 컴포넌트화된 GIS소프트웨어 개발에 활용될 수 있을 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.1065-1067
• /
• 2015

시스템 모델링은 규모와 크기에 따라서 방법이 모두 다르며, 시스템 요구사항에 따라서 설계를 하는 방법이다. 하지만 현재까지의 기법은 개별적인 방법만 고려했기 때문에 시스템 요구사항의 모든 것을 적용하기 어려운 단점이 있다. 따라서 요구사항에 따른 시스템의 완성도를 높이기 위해서는 복합적인 모델링 방법의 접근이 필요하다. 본 논문에서는 절차지향 및 객체지향 모델링 방법에 대한 접근을 통합 할 수 있는 DEVS기반 하이브리드 모델링 기법에 대해 제안한다. 제안하는 기법은 프로세스와 객체와의 관계를 계층형으로 구조화 시킬 수 있으며, 수학적 명세가 가능하다. 또한, 하이브리드 모델링의 시뮬레이션을 위한 분산처리 환경에서 DEVS 기반 하이브리드 시뮬레이션에 대해 제안을 한다. 제안하는 모델을 통해서 복잡한 시스템에 대한 명세와 검증이 가능하다.

• 한국지능시스템학회논문지
• /
• 제15권2호
• /
• pp.211-223
• /
• 2005

오늘날의 소프트웨어 개발 형태는 CBD(Component Based Development)를 기초로 한다. 그러나 CBD를 이용하여 새로운 컴포넌트를 구축하기 위해서는 많은 비용으로 인해, 저비용의 빠르고 정확한 컴포넌트 정보를 웹상에서 지원할 수 있는 컴포넌트 모델이 요구되고 있다. 본 논문에서는 사용자의 요구사항을 충족하는 애플리케이션을 웹상에서 신속하게 개발하는데 목적을 두고 있으며, 네트워크상에서 비즈니스 도메인을 기반으로 한 가장 소규모 단위의 분산 컴포넌트를 대상으로 인터페이스 명세를 제공하고자 한다. e-BCOS(e-Business Component System)은 사용자가 분산 컴포넌트를 등록하고 검색할 수 있는 에이전트 시스템으로서 재사용성을 증대시키고 사용자가 쉽게 컴포넌트에 관한 정보를 얻고 이해할 수 있도록 해준다. 또한 명세의 공유와 유통을 원활히 하기 위해서 XML(eXtensible Markup Language)로 명세를 표현하여 사용자의 다양한 욕구를 충족시키도록 한다.