Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2011.06a
  • /
  • Pages.214-216
  • /
  • 2011
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

SC/ACSR: combining ACSR and Statechart for formal Specification

SC/ACSR : ACSR과 Statechart를 조합한 정형 명세

  • Hwang, Dae-Yon (Dept. of Computer Science & Engineering, Korea University) ;
  • Kim, Jin-Hyun (Dept. of Computer Science & Engineering, Korea University) ;
  • Choi, Jin-Young (Dept. of Computer Science & Engineering, Korea University)
  • Published : 2011.06.29

⟨ Previous Next ⟩

Abstract

Statechart는 상태 기계를 기반으로 하는 정형 명세 언어로 반응형 시스템의 행위를 상태와 그 상태에서 받는 이벤트에 의한 전이로 표현한다. 프로세스 알제브라의 한 종류인 ACSR은 이벤트 기반으로 프로세스들 간의 통신과 프로세스의 우선 순위, 자원 소모 등의 표현 이 용이한 정형 명세 언어이다. 본 논문에서는 서로 다른 관점의 명세를 하는 이 두 가지 언어가 서로를 보완하여 ACSR을 이용하여 Statechart의 공유 자원에 대한 사용과 제어를 표현하여 보다 시스템을 정확하게 명세할 수 있는 언어를 제시한다. 이를 위해 두 언어의 연결을 위한 정형적 문법과 의미를 제시한다.

Keywords

Acknowledgement

Supported by : 정보통신산업진흥원, 교육과학기술부, 한국연구재단