一种具有时间约束与条件分支的交互乐谱模型
计算机科学中的逻辑
2015-10-13 v1
摘要
交互乐谱（Interactive Scores, IS）是一种用于设计和表演交互式多媒体场景的形式化方法。IS提供时间关系（temporal relations, TR），但无法同时表示条件分支与TR。我们提出对Allombert等人IS模型的扩展，在TR上加入条件。我们发现，为了在所有可能场景中保持模型连贯，时长必须是灵活的；然而有时也可能存在固定时长。为展示我们模型的相关性，我们对一个名为Mariona的现有多媒体装置进行了建模。在Mariona中存在选择、随机时长与循环。我们是否能够将Allombert等人模型中所有可用的TR表示到我们的模型中，还是必须在编写场景前在定时条件分支模型与纯时间模型之间做选择，这仍是一个开放问题。
引用
@article{arxiv.1510.02836,
title = {A Model for Interactive Scores with Temporal Constraints and Conditional Branching},
author = {Mauricio Toro and Myriam Desainte-Catherine and Pascal Baltazar},
journal= {arXiv preprint arXiv:1510.02836},
year = {2015}
}
备注
14 pages, extended version of conference paper on Journ\'ees de INformatique Musicale 2010