1. A method for executing a business process from a business process model recorded in a non-executable business process modeling language, the method comprising: providing a set of microinstructions wherein each microinstruction defines an atomic operation that can be executed as part of a running business process in accordance with semantics defined by the non-executable business process modeling language; compiling, via a compiler operating on one or more microprocessors, a business process model for a business process recorded in the non-executable business process modeling language into a compiled business process model comprising a plurality of microprograms, wherein each microprogram comprises a minimal set of microinstructions selected from the set of microinstructions that together execute at least one of an activity, an event or a gateway of the business process model, wherein the microinstructions constitute an intermediate code portable to different runtime environments, wherein the compiler is configured to statically analyze the business process model to determine a process flow of the business process model representing a sequence of process steps and configurations for activities, events and gateways of the business process model that comprise the process steps, select, subsequent to and based on statically analyzing the business process model, the minimal set of microinstructions for each of the plurality of microprograms, and generate the plurality of microprograms using the selected microinstructions to achieve execution of the business process model, wherein the microinstructions that comprise the minimal set of microinstructions are selected for each microprogram according to semantic execution of that microprogram within the process flow, and according to target runtime performance of the business process, ability to reuse a microinstruction in other microprograms within the compiled business process model, and compliance with the underlying state machine implementation, and wherein said compiling resolves conditional code in said business process model recorded in said non-executable business process modeling language, and wherein at runtime said compiled business process model is executable on an execution platform.