• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 춘계학술발표논문집(하)
• /
• pp.849-854
• /
• 2002

객체지향 기술의 발달과 더불어 분산객체(Distrubuted Object)처리기술의 발달로 많은 연구가 진행되고 있다. 객체지향 방법론과 분산객체 기술을 이용한 컴포넌트 형태로 개발되고 있다. 객체지향방법론과 분산객체 기술은 객체를 가장 기본적인 요소로 파악하며, 객체의 설계와 구현 그리고 미들웨어 상에서 운용에 비중을 두고 있다. 분산 객체 처리를 위한 기본구조로 응용 객체 공통기능, 객체서비스, 객체요구 중개자로 구성된 객체관리구조를 도입하여 OMA의 추상화 객체모델 위에 CORBA를 표준으로 정의하였다. 본 논문에서는 CORBA에서 보안의 표준과 분산 컴퓨팅 플랫폼의 보안 모델들을 참조하여 독립적인 보안 객체들이 보안 기능을 제공하여 응용의 필요에 따라 최적의 보안 메커니즘을 선택할 수 있도록 하며 CORBA 보안서비스 규약에 따르는 분산 컴퓨팅 환경에서의 객체 보안서비스를 제시하며 보안 컨텍스트를 구현하였다.

• Spatial Information Research
• /
• 제5권1호
• /
• pp.77-88
• /
• 1997

본 논문에서는 객체관계형 지리정보 시스템의 설계 및 구현에 대하여 논한다. 본 지리정보 시스템은 상용의 객체관계형 데이터베이스 시스템을 하부 구조로 사용하며, 객체지향 데이터 모델에 근거한 공간 객체모델, 공간 질의어 및 시각적 사용자 인터페이스를 제공하고 있다. 특히 본 시스템에서는 데이터베이스 상의 주색인(primary index)기법으로 적용 가능한 DOT 공간 색인 기법을 이용하여 효율적인 공간 질의 처리를 수행한다. 또한 본 시스템에서는 SDTS데이터 모델을 개념적 모델로 사용하며, SDTS의 공간 객체에 관한 개념적 모델은 지리정보 시스템 내에서 내부 데이터 모델인 객체지향 데이터 모델로 전환된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (하)
• /
• pp.1381-1384
• /
• 2000

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 객체지향 다이아그램들의 일관성과 완전성을 해결하기 위하여 [1]에서 제공된 일관성과 완전성 규칙들을 기반으로 다이아그램들을 검증할 수 있는 검증 모델을 프레임을 이용하여 설계하였다. 본 논문에서는 프레임을 이용한 설계 과정을 보이기 위하여 다이아그램의 일관성과 완전성을 검증할 수 있는 검증 모델에 대한 각 다이아그램을 대상으로 정보를 유도하였고 유도된 정보를 기반으로 검증에 기초가 되는 공통 내부 표현을 프레임을 이용하여 설계하는 과정을 제시하였다. 설계된 검증 모델은 다양한 객체지향 다이아그램에 대하여 적용이 가능하며 기존의 다이아그래밍 도구와도 결합이 가능하도록 구성되어 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
• /
• pp.78-80
• /
• 2000

XML로 기술된 전자 문서를 논리적 구조에 따라 분할하여 객체 지향 데이터베이스에 저장하기 위한 연구가 많이 이루어지고 있다. 그러나, 그러한 접근은 몇몇 기본적인 접근 연산에 대해 성능이 떨어진다. 이 경우, 비분할 저장 구조 모델을 이용하면 이러한 문제를 어느 정도 보완할 수 있다. 본 논문에서는 구조화된 XML 문서의 효율적인 관리를 위해 혼합 저장 구조 모델을 제안한다. XML 문서를 분할과 비분할 모델이 혼합된 형태의 물리적 저장 구조로 구조 정보를 표현하면서 투명성을 제공하기 위한 객체 지향 메타 스키마를 제안하고, 이 메타 스키마로부터 동적으로 생성된 응용 데이터베이스 스키마를 통해 구조화된 문서를 객체 지향 데이터베이스에서 관리하는 방법을 제안한다.

• 정보처리학회논문지D
• /
• 제9D권2호
• /
• pp.195-202
• /
• 2002

B2B 전자상거래와 같이 XML.을 이용한 정보교환이 확산되고 있으며 이에 따라 상호 교환되는 정보에 대하여 체계적이며 안정적인 저장관리가 요구되고 있다. 이를 위해 XML 응용과 데이터베이스 연계를 위한 다양한 연구가 관계형 데이터베이스를 중심으로 수행되었다. 그러나 계층구조를 갖는 XML 데이터를 2차원 테이블의 집합인 관계형 정보로 표현하는 관계형 데이터베이스로의 저장에는 본질적인 한계가 있어, 계층구조를 지원하는 객체지향 데이터베이스로의 저장이 요망된다. 이에 따라 계층구조를 갖는 XML 데이터를 객체지향 데이터 베이스로 지장하기 위한 모델링 방안이 요구된다. 본 논문에서는 객체모델을 토대로 DTD를 객체 지향 데이터베이스 스키마로 변환하기 위한 방법을 제안한다. 이를 위하여 먼저 DTD를 객체모델로 변환시키기 위한 객체변환 방안을 제시하고, 변환된 객체모델을 객체지향 데이터베이스 스키마로 변경시키기 위한 스키마 변환 방법을 제안했다.

• 한국정보과학회논문지:데이타베이스
• /
• 제28권1호
• /
• pp.1-14
• /
• 2001

중대한 산업용 소프트웨어가 동작하는 공유된 객체지향 데이터베이스를 안전하게 변경하기 위해서는, 그 공유 데이터베이스를 변경할 동안 데이터베이스 위에서 작동하는 기존의 응용 프로그램이 지속적으로 작동되어야 한다. 데이터베이스 변경을 필요로 하는 새로운 요구사항은 새 응용 프로그램의 추가, 기존 응용 프로그램의 기능 확장, 초기 디자인 에러 수정 등으로 인하여 발생할 수 있다. 우리는 한 사람의 사용자가 다른 사용자에게 악영향을 주지 않고 데이터베이스 스키마를 변경할 수 있게 하여 이 문제를 해결하는 투명한 스키마 진화(TSE: Transparent Schema Evolution) 방법론을 소개한다. 이 방법론은 기존의 스키마를 직접 변경하는 대신 스키마 변경 연산의 의미를 반영하는 데이터베이스 큐를 공유 객체지향 데이터베이스 상에 생성하여 투명한 진화를 달성한다. 데이터베이스의 용량을 증가시키지 못하는 뷰 메카니즘의 한계를 극복하기 위하여 이 방법론은 데이터베이스 용량 증가 연산에 대하여 다음의 새 단계로 정렬된다. (1) 기저의 베이스 스키마는 데이터베이스 용량 증가를 위해 물리적으로 변호한다. (2) 데이터베이스 변경의 의미를 달성하는 목표 뷰가 위의 변화된 베이스 스키마로부터 생성된다. (3) 변화 이전의 베이스 스키마는 데이터베이스 뷰로서 재 구축된다. 이로써 기존의 다른 사용자가 정의한 데이터 인터페이스가 보존된다. 우리는 객체-지향 뷰 기술을 이용하여 스키마 변화 연산을 구현함으로써 TSE 방법론의 구현가능성(feasibility)을 확인하였다. 표준적인 객체-지향 뷰 모델이 정의되고 상용 객체-지향 데이터베이스인 잼스톤(Gemstone) 위에 구현되었다. 그 뷰 모델은 갱신 의미(semantic) 정의를 그 뷰가 베이스 스키마의 갱신 의미를 보존하도록 정의하였다. 그러한 뷰는 사용자가 그들이 실제로는 베이스 스키마가 아니라 뷰에서 작업하고 있다는 사실을 모르게 하기 위하여 TSE에서 필요하다.

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

본 논문에서는 객체 지향 소프트웨어 개발 생명주기에서 생성된 객체 모델들간의 일관성 유지를 위한 관계성 분석 도구 설계 방법을 제시한다. 이 방법에서는 객체 지향 모델의 산출물들간의 관계성을 분석하여 소프트웨어가 개발됨과 동시에 부품화 되어 저장된다. 그리고 소프트웨어 유지 보수 및 재사용이 가능한 검색 시스템으로 되어 있으며, 객체 지향 CASE 시스템의 정보 저장소 기능을 부분적으로 지원한다. 따라서 시스템 분석가 및 설계자에게 유용한 지침을 제공하고, 개발자에게 산출물들간의 일관성 검증을 쉽게 하도록 하여 소프트웨어 재사용 및 유지보수가 용이하다.

• 한국정보처리학회논문지
• /
• 제2권4호
• /
• pp.477-486
• /
• 1995

본 논문에서는 이산수학에서 많이 다루고 있는 Galois-격자를 이용하여 객체지향 분석 모델을 구축하고 이를 유지 보수하기 위한 방법들을 제시하고, 예를 통해 객체 지향분석 모델을 구축하는 것에 대해 분석하였다. 클래스 객체들과 그들 사이에 형성 된 속성을 이항관계로 표현한 Galois-격자를 이용하여 관계(relation)를 정립하고, 분 석단계의 클래스 계층구조에 새로운 클래스 노드를 추가할 때마다 Galois-격자구조를 점증적으로 갱신하는 알고리즘을 제안하였다. 이러한 제안은 실험을 통하여 새로운 클 래스 노드의 추가는 일정한 시간내에 수행됨을 알았으며, 격자구조의 성장 속도는 클 래스 노드수와 비례하며, 클래스 노드에 관련된 속성의 수가 상한치를 갖을 때 알고리 즘의 최악경우 복잡도는 객체수에 따라 선형적으로 증가함을 보였다. 이 결과는 객체 지향 분석 모델의 이해도와 모델의 유지수하는 추적도를 높이고, 객체지향 시스템의 장점인 클래스의 재사용 가능성을 향상시키고 클래스 계층 유지보수를 실질적으로 지 원한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 A
• /
• pp.42-44
• /
• 2005

데이터 모델링의 객체 지향적인 접근은 변전소 자동화 시스템의 설계 및 구현에 객체의 재활용과 객체 정보의 숨김과 같은 효율성을 제공한다. 변전소 자동화 시스템을 위한 IEC 61850 표준은 이러한 객체 지향 개념에 기반한 데이터 모델링을 IEC 61850 표준문서의 파트 7에서 제시하였다. 표준은 데이터를 교환하는 가장 작은 기능으로써 Logical Node(LN)를 모델링 하였고 본 논문에서는 LN을 비롯한 여러 객체 지향 데이터 모델들을 설명하고 분석하였다.