The semantics of notation systems can naturally be meta-modelled as a network of transformations, starting with the syntactic elements of the notation and ending with the parameters of an execution. In this context, a digital encoding format for music notation can be seen as selecting a subset of the data nodes of this network for storage, leaving others to evaluation. For such a selection, semantic properties are defined which have impact on the practical costs of maintenance, migration, extension, etc.
翻译:符号系统的语义可以自然地元建模为一个转换网络,该网络始于符号的语法元素,止于执行的参数。在此背景下,音乐符号的数字编码格式可被视为选择该网络中数据节点的子集进行存储,而其他节点则留待评估。针对这种选择,定义了影响维护、迁移、扩展等实际成本的语义属性。