·
Rules-Driven Method Invocation (RDMI)
·
Components
·
Warning Constraints
·
Example 3: Checking an Email Address
·
Example 4: Sending a Mail
·
INVOKE: Example 1
·
Standard Protocol and Query Protocol for Method Calling
·
Overview of Constraints
·
Restrictive Constraints
·
Corrective Constraints