1. A computer-implemented method for implementation by one or more data processors comprising: receiving, by at least one of the data processors, data characterizing a workflow of a process; and generating, by at least one of the data processors, a network representation of event-condition-action rules representing the workflow; wherein the network representation of event-condition-action rules comprises a combination of source nodes representing events, operator nodes representing conditions, and action nodes representing transactions, and wherein the events of the source nodes are represented as types of objects of a type language.
1. A computer-implemented method for implementation by one or more data processors comprising: receiving, by at least one of the data processors, data characterizing a workflow of a process; and generating, by at least one of the data processors, a network representation of event-condition-action rules representing the workflow; wherein the network representation of event-condition-action rules comprises a combination of source nodes representing events, operator nodes representing conditions, and action nodes representing transactions, and wherein the events of the source nodes are represented as types of objects of a type language. 4. The method of claim 1 , wherein the generating comprises generating, by at least one of the data processors, a network of event-condition-action rules for each component of the workflow to generate a set of networks and linking the networks to reflect a linking of components of the workflow.