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.