Operational semantics of a domain specific language for real time musician–computer interaction · Study