Proceedings of the Korean Institute of Information and Commucation Sciences Conference (한국정보통신학회:학술대회논문집)
- 2007.06a
- /
- Pages.847-851
- /
- 2007
Model of WS-ECA Framework
WS-ECA 프레임워크 모델링
- Lee, Kang-Chan (Electronics and Telecommunications Research Institute) ;
- Lee, Won-Suk (Electronics and Telecommunications Research Institute) ;
- Jeon, Jong-Hong (Electronics and Telecommunications Research Institute) ;
- Lee, Seung-Yun (Electronics and Telecommunications Research Institute) ;
- Shin, Dong-Min (Hanyang University)
- Published : 2007.06.01
Abstract
Finite automata는 실제 복잡한 컴퓨터의 연산을 수학적으로 모델링하는 computational 모델 중 하나로써 작은 메모리를 가지는 컴퓨터를 모델링하기에 적합하다. 이는 유비쿼터스 환경에서 실제로 작은 메모리를 가지는 장치가 ECA 룰을 작동시키는 디바이스 로직(디바이스 logic)을 효과적으로 운영할 수 있는지 여부를 검증하는 도구로 사용될 수 있다. 본 논문은 웹서비스 기반의 이벤트 처리 언어를 CFA로 모델링하고 알고리즘을 개발하였다.