1. A computer readable medium having computer executable program code embodied thereon for performing the following act for authoring of rules: composing a rule based on one or more statements, such that the rule is decomposed into a subset of instructions, the instructions are processed asynchronously to control utilization of computer resources and to facilitate at least one of testing assertions, enforcing constraints using runtime information, making inferences, performing correlation, or communicating results of dynamic tests to other components, the rule executed concurrently with one or more disparate rules in an infinite loop with suitable timeouts to keep the rule from running all the time, the rule associated with a rule type is defined by RDL (rules definition language) code while a separate XML document is employed to create instances of the rule type by specifying the parameter values necessary for its instantiation; mapping a thread to at least one task for execution and employing the thread to execute multiple tasks concurrently; providing primitives for automatically correlating asynchronous observations from a plurality of sources to eliminate the need to write multithreading code; and determining a model that is utilized for a given instance or implementation by employing an artificial intelligence scheme.