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

  • 2003.11c
  • /
  • Pages.1379-1382
  • /
  • 2003
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

A Study on the Transaction Representation using EMFG

EMFG를 이용한 트랜잭션 표현에 관한 연구

  • Hong, Ji-Yeon (Dept of Computer Science, Pukyong National University) ;
  • Yeo, Jeong-Mo (Division of Electronics, Computer and Telecommunication Engineering, Pukyong National University)
  • 홍지연 (부경대학교 교육대학원 전산교육) ;
  • 여정모 (부경대학교 전자컴퓨터정보통신공학부)
  • Published : 2003.11.14
Download PDF
⟨ Previous Next ⟩

Abstract

분산 시스템 환경의 사용이 증가하면서 트렌잭션 처리의 중요성이 부각되고 있다. 이러한 트랜잭션의 사용에 있어서 효과적인 트랜잭션 제어 및 수행완료 검증의 필요성이 제기된다. 이에 본 논문에서는 개념적 설계와 수학적 해석이 가능한 EMFG(Extended Mark Flow Graph)로 트랜잭션 기본 연산을 표현하고 이를 이용하여 다중 트랜잭션을 표현하고, 이를 통해 도달가능트리기법을 사용하여 트랜잭션 수행완료 여부를 검증하고자 한다.

Keywords