Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2014.11a
  • /
  • Pages.597-600
  • /
  • 2014
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Process Algebra for Specification of Mobile Real-time Systems

이동 실시간 시스템의 명세를 위한 프로세스 대수

  • Choe, Yeong-Bok (Dept. of Computer Engineering, Chonbuk National University) ;
  • Choi, Woo-Rim (Dept. of Computer Engineering, Chonbuk National University) ;
  • Lee, Moon-Kun (Dept. of Computer Engineering, Chonbuk National University)
  • 최영복 (전북대학교 컴퓨터공학부) ;
  • 최우림 (전북대학교 컴퓨터공학부) ;
  • 이문근 (전북대학교 컴퓨터공학부)
  • Published : 2014.11.05
Download PDF
⟨ Previous Next ⟩

Abstract

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

Keywords