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

Place/Transition(P/T) nets은 병행성 기술이 용이하고 도달성 분석 등 다양한 분석 방법이 제공되므로 프로토콜, 병행적 시스템 검증 등에 많이 이용되어 왔으며 또한 실시간 시스템, 객체지향 시스템 등 다양한 분야에 이용되는 고급 Petri nets과 객체 지향 Petri nets 등의 기반 정형적 기법으로 이용되고 있다. 하지만 P/T nets과 확장된 Petri nets 등에서는 모델에 내재된 병행성을 다루지 않으면 복잡한 병행적 모델의 도달성 분석 시에 시스템 상태가 급증하는 상태 폭발(state explosion)이 발생할 수 있다. 이 연구에서는 다양한 확장된 고급 Petri nets의 근간이 되는 P/T net 모델에서 구조적 병행성을 정의하고 이를 기반으로 시스템을 병행적인 단위로 분할, 합성적인 도달성 그래프를 생성하는 방법을 제시하여 복잡한 P/T net 모델을 효율적으로 분석할 수 있는 방법을 제시한다. 그리고 합성적 도달성 그래프를 이용하여 플레이스의 유한성, 트랜지션의 수행가능성 등의 특성을 효율적으로 분석할 수 있도록 한다. 이러한 분할 분석 기법은 P/T net 모델 뿐만 아니라 P/T nets에 기반을 두고 있는 모든 고급 Petri net model 분석에도 이용될 수 있다.

• 정보기술과데이타베이스저널
• /
• 제3권2호
• /
• pp.39-51
• /
• 1996

CORBA는 분산 시스템의 객체를 관리하기 위한 모형으로 여러 응용에서 장점을 보인다. 그러나 CORBA 객체의 정의에는 지속성을 가정하고 있지 않다. 본 논문에서는 CORBA의 BOA(Basic Object Adapter)에 객체 데이타베이스 어댑터(Object Database Adapter, ODA)를 구현하여 객체를 관계 데이타베이스에 저장함으로써 객체의 지속성을 유지하도록 하였다. 객체의 관리는 객체지향 데이타베이스 시스템이 자연스러우나 본 논문에서는 이미 구축된 관계 데이타베이스 시스템과 응용을 공유할 수 있도록 관계 데이타베이스용을 구현하였다. ORB는 Orbix를 사용하였고, 튜플의 객체로의 대응은 Tie 법과 객체포장기 개념을 사용하였다. CORBA 응용의 관점에서 데이타베이스 시스템을 이용한 객체의 지속성 유지는 지속성 유지와 더불어 많은 수의 객체를 효율적으로 관리할 수 있고, 병행성, 회복기법 등을 이용할 수 있는 여러 장점이 있다. 또 데이타베이스 시스템 측면에서 CORBA와 데이타베이스 어댑터의 이용은 사용자에게 데이타베이스 스키마에 관한 사항을 숨김으로써 데이타베이스 접근을 쉽게 하고, 분산된 데이타베이스 환경에서는 데이타베이스 모델과 언어의 이질성을 해소할 수 있는 장점이 있다.

• 한국통신학회논문지
• /
• 제16권12호
• /
• pp.1423-1434
• /
• 1991

본 논문에서는 적합성 시혐 표기 기법인 TTCN이 객체, 클래스, 상속 등의 객체지향 개념을 갖도록 확장하였다. 분산 시스템 환경하에서 ISDN과 같은 응용 프로토콜 구현 제품들이 표준 프로토콜에 적합한 지를 시험하기 위한 시험 시스템은 구조가 복잡하고, 병렬로 수행하는 프로토콜 시험 행위를 포함하고 있기 때문에 기존의 TTCN으로는 전체 시험 suite를 이해하기 쉽고 명확하게 나타낼 수없다. ISO에서는 TTCN에 병렬성을 표기할 수 있도록 확장하는 연구가 잔행 중에 있으나, 이와 병행하여 병렬 시험 요소를 하나의 객체로 표기하는 객체 모형을 TTCN에 적용한다면 신뢰성과 소프트웨어 재사용을 증대시키는 효과를 얻을수 있으며, TTCN을 하나의 시험 언어로 발전 시킬수 있을것이다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2005년도 춘계공동학술대회 발표논문
• /
• pp.294-299
• /
• 2005

본 연구는 국내 대형 SI 업체의 UML(Unified Modeling Language)의 도입과 활용 사례를 소개한다. 1990년대에 소프트웨어의 개발패러다임이 객체지향 방법론(object-oriented paradigm)으로 옮겨갔고, UML은 객체지향 분석과 설계를 위한 모델링 언어로 전 세계적인 표준으로 받아들여지고 있다. 한 소프트웨어업체가 UML을 활용한다는 사실은 그 업체가 소프트웨어 모델링을 하고 있다는 것을 의미한다. 소프트웨어 모델의 기본 목적은 복잡한 소프트웨어를 추상적 수준에서 이해할 수 있게 표현하는 것이다. 소프트웨어 모델은 사용자 요구의 정확한 반영, 개발팀원간의 업무분담, 개발비의 추정, 유지보수에 유용하게 쓰일 수 있다. 본 연구는 인터뷰와 설문지를 병행하여 진행되었고, 연구의 결과는 국내 소프트웨어업계에서의 UML 활용수준의 벤치마크로 쓰일 수 있으며, 새로이 UML을 활용코자 하는 소프트웨어업체의 UML 도입전략 수립에 도움을 줄 것으로 기대한다.

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

전이중심 객체 지향 프로그래밍 시스템(Transition-based Object-oriented Programming System,(TOPS)은 다양한 병행 시스템의 신속한 개발에 적합한 상태 전이에 입각한 객체지향 시스템이다.TOPS는 상호 작용하는 구조적 능동 객체 (Structural Active Object,SAO)들로 구성되며 그들의 능동적인 동작은 클래스 정의에서 전이문장에 의해 정의도니다.또한 SAO들은 하드웨어 소자들과 같이 그들의 구성SAO들을 구조적이고 계층적으로 구성함으로써 정의 될수 있다.이러한 SAO들느 회로 시뮬레이션을 위한 능동 하드웨어 소자들을 기존의 객체지행 프로그래밍의 수동 객체들에 비해 자연스럽게 모델링 할 수 있다.또한,상속 기능을 통해 새로운 소자들을 쉽게 만들수도 있다.전이 문장들의 수행은 사건 또는 시간 중심 방식을 취할수 있기 때문에 디지탈 ,아날로그 및 혼합모드 시뮬레이션을 적합하다.그래픽 사용자 인터페이스를 지원하는 디지탈,아날로그 그리고 혼합모드 시뮬레이션 프로그램들을 TOPS방식으로 작성하여 그 적합성을 보였다.

• 정보처리학회논문지A
• /
• 제17A권2호
• /
• pp.73-80
• /
• 2010

하드웨어의 성능이 향상됨에 따라 멀티태스킹 방식으로 병행 처리하는 연구가 다양하게 진행되고 있다. 프로그램 개발 단계에서 프로그램을 수정할 경우, 전체 프로그램을 다시 평가하는 대신 수정한 부분과 그 부분에 영향 받는 부분만을 다시 평가하는 방법이 점진 평가인데, 여러 프로세서에서 병렬로 처리하는 대신 자바언어의 멀티쓰레딩 기능을 활용하여 점진 평가의 효율성을 증대시키는 연구가 필요하다. 본 논문에서는 의미 구조에 직접적으로 영향을 주는 변수의 값을 나타내는 속성을 중심으로 종속성을 표시하여 객체 지향언어인 자바 언어에서 병행 점진 평가를 동시에 효율적으로 수행할 수 있는 병행 점진 평가 알고리즘을 제시하고 그 알고리즘의 정확성을 증명한다. 실험을 통해 병행 점진 평가 방법의 효율성을 분석한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권2호
• /
• pp.141-150
• /
• 2001

낙공정 제어 응용은 로봇, AGV(Automatic Guided Vehicle), 컴베이어 등과 같이 능동적이면서 병행적으로 동작하는 컴포넌트들로 구성되며 이들간의 상호작용으로 수행이 이루어진다. 객체지향 기술은, 이러한 컴포넌트들을 재사용이 가능한 객체로 모델링하여, 공정 제어 응용의 생산성 및 확장성을 향상시킬 수 있다. 그러나 기존 객체지향 기술의 객체는 상태와 행위 정보만을 캡슐화하여 실세계의 객체를 표현하며, 메시지가 전달되어야만 반응하는 수동 객체(passive object)이다. 본 논문에서 소개하는 분산 능동 객체 시스템(Distributed Active Object System: DAOS) 방식은 Java/CORBA 기반의 분산 환경에서 객체의 상태와 행위 정보 뿐 아니라 객체 자신의 제어(control) 부분까지 캡슐화한 능동 객체(active object)을 지원하여, 공정 제어 컴포넌트들을 더욱 완전하게 모델링할 수 있다. 여기서, 자신의 제어란 자신의 상태뿐 아니라 인터페이스 변수(interface variable)로 연결된 타 객체의 상태까지 모니터링하고 그 상태 변화에 따라 스스로 행위를 수행할 수 있는 기능을 말한다[1, 2]. 따라서 DAOS 방식은, 메시지 전달을 이용해 각 분산 객체들의 제어를 기술하지 않고, 인터페이스 변수들을 사용하여, 스스로 기동할 수 있는 객체들을 구성적으로 조립하여 시스템을 구축한다. 즉, DAOS 방식은 객체 조립성을 지원하여 기존 객체지향 기술보다 분산 공정 제어 소프트웨어 생산성 및 확장성을 개선하고, 제어까지 캡슐화된 능동 객체를 지원하여 컴포넌트의 재사용을 향상시킨다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.532-534
• /
• 2005

분산 환경에서의 메시지 전송에 대한 TMO 모델은 실시간 프로그래밍, 분산 시스템 프로그래밍, 병행 프로그래밍, 객체 지향 프로그래밍의 모든 장점을 통합한 분산 실시간 객체 모델로서 운영체제의 오버헤드를 줄이고 프로세스 처리의 정밀도를 높인다. LTMOS는 TMO로 구성된 프로그램을 여러 개의 Linux 플랫폼에서 수행하기 위해 개발된 미들웨어 엔진으로서 기본적으로 분산 IPC 메시지를 유니캐스트로 전달하지만 효율성을 높이기 위해 멀티캐스트 전송 방식도 필요하다. 이에, 본 논문은 TMO 분산 IPC 환경에 멀티캐스트를 적용하여 효율성과 데이터의 신뢰성을 보장하는 ACK/NACK 기반 멀티캐스트 전송 프로토콜을 구현한다.

• 한국통신학회논문지
• /
• 제17권11호
• /
• pp.1228-1237
• /
• 1992

네트워크 관리를 위한 원격 위임 모델은 관리 기능들을 관리자의 피관리자 간에 적절하게 분배함으로써 보다 신뢰성 있고 효율적인 네트워크 관리를 지원하고, 복잡하고 고속인 네트워크 내에서 네트워크 관리의 신뢰도를 높이기 위한 모델이다. 이 모델에서는 관리자는 관리 기술 언어로 미리 기술되어 있는 관리 프로그램의 실행을 피관리자에게 위임하며, 피관리자는 프로그램 내의 피리미티브들을 이용하여 관리 객체들을 효율적으로 감시, 통제할 수 있게 된다. 본 논문에서는 관리자가 피관리자에게 위임할 관리 스크립트를 작성하기 위한 포괄적인 관리 알고리즘을 제안하고, OSI 장애 관리 모델을 부분적으로 구현하였다. 그리고 제안된 관리 알고리즘은 관리 정보를 병행으로 엑세스할 수 있으며, 위임을 효율적으로 지원할 수 있음을 몇가지 예를 들어 설명한다. 특히 관리 알고리즘은 객체지향 병행 언어인 ABCL로 쉽게 표현될 수 있어 구현이 용이하고, 다양하고 명시적인 동기화 메카니즘을 제공할 수 있다.

• 전자통신동향분석
• /
• 제9권4호
• /
• pp.157-169
• /
• 1994

본 고에서는 ISO/IEC JTC1/SC21 WG3(Database)에서 표준화하고 있는 SQL Multimedia and Application Packages (SQL/MM)에 대해 표준화의 동향과 이 표준에서 정의하고 있는 기술적인 내용을 분석한다. SQL/MM은 데이터베이스 언어의 표준인 SQL을 확장한 새로운 표준으로서, 멀티미디어 응용에서 필요로 하는 여러 가지 요구 사항을 만족시킬 수 있도록 하기 위한 새로운 기능들이 추가된 형태이다. 이 표준은 SQL3라는 객체 지향 데이터베이스를 위한 표준 질의 언어의 기본 기능 위에 멀티미디어적 요소들을 첨가하는 방법으로 표준 제정이 진행되고 있다. 우선적으로 다루고 있는 분야는 문서에 대한 full-text 검색 분야와 공간 및 시간 관계를 이용한 검색 분야 등이며, 다양한 데이터 타입들 중에서 여러 종류의 응용에서 공통적으로 사용되는 범용의 것들을 체계적으로 정리하는 분야도 병행하고 있다.