"I should think you could encode pitches, start times and durations in a JSON-style format without many problems."

Yeah, only music notation can get a lot more complex than these 3 factors