1. A method of compiling a declarative event-driven model specification, comprising: providing the declarative event-driven model specification to a compiler; and generating, by the compiler from the provided declarative event-driven model specification, an executable file comprising a sequence of execution steps for execution on a computer.