9. A computer program product, embodied on a non-transitory computer-readable medium, the product comprising instructions to cause a data processing apparatus to perform operations comprising: receiving a workflow model comprising a plurality of notation elements that include data characterizing a workflow of a business process, the notation elements comprising a subset of notation elements that affect execution of a workflow relating to the business process; compiling a target model of the business process, the target model being executable by a correlation engine, the compiling comprising generating a network representation of event-condition-action rules representing the workflow, the network representation of event-condition-action rules comprising, for each notation element in the subset, a combination of source nodes representing events, operator nodes representing conditions, and action nodes representing transactions; and mapping each notation element in the subset of notation elements of the workflow model to a corresponding combination of source node, operator nodes, and action nodes in the target model, wherein the events of the source nodes are represented as types of objects of a type language.
14. The product of claim 9 , wherein the action nodes comprise a script in accordance with a scripting language to describe transactions to be performed upon evaluation of operator nodes connected to corresponding action nodes.