High-level spiking model definition and workflow framework