• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.10a
• /
• pp.185-190
• /
• 1998

다양화 및 이질화되어 가는 통신망을 효과적이고 통합적으로 관리하기 위해 TMN(Telecommunication Management Network)개념이 등장하게 되었고, 관리 대상이 실자원이나 시스템, 소프트웨어 등에 국한되지 않고 서비스 영역으로 확대됨에 따라 이 서비스 영역의 관리가 필요하게 되었다. 또한 ATM 망은 구성이 복잡하고 기존 망에 비해 서비스가 확대되었으며, 고속 정보처리로 인한 망 관리 시간의 제한, 다양한 트래픽으로 인한 QoS 관리의 어려움 등의 문제가 대두되었다. 따라서 본 논문에서는 ATM 망의 성능과 QoS 관리를 위한 정보 모델을 설계하였고, ATM 망 성능 및 QoS 관리 에이전트 시스템을 TMN LLA 개념에 따라 설계하였으며, 패트리네트 모델링과 도달성 트리를 이용하여 시스템 모듈의 설계를 검증하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.06a
• /
• pp.244-247
• /
• 2001

본 논문에서는 IMT-2000과 PCS를 연계 서비스하기 위해, 망 구성과 신호 프로토콜을 기반으로 로밍을 위한 연동 프로토콜을 설계 및 구현하였다. 먼저 미래의 주요 서비스로 예상되는 인터넷 서비스를 지원하기 위한 패킷 데이터 서비스에 대하여 기본호 설정 절차와 해제 절차를 설계하였으며 설계한 연동 프로토콜의 동작성을 확인하기 위하설 프레디키트/액션 패트리네트를 사용하여 모델링하고 도달성 트리를 도출하여 설계한 프로토콜이 올바르게 수행됨을 확인하였다. 이렇게 검증된 프로토콜을 두 대의 워크스테이션에서 UNIX 소켓을 이용하여 구현하고, 프로토콜의 적합성 시험에서 가장 많이 사용되는 국부 시험 방법으로 테스트하여 구현된 연동 프로토콜이 정상적으로 수행됨을 확인하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1103-1111
• /
• 1996

The design of distrbuted systems is difficult to achieve as the execution patterns of distrbuted systems are typically more complex than those of non- distributed systems. Thus, research toward the development of design methods for distributed systems is quitely needed. As object-oriented systems and distrbuted systems share similar properties, the combination of these two is somehow natural. In this work, a design of distributed systems is introduced. The goal of the method in this paper is to provide assistance to the process of specifying a formal object- oriented specification from graphical representation specification inputs such as data flow diagrams, state transition diagrams and Petri nets. It addresses the extraction of objects, operations and reationshipsfrom the problem domain with emphasis on the specification of the characteristics of distributed systems. This object identification method is supported by a knowledge base that provides for the automated analysis and reasoning about objects and their relationsships. The final object model is represented in a format which provides a formal mechanism for reprsenting the object information.

• Journal of Korea Spatial Information System Society
• /
• v.12 no.1
• /
• pp.28-36
• /
• 2010

Some context is characterized by a single event in computing environment, but many other contexts are determined by a lot of things which occur with a space and a time. The Realtime Sensor Network context-awareness service that interacts with the physical space can have property such as time. A methodology that is specified the relationship between the contexts and the service needs to be developed to Realtime context-awareness deal with spatio-temporal. In this paper, we propose an approach which should include spatio-temporal property in the context model, and verify its effectiveness using enhanced Petri-Net. The context-awareness service modeling of Realtime Sensor Network is discussed the properties of model such as basic Petri-Net, patterned Petri-Net, or Spatio-temporal Petri-Net. The proposed methodology demonstrated using an example that is SAEMANGUEM warming watching system. The use of Spatio-temporal Petri-Net will contribute not only to develop the application but also to model the spatio-temporal context awareness.