[논문 리뷰] Current Trends and Future Research Directions for Interactive Music

Mauricio Toro|arXiv (Cornell University)|2018. 10. 05.

Music Technology and Sound Studies참고 문헌 79인용 수 17

한 줄 요약

이 논문은 시퀀서, 메타악기, 프로세스 계산기 등 상호작용 음악을 위한 형식적 프레임워크를 검토하고 비교하며, 엄밀한 의미론과 정확성 보장을 강조한다. 형식적 접근과 상용 도구 간의 격차를 지적하고, 향후 연구가 이를 메우어 더 신뢰성 있고 표현력 있는 상호작용 음악 시스템을 가능하게 해야 한다고 주장한다.

ABSTRACT

In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta- instruments, score-following, asynchronous dataflow languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. Formal approaches have the advantage of providing rigorous semantics of the behavior of the model and proving correctness during execution. The main disadvantage of formal approaches is lack of commercial tools.

연구 동기 및 목표

• 상호작용 음악 시스템에 사용되는 기존 소프트웨어 및 형식적 체계를 분석하고 비교하는 것.
• 형식적 접근(엄밀한 의미론과 정확성 보장 제공)과 실용적이고 상용으로 이용 가능한 도구 사이의 상충 관계를 규명하는 것.
• 형식적 방법을 위한 상용 도구 부족이 상호작용 음악 응용 분야에서의 도입을 저해하는 주요 장벽임을 부각하는 것.
• 상호작용 음악 기술의 현재 추세를 맵핑하고 미개척된 연구 방향을 식별하는 것.
• 향후 연구가 형식적 방법을 실용적이고 사용자 친화적인 도구와 융합해 음악 상호작용에 기여하도록 이끌어내는 것.

제안 방법

• 스코어 팔로잉, 데이터플로우 언어, 프로세스 계산기 등을 포함한 10개의 형식적 및 소프트웨어 기반 접근 방식을 조사하고 분류하는 것.
• 각 접근 방식이 형식적 의미론을 통해 복잡한 음악 상호작용을 어떻게 표현할 수 있는지 평가하는 것.
• 실시간 음악 처리를 위한 동기적 및 异기적 데이터플로우 모델을 비교하는 것.
• 시간에 따라 달라지는 음악적 행동을 명시하기 위한 시간 제약 조건과 상호작용 스코어를 형식적 수 Mittel로 분석하는 것.
• 프로세스 계산기와 스코어 팔로잉 시스템과 같은 형식적 모델의 표현력과 정확성 보장을 평가하는 것.
• 이론적 이점이 있음에도 불구하고 산업 수준의 도구가 형식적 음악 상호작용 시스템에 부족한 점을 부각하는 것.

실험 결과

연구 질문

• RQ1 현재 상호작용 음악 시스템에서 사용되는 주요 형식적 체계는 무엇이며, 표현력과 정확성 측면에서 어떻게 다를까?
• RQ2 형식적 접근가들이 엄밀한 이론적 기초를 지닌 바에도 불구하고 왜 널리 보급되지 않았을까?
• RQ3 형식적 의미론은 실시간 음악 소프트웨어 도구에 어떻게 효과적으로 통합될 수 있을까?
• RQ4 형식적 음악 모델과 상용 응용 간 격차를 메우기 위한 가장 유망한 연구 방향은 무엇일까?
• RQ5 어느 형식적 체계가 라이브 연주 및 작곡에서 동적 실시간 상호작용을 가장 잘 지원할까?

주요 결과

• 프로세스 계산기와 시간 제약 조건과 같은 형식적 접근는 엄밀한 의미론을 제공하고 시스템 행동의 형식적 검증을 가능하게 한다.
• 이론적 이점이 있음에도 불구하고, 형식적 방법은 상호작용 음악 개발을 위한 성숙한 상용 도구 부족으로 인해 약화된다.
• 시퀀서, 컴퓨터 지원 즉흥연주, 메타악기는 더 나은 도구 지원과 사용성 덕분에 실무에서 여전히 주류를 차지한다.
• 비동기적 및 동기적 데이터플로우 언어는 실시간 오디오 처리에 강력한 지원을 제공하지만, 시간과 제어 흐름의 정밀한 모델링이 필요하다.
• 스코어 팔로잉과 상호작용 스코어는 라이브 연주에 효과적이지만, 동적 조건에서의 견고성과 표현력에 어려움을 겪는다.
• 논문은 향후 연구가 이론적 모델의 형식적 정확성 보장을 유지하면서도 실용적이고 사용자 친화적인 도구를 개발하는 데 집중해야 한다고 결론 내린다.