한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
- /
- Pages.360-365
- /
- 2006
- /
- 1598-5164(pISSN)
Statechart 상호 변환을 위한 Semantics의 분석
An Analysis of Semantics for Transformation of Statechart
- 박승현 (고려대학교 정보통신대학 컴퓨터학과) ;
-
황대연
(고려대학교 정보통신대학 컴퓨터학과) ;
- 이나영 (서울대학교 공과대학 원자핵공학과) ;
- 김윤구 (삼창 엔터프라이즈) ;
-
최진영
(고려대학교 정보통신대학 컴퓨터학과)
- Park, Seung-Hyun (Dept. of Computer Science and Engineering, Korea University) ;
-
Hwang, Dae-Yon
(Dept. of Computer Science and Engineering, Korea University) ;
- Lee, Na-Young (Dept. of Nuclear Engineering, Seoul National University) ;
- Kim, Yun-Goo (Samchang Enterprise) ;
-
Choi, Jin-Young
(Dept. of Computer Science and Engineering, Korea University)
- 발행 : 2006.10.20
초록
초기에 제안된 Harel의 statechart를 개선하기 위한 노력으로 다양한 statechart의 변형들이 생겨나고, 시스템 개발자는 대상 시스템에 맞는 적절한 설계 명세 언어와 자동화 도구를 선택하는 것이 중요하게 되었다. 대상 시스템에 맞는 영세 언어를 선택하고, 다양한 자동화 도구(CASE tool)의 기능을 적용하기 위해 statechart의 상호 변환을 통한 각 지원 도구의 적용이 필요하다. 하지만, statechart 상호 변환 과정에서 각 statechart의 의미론적(semantics) 차이는 의도하지 않은 오류를 야기할 수 있다. 따라서 본 논문에서는 이들의 의미론을 비교 분석하기 위한 몇 가지 간단한 예제를 시뮬레이션 해 보고, statechart간 상호변환 방안의 기틀을 마련한다.
키워드