Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 1999.10a
- /
- Pages.599-601
- /
- 1999
- /
- 1598-5164(pISSN)
Translation of Statechart Specification to Process Algebra
Statechart 명세의 프로세스 알제브라로의 변환
Abstract
본 논문에서는 정형명세 언어인 Statechart의 의미론을 프로세스 알제브라로 설명하는 방법을 제시한다. 이렇게 함으로써 두 개의 Statechart 명세간의 bisimulation을 정의할 수 있게 된다.
Keywords