1. A method of debugging a declarative event-driven model specification, comprising: stepping through, in a debugger, an executing compiled program generated from the declarative event-driven model specification and comprising a sequence of execution steps for execution on a computer; accessing, by the debugger during the stepping through, cross-references that relate the executable steps of the executing compiled program to corresponding elements of the declarative event-driven model specification from which the compiled program is generated; and using the accessed cross-references, by the debugger, to identify a particular one of the elements from the declarative event-driven model specification that corresponds to each selected one of the execution steps executed during the stepping through.