1. A computer program product including a computer readable medium having computer readable program code embodied thereon for the authoring of rules, the computer program product comprising statements for composing a rule such that the rule can be decomposed into a subset of instructions that are processed concurrently to facilitate at least one of testing assertions, enforcing constraints using runtime information, making inferences, performing correlation, and communicating results of dynamic tests to other components.