대화형 멀티미디어 응용을 위한 시간적 명세에서의 수행전 오류 검출

대규모의 복잡한 대화형 멀티미디어 응용을 개발하려면 시간적 동기및 사용자와의 상호작용을 쉽게 기술하는 기법과 기술된 내용을 컴파일 단계에서 분석하여 오류를 미리 발견하는 방법 등이 지원되어야 한다. 본 논문에서는 멀티미디어 응용의 명세가 주어졌을 때, 수행전 오류 검출을 위한 기법들을 제안하고 가능성을 검토한다. 또한, 기존의 시간 명세 기법에 비하여 사용자와의 대화와 시간제약을 좀 더 쉽고 풍부하게 기술할 수 있는 TCCS(Temporal CCS) 기법을 제안한다. 이 기법은 Milner의 형식명세 기법에 시간관계를 명시하는 기능을 추가하여 확장한 것이다. 그리고, 수행전 오류 검출 기법의 하나로서 명세들이 바르게 기술되었는 지를 컴파일 단계에서 분석하는 기법을 제안한다. 이 분석에서는 기술된 명세들이 서로 일관성이 있는지를 검증하므로써 명세의 오류를 찾고 있다. 간단한 슬라이드 상영에게 제안된 명세 기법과 검증기법이 유용함을 보였다.