Earticle

초록

영어

We want to achieve the reliable information system such as e learning system in the internet environments. The difficulty of the program reliability estimation comes from faults that occurred from program and data files are distributed among several servers. This paper is focus on a modeling approach based on Colored Petri Nets to estimate the program reliability in an internet environment. The procedure of analyzing the reliability is as follows. At first, we propose an internet program model. This model is transformed into a Colored Petri net, and the reliability is estimated. We adapt this model to the analyzing the reliability in the internet environment. This method is very simple, and is very helpful to develope program

한국어

인터넷 환경에서 이러닝 시스템과 같은 고신뢰성의 정보를 원한다. 인터넷 시스템에서 프로그램과 데이터의 결함이 발생할 수 있기 때문에 신뢰성 분석이 매우 어렵다. 이 논문에서는 인터넷 환경에서 프로그램 신뢰성을 예측하기 위해서 유색 패트리넷 모델을 이용하는 신뢰도 예측 모델을 제안한다. 제안한 모델에 적용하는 신뢰도 분석 절차는 다음과 같다. 먼저, 인터넷 프로그램 모델을 만든다. 이를 유색 패트리넷으로 변환한 후 인터넷 시스템 모델의 신뢰도를 예측한다. 이 방법은 신뢰성 있는 인터넷 프로그램을 개발하는 데 도움을 줄 수 있고, 신뢰도 예측 방법이 매우 간단하기 때문에 적용하기 편리하다.

목차

ABSTRACT
 요 약
 1. Introduction
 2. Internet Program Model
 3. Colored Petri Nets
  3.1 Colored Petri Nets Structure
  3.2 Colored Petri Graphs
 4. Converting Algorithm
 5. Mathematical Proof
 6. Conclusion
 References

키워드

저자

• Kapsu Kim [ 김갑수 | 서울교육대학교(Seoul National University of Education) ]
• Rachna Kumar [ 구마 | Alliant International University(얼라이언트 대학교) ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  정보교육학회논문지 [Journal of The Korean Association of Information Education]

• 간기

  격월간

• pISSN

  1229-3245

• 수록기간

  1997~2026

• 등재여부

  KCI 등재

• 십진분류

  KDC 374 DDC 375