[논문 리뷰] A Model for Interactive Scores with Temporal Constraints and Conditional Branching

Mauricio Toro, Myriam Desainte‐Catherine외 1명|arXiv (Cornell University)|2015. 10. 09.

Constraint Satisfaction and Optimization참고 문헌 4인용 수 17

한 줄 요약

이 논문은 시간적 관계와 조건부 분기 구조를 통합하기 위해 시간 조건 관계(TCRs)를 도입함으로써 상호작용 점수(IS)의 확장 모델을 제안한다. 이는 멀티미디어 시나리오에 대한 동적 제어를 가능하게 하며, 실행 흐름을 시간적 지점과 조건을 통해 관리한다. 이 모델은 선택, 루프, 랜덤 지속 시간을 지원하며, 마리오나 멀티미디어 설치 작품을 통해 검증되었다. 그러나 이러한 시나리오에서는 고정 지속 시간을 항상 유지할 수 있음을 보여준다.

ABSTRACT

Interactive Scores (IS) are a formalism for the design and performance of interactive multimedia scenarios. IS provide temporal relations (TR), but they cannot represent conditional branching and TRs simultaneously. We propose an extension to Allombert et al.'s IS model by including a condition on the TRs. We found out that in order to have a coherent model in all possible scenarios, durations must be flexible; however, sometimes it is possible to have fixed durations. To show the relevance of our model, we modeled an existing multimedia installation called Mariona. In Mariona there is choice, random durations and loops. Whether we can represent all the TRs available in Allombert et al.'s model into ours, or we have to choose between a timed conditional branching model and a pure temporal model before writing a scenario, still remains as an open question.

연구 동기 및 목표

• 기존 상호작용 점수 모델이 동시에 조건부 분기와 시간적 관계를 지원하는 데에 한계가 있음을 해결한다.
• 마리오나와 같은 설치 작품에서 흔히 볼 수 있는 선택, 루프, 랜덤 지속 시간을 포함한 동적이고 상호작용 가능한 멀티미디어 시나리오를 가능하게 한다.
• 실행 시 조건에 기반한 런타임 결정을 허용하면서도 시간적 일관성을 유지하는 형식적 모델을 개발한다.
• 조건부 분기와 시간적 관계를 통합할 경우 고정 및 반고정 지속 시간을 유지할 수 있는지의 가능성을 조사한다.
• 마리오나 멀티미디어 설치 작품에 대한 사례 연구를 통해 모델의 적용 가능성을 입증한다.

제안 방법

• Allombert 등이 제안한 IS 모델을 확장하여, 시간적 관계가 조건에 의해 보호되는 시간 조건 관계(TCRs)를 도입한다.
• 시간적 관계를 시간 지점(시작/종료)으로 표현하고, Allen의 간격 관계(예: 만남, 포함)를 조건 검사를 갖춘 TCR로 인코딩한다.
• 조건이 로컬 환경에서 평가되는 제약 기반 실행 모델을 사용하여 관계의 활성화 여부를 결정한다.
• TCR에 조건 가드를 적용하여 조건부 분기를 모델링함으로써 공연 중 실행 경로를 동적으로 선택할 수 있도록 한다.
• 부모 객체의 환경를 고려하여 하위 계층을 초월하는 관계를 지원한다.
• 지속 시간을 명시적으로 제약하지 않는 한 유연하게 유지함으로써 유연성을 확보하며, 고정 지속 시간을 유지할 수 있는 경우에 대한 분석을 수행한다.

실험 결과

연구 질문

• RQ1 조건부 분기와 시간적 관계를 하나의 형식적 모델에 통합할 수 있는가?
• RQ2 조건부 분기와 시간적 관계를 통합할 경우, 고정 및 반고정 지속 시간을 유지하는 데에 걸리는 제약 조건은 무엇인가?
• RQ3 실행 시 동적으로 조건에 의해 보호되는 관계로 '만남'이나 '포함'과 같은 시간적 관계를 어떻게 표현할 수 있는가?
• RQ4 어떤 시나리오에서는 고정 지속 시간이 조건부 분기와 공존할 수 있으며, 이러한 공존를 가능하게 하는 구조적 또는 논리적 조건은 무엇인가?
• RQ5 루프, 랜덤 지연, 사용자 주도 선택과 같은 복잡한 멀티미디어 행동을 제안된 모델을 통해 어떻게 형식적으로 표현하고 실행할 수 있는가?

주요 결과

• 제안된 모델은 조건에 의해 보호되는 시간 조건 관계(TCRs)를 통해 조건부 분기와 정성적 시간 관계(예: 'A는 B 동안 재생되어야 한다')를 성공적으로 통합한다.
• 조건부 분기 시나리오에서는 고정 및 반고정 지속 시간을 항상 유지할 수 없으며, 모든 실행 경로에서 일관성을 확보하기 위해 지속 시간을 탄력적으로 유지해야 한다.
• 모델은 Allombert 등이 제안한 원래 IS 모델의 모든 정성적 시간 관계를 적절한 조건을 갖춘 TCR로 인코딩하여 표현할 수 있다.
• 마리오나 멀티미디어 설치 작품이 제안된 프레임워크를 통해 성공적으로 모델링되었으며, 선택, 루프, 랜덤 지속 시간, 하위 계층을 초월하는 관계를 모두 지원함을 입증했다.
• 정량적 시간 관계(예: 'A의 지속 시간은 3초이다')는 조건부 분기 상황에서는 일반적으로 유지되지 않지만, 제약 조건을 철저히 구성한 특정 경우에서는 유지 가능하다.
• 모델은 비결정적 루프 종료 및 사용자 주도 경로 선택과 같은 동적 실행 행동을 가능하게 하며, 마리오나 사례 연구를 통해 검증되었다.